Cited in
(only showing first 100 items - show all)- Formal Specification of Multi-agent Systems by Using EUSMs
- Computational Logic in Multi-Agent Systems
- eJason
- A verification framework for agent programming with declarative goals
- A logical approach to the dynamics of commitments
- Assurance of agent systems: what role should formal verification play?
- A First-order Theory of Communication and Multi-agent Plans
- Towards a theory of intention revision
- Reasoning about the intentions of agents
- Reasoning about plan revision in BDI agent programs
- Modelling a society of simple agents: From conceptual specification to experimentation
- The Second Contest on Multi-Agent Systems Based on Computational Logic
- scientific article; zbMATH DE number 1931645 (Why is no real title available?)
- scientific article; zbMATH DE number 2088148 (Why is no real title available?)
- Acting on norm constrained plans
- ConGolog, a concurrent programming language based on the situation calculus
- scientific article; zbMATH DE number 1931644 (Why is no real title available?)
- Where logic and agents meet
- Proving BDI properties of agent-oriented programming languages. The asymmetry thesis principles in AgentSpeak(L)
- scientific article; zbMATH DE number 2087354 (Why is no real title available?)
- The logic of adaptive behavior. Knowledge representation and algorithms for adaptive sequential decision making under uncertainty in first-order and relational domains.
- scientific article; zbMATH DE number 1969724 (Why is no real title available?)
- Using theorem proving to verify properties of agent programs
- A formal approach to the engineering of domain-specific distributed systems
- BDI agents with objectives and preferences
- Engineering AgentSpeak(L): a formal computational model
- scientific article; zbMATH DE number 5547888 (Why is no real title available?)
- ‘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
- scientific article; zbMATH DE number 2088156 (Why is no real title available?)
- scientific article; zbMATH DE number 2088159 (Why is no real title available?)
- scientific article; zbMATH DE number 2090952 (Why is no real title available?)
- Semantics of plan revision in intelligent agents
- Parameterised verification for multi-agent systems
- scientific article; zbMATH DE number 2182494 (Why is no real title available?)
- Dynamic Logic for Plan Revision in Agent Programming
- Reasoning About Epistemic States of Agents by Modal Logic Programming
- HTN-like solutions for classical planning problems: an application to BDI agent systems
- A Compositional Semantics of Plan Revision in Intelligent Agents
- BDI Agent Programming in AgentSpeak Using Jason
- Reactive computing as model generation
- A survey of programming languages and platforms for multi-agent systems
- scientific article; zbMATH DE number 5547960 (Why is no real title available?)
- The computational complexity of scenario-based agent verification and design
- Agents with emotions
- scientific article; zbMATH DE number 1969725 (Why is no real title available?)
- Two-stage agent program verification
- CTL AgentSpeak(L): A specification language for agent programs
- scientific article; zbMATH DE number 2084421 (Why is no real title available?)
- IMPACTing SHOP: Putting an AI planner into a multi-agent environment
- Context-based commonsense reasoning in the DALI logic programming language
- A conceptual framework for agent definition and development
- Logic-based specification languages for intelligent software agents
- Computational Logic in Multi-Agent Systems
- Abductive logic programming agents with destructive databases
- Multi-Agent Programming
- Bounded situation calculus action theories
- Distributed Computing - IWDC 2004
- Algebraic specification of agent computation
- Modelling deception using theory of mind in multi-agent systems
- Simulation and NorMAS
- DSOL: a declarative approach to self-adaptive service orchestrations
- Our Quest for the Holy Grail of Agent Verification
- Uncertain logic processing: logic-based inference and reasoning using Dempster-Shafer models
- scientific article; zbMATH DE number 2084422 (Why is no real title available?)
- Modeling social causality and responsibility judgment in multi-agent interactions
- Autonomous agents coordination: action languages meet CLP(\(\mathcal {FD}\)) and Linda
- On the semantics of deliberation in IndiGolog -- from theory to implementation
- Computational logic in multi-agent systems: Recent advances and future directions
- Introspective and elaborative processes in rational agents
- Abstracting and Verifying Strategy-Proofness for Auction Mechanisms
- Agent deliberation in an executable temporal framework
- Levels of modality for BDI logic
- Klava
- ConGolog
- MetaKlaim
- RuleML
- GOLOG
- LAILA
- VerICS
- IMPACT
- INGENIAS
- KARO
- YACS
- DECAF
- Jason
- Moise+
- 2APL
- METATEM
- simpleAPL
- Orc
- FluCaP
- JTLV
- MAS-SOC
- oClingo
- WADE
- MCMAS
- MCK
- SCELlight
- JOpera
This page was built for software: AgentSpeak
