AgentSpeak
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Systems of agents controlled by logical programs: complexity of verification
- Introspective and elaborative processes in rational agents
- Klava
- RuleML
- ConGolog
- MetaKlaim
- VerICS
- GOLOG
- LAILA
- IMPACT
- INGENIAS
- KARO
- ConGolog, a concurrent programming language based on the situation calculus
- YACS
- Uncertain logic processing: logic-based inference and reasoning using Dempster-Shafer models
- DECAF
- HTN-like solutions for classical planning problems: an application to BDI agent systems
- Jason
- Moise+
- IMPACTing SHOP: Putting an AI planner into a multi-agent environment
- METATEM
- 2APL
- simpleAPL
- Orc
- FluCaP
- A logical approach to the dynamics of commitments
- JTLV
- WADE
- MAS-SOC
- oClingo
- MCMAS
- MCK
- SCELlight
- JOpera
- SWORD
- A formal approach to the engineering of domain-specific distributed systems
- JADE
- Jadex
- CArtAgO
- The computational complexity of scenario-based agent verification and design
- A verification framework for agent programming with declarative goals
- pdl-tableau
- SoSAA
- Parameterised verification for multi-agent systems
- Reactive computing as model generation
- scientific article; zbMATH DE number 1629872 (Why is no real title available?)
- A conceptual framework for agent definition and development
- Alchemy
- Bounded situation calculus action theories
- IndiGolog
- Reasoning about the intentions of agents
- Modeling social causality and responsibility judgment in multi-agent interactions
- SHOP2
- BDI agents with objectives and preferences
- Executing Specifications of Social Reasoning Agents
- Using theorem proving to verify properties of agent programs
- Assurance of agent systems: what role should formal verification play?
- Agents with emotions
- Acting on norm constrained plans
- ISLANDER
- 3APL
- A First-order Theory of Communication and Multi-agent Plans
- A survey of programming languages and platforms for multi-agent systems
- Dynamic Logic for Plan Revision in Agent Programming
- Formal Specification of Multi-agent Systems by Using EUSMs
- Context-based commonsense reasoning in the DALI logic programming language
- Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?
- Google Maps API
- Abstracting and Verifying Strategy-Proofness for Auction Mechanisms
- ‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations
- Language Constructs for Multi-agent Programming
- A Compositional Semantics of Plan Revision in Intelligent Agents
- Reasoning About Epistemic States of Agents by Modal Logic Programming
- BDI Agent Programming in AgentSpeak Using Jason
- scientific article; zbMATH DE number 5547888 (Why is no real title available?)
- scientific article; zbMATH DE number 5547960 (Why is no real title available?)
- CTL AgentSpeak(L): A specification language for agent programs
- The logic of adaptive behavior. Knowledge representation and algorithms for adaptive sequential decision making under uncertainty in first-order and relational domains.
- AJPF
- Gwendolen
- Engineering AgentSpeak(L): a formal computational model
- DSOL: a declarative approach to self-adaptive service orchestrations
- scientific article; zbMATH DE number 1969724 (Why is no real title available?)
- scientific article; zbMATH DE number 1969725 (Why is no real title available?)
- scientific article; zbMATH DE number 2084421 (Why is no real title available?)
- scientific article; zbMATH DE number 2084422 (Why is no real title available?)
- cglib
- AO4BPEL
- scientific article; zbMATH DE number 1754695 (Why is no real title available?)
- scientific article; zbMATH DE number 1759736 (Why is no real title available?)
- scientific article; zbMATH DE number 1759741 (Why is no real title available?)
- Agent deliberation in an executable temporal framework
- Levels of modality for BDI logic
- Two-stage agent program verification
- scientific article; zbMATH DE number 2182494 (Why is no real title available?)
- scientific article; zbMATH DE number 1931644 (Why is no real title available?)
- scientific article; zbMATH DE number 1931645 (Why is no real title available?)
- scientific article; zbMATH DE number 2087354 (Why is no real title available?)
- scientific article; zbMATH DE number 2088148 (Why is no real title available?)
- scientific article; zbMATH DE number 2088156 (Why is no real title available?)
This page was built for software: AgentSpeak
