swMATH6186MaRDI QIDQ18320FDOQ18320
Author name not available (Why is that?)
Official website: http://en.wikipedia.org/wiki/AgentSpeak
Cited In (only showing first 100 items - show all)
- Semantics of plan revision in intelligent agents
- Parameterised verification for multi-agent systems
- Reasoning About Epistemic States of Agents by Modal Logic Programming
- Title not available (Why is that?)
- Reactive computing as model generation
- Title not available (Why is that?)
- The computational complexity of scenario-based agent verification and design
- Title not available (Why is that?)
- Context-based commonsense reasoning in the DALI logic programming language
- Computational Logic in Multi-Agent Systems
- IMPACTing SHOP: Putting an AI planner into a multi-agent environment
- Abductive logic programming agents with destructive databases
- Multi-Agent Programming
- Bounded situation calculus action theories
- Algebraic specification of agent computation
- DSOL: a declarative approach to self-adaptive service orchestrations
- Autonomous agents coordination: action languages meet CLP(\(\mathcal {FD}\)) and Linda
- On the semantics of deliberation in IndiGolog -- from theory to implementation
- Abstracting and Verifying Strategy-Proofness for Auction Mechanisms
- Computational logic in multi-agent systems: Recent advances and future directions
- Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?
- Agent deliberation in an executable temporal framework
- Levels of modality for BDI logic
- DECAF
- Jason
- Moise+
- 2APL
- METATEM
- simpleAPL
- Orc
- FluCaP
- JTLV
- MAS-SOC
- oClingo
- WADE
- MCMAS
- MCK
- SCELlight
- JOpera
- SWORD
- CArtAgO
- JADE
- Jadex
- pdl-tableau
- SoSAA
- Alchemy
- IndiGolog
- Agent planning programs
- Title not available (Why is that?)
- SHOP2
- 3APL
- ISLANDER
- Google Maps API
- AJPF
- Gwendolen
- AO4BPEL
- cglib
- Programming Multi-Agent Systems in AgentSpeak usingJason
- Postulates for revising BDI structures
- \textsc{Argonauts}: a working system for motivated cooperative agents
- From bogtrotting to herding: a UCD perspective
- The USP farmers herding team
- A verification framework for agent programming with declarative goals
- A logical approach to the dynamics of commitments
- A First-order Theory of Communication and Multi-agent Plans
- Towards a theory of intention revision
- Modelling a society of simple agents: From conceptual specification to experimentation
- The Second Contest on Multi-Agent Systems Based on Computational Logic
- Reasoning about plan revision in BDI agent programs
- Title not available (Why is that?)
- Acting on norm constrained plans
- ConGolog, a concurrent programming language based on the situation calculus
- Title not available (Why is that?)
- Where logic and agents meet
- Title not available (Why is that?)
- The logic of adaptive behavior. Knowledge representation and algorithms for adaptive sequential decision making under uncertainty in first-order and relational domains.
- Proving BDI properties of agent-oriented programming languages. The asymmetry thesis principles in AgentSpeak(L)
- Using theorem proving to verify properties of agent programs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Dynamic Logic for Plan Revision in Agent Programming
- eJason
- A Compositional Semantics of Plan Revision in Intelligent Agents
- BDI Agent Programming in AgentSpeak Using Jason
- A survey of programming languages and platforms for multi-agent systems
- HTN-like solutions for classical planning problems: an application to BDI agent systems
- Two-stage agent program verification
- Agents with emotions
- CTL AgentSpeak(L): A specification language for agent programs
- Logic-based specification languages for intelligent software agents
- A conceptual framework for agent definition and development
- Distributed Computing - IWDC 2004
- Modelling deception using theory of mind in multi-agent systems
- Simulation and NorMAS
- Our Quest for the Holy Grail of Agent Verification
- Uncertain logic processing: logic-based inference and reasoning using Dempster-Shafer models
- Title not available (Why is that?)
- Modeling social causality and responsibility judgment in multi-agent interactions
- Introspective and elaborative processes in rational agents
- Title not available (Why is that?)
This page was built for software: AgentSpeak
