AgentSpeak
From MaRDI portal
Software:18320
No author found.
Related Items (87)
Reactive computing as model generation ⋮ Semantics of plan revision in intelligent agents ⋮ Bounded situation calculus action theories ⋮ The computational complexity of scenario-based agent verification and design ⋮ A verification framework for agent programming with declarative goals ⋮ Reasoning about the Intentions of Agents ⋮ Modeling Social Causality and Responsibility Judgment in Multi-Agent Interactions ⋮ Autonomous agents coordination: Action languages meet CLP() and Linda ⋮ Unnamed Item ⋮ The Second Contest on Multi-Agent Systems Based on Computational Logic ⋮ Using Jason to Implement a Team of Gold Miners ⋮ Uncertain logic processing: logic-based inference and reasoning using Dempster-Shafer models ⋮ Logic-based specification languages for intelligent software agents ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On the semantics of deliberation in IndiGolog -- from theory to implementation ⋮ Multi-Agent Programming ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Towards a theory of intention revision ⋮ Postulates for revising BDI structures ⋮ Formal Specification of Multi-agent Systems by Using EUSMs ⋮ Agent planning programs ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ DSOL: a declarative approach to self-adaptive service orchestrations ⋮ Unnamed Item ⋮ Two-stage agent program verification ⋮ Agent deliberation in an executable temporal framework ⋮ Levels of modality for BDI logic ⋮ Reasoning about plan revision in BDI agent programs ⋮ Abductive logic programming agents with destructive databases ⋮ Where logic and agents meet ⋮ HTN-like solutions for classical planning problems: an application to BDI agent systems ⋮ Simulation and NorMAS ⋮ Computational Logic in Multi-Agent Systems ⋮ BDI Agents with Objectives and Preferences ⋮ Executing Specifications of Social Reasoning Agents ⋮ Modelling deception using theory of mind in multi-agent systems ⋮ Context-Based Commonsense Reasoning in the DALI Logic Programming Language ⋮ A logical approach to the dynamics of commitments ⋮ A Conceptual Framework for Agent Definition and Development ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? ⋮ Unnamed Item ⋮ Proving BDI properties of agent-oriented programming languages. The asymmetry thesis principles in AgentSpeak(L) ⋮ Computational logic in multi-agent systems: Recent advances and future directions ⋮ Programming Multi-Agent Systems in AgentSpeak usingJason ⋮ Our Quest for the Holy Grail of Agent Verification ⋮ Modelling a society of simple agents: From conceptual specification to experimentation ⋮ Abstracting and Verifying Strategy-Proofness for Auction Mechanisms ⋮ Using Theorem Proving to Verify Properties of Agent Programs ⋮ Assurance of Agent Systems: What Role Should Formal Verification Play? ⋮ ‘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 ⋮ Agents with emotions ⋮ A formal approach to the engineering of domain-specific distributed systems ⋮ A First-order Theory of Communication and Multi-agent Plans ⋮ 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 ⋮ Computational Logic in Multi-Agent Systems ⋮ Distributed Computing - IWDC 2004 ⋮ CTL AgentSpeak(L): A specification language for agent programs ⋮ Acting on Norm Constrained Plans ⋮ \textsc{Argonauts}: a working system for motivated cooperative agents ⋮ The USP farmers herding team ⋮ From bogtrotting to herding: a UCD perspective ⋮ Deontic Logic in Computer Science ⋮ Systems of agents controlled by logical programs: complexity of verification ⋮ Engineering AgentSpeak(L): a formal computational model ⋮ ConGolog, a concurrent programming language based on the situation calculus ⋮ Dynamic Logic for Plan Revision in Agent Programming ⋮ Introspective and elaborative processes in rational agents ⋮ IMPACTing SHOP: Putting an AI planner into a multi-agent environment ⋮ Parameterised verification for multi-agent systems ⋮ Algebraic specification of agent computation
This page was built for software: AgentSpeak
