Cited in
(only showing first 100 items - show all)- A verification framework for agent programming with declarative goals
- Proving BDI properties of agent-oriented programming languages. The asymmetry thesis principles in AgentSpeak(L)
- Postulates for revising BDI structures
- scientific article; zbMATH DE number 1969725 (Why is no real title available?)
- A First-order Theory of Communication and Multi-agent Plans
- Abstracting and Verifying Strategy-Proofness for Auction Mechanisms
- \textsc{Argonauts}: a working system for motivated cooperative agents
- From bogtrotting to herding: a UCD perspective
- The USP farmers herding team
- scientific article; zbMATH DE number 1759736 (Why is no real title available?)
- Bounded situation calculus action theories
- The computational complexity of scenario-based agent verification and design
- scientific article; zbMATH DE number 5547888 (Why is no real title available?)
- Using theorem proving to verify properties of agent programs
- scientific article; zbMATH DE number 2090952 (Why is no real title available?)
- scientific article; zbMATH DE number 2087354 (Why is no real title available?)
- Autonomous agents coordination: action languages meet CLP(\(\mathcal {FD}\)) and Linda
- scientific article; zbMATH DE number 5547960 (Why is no real title available?)
- Acting on norm constrained plans
- The Second Contest on Multi-Agent Systems Based on Computational Logic
- Computational Logic in Multi-Agent Systems
- Computational logic in multi-agent systems: Recent advances and future directions
- Klava
- ConGolog
- MetaKlaim
- RuleML
- GOLOG
- LAILA
- VerICS
- IMPACT
- INGENIAS
- KARO
- YACS
- DECAF
- Jason
- Moise+
- 2APL
- METATEM
- simpleAPL
- Orc
- Algebraic specification of agent computation
- Programming Multi-Agent Systems in AgentSpeak usingJason
- FluCaP
- JTLV
- MAS-SOC
- oClingo
- WADE
- MCMAS
- MCK
- SCELlight
- JOpera
- SWORD
- CArtAgO
- JADE
- Jadex
- pdl-tableau
- SoSAA
- Alchemy
- IndiGolog
- IMPACTing SHOP: Putting an AI planner into a multi-agent environment
- Parameterised verification for multi-agent systems
- SHOP2
- 3APL
- ISLANDER
- Google Maps API
- AJPF
- Gwendolen
- AO4BPEL
- cglib
- Where logic and agents meet
- On the semantics of deliberation in IndiGolog -- from theory to implementation
- Abductive logic programming agents with destructive databases
- A logical approach to the dynamics of commitments
- Multi-Agent Programming
- The logic of adaptive behavior. Knowledge representation and algorithms for adaptive sequential decision making under uncertainty in first-order and relational domains.
- Reactive computing as model generation
- Reasoning about plan revision in BDI agent programs
- Reasoning About Epistemic States of Agents by Modal Logic Programming
- DSOL: a declarative approach to self-adaptive service orchestrations
- ConGolog, a concurrent programming language based on the situation calculus
- Agent deliberation in an executable temporal framework
- Levels of modality for BDI logic
- Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?
- Towards a theory of intention revision
- Executing Specifications of Social Reasoning Agents
- eJason
- scientific article; zbMATH DE number 1754695 (Why is no real title available?)
- Engineering AgentSpeak(L): a formal computational model
- Deontic Logic in Computer Science
- scientific article; zbMATH DE number 2088148 (Why is no real title available?)
- Modelling a society of simple agents: From conceptual specification to experimentation
- A Compositional Semantics of Plan Revision in Intelligent Agents
- BDI Agent Programming in AgentSpeak Using Jason
- BDI agents with objectives and preferences
- Dynamic Logic for Plan Revision in Agent Programming
- Two-stage agent program verification
- Assurance of agent systems: what role should formal verification play?
- Systems of agents controlled by logical programs: complexity of verification
- Agents with emotions
- A survey of programming languages and platforms for multi-agent systems
This page was built for software: AgentSpeak
