AgentSpeak

swMATH6186MaRDI QIDQ18320FDOQ18320

Author name not available (Why is that?)

Cited In (87)

• Semantics of plan revision in intelligent agents
• Parameterised verification for multi-agent systems
• Reasoning About Epistemic States of Agents by Modal Logic Programming
• Reasoning about the Intentions of Agents
• Title not available (Why is that?)
• HTN-like solutions for classical planning problems: an application to BDI agent systems
• Reactive computing as model generation
• Title not available (Why is that?)
• Agents with emotions
• The computational complexity of scenario-based agent verification and design
• Autonomous agents coordination: Action languages meet CLP() and Linda
• Title not available (Why is that?)
• Computational Logic in Multi-Agent Systems
• IMPACTing SHOP: Putting an AI planner into a multi-agent environment
• Acting on Norm Constrained Plans
• A conceptual framework for agent definition and development
• Abductive logic programming agents with destructive databases
• Multi-Agent Programming
• Using Theorem Proving to Verify Properties of Agent Programs
• BDI Agents with Objectives and Preferences
• Bounded situation calculus action theories
• Algebraic specification of agent computation
• Modelling deception using theory of mind in multi-agent systems
• DSOL: a declarative approach to self-adaptive service orchestrations
• Uncertain logic processing: logic-based inference and reasoning using Dempster-Shafer models
• Modeling social causality and responsibility judgment in multi-agent interactions
• On the semantics of deliberation in IndiGolog -- from theory to implementation
• Abstracting and Verifying Strategy-Proofness for Auction Mechanisms
• Introspective and elaborative processes in rational agents
• 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
• Title not available (Why is that?)
• Context-Based Commonsense Reasoning in the DALI Logic Programming Language
• Executing Specifications of Social Reasoning Agents
• Title not available (Why is that?)
• Title not available (Why is that?)
• Agent planning programs
• Title not available (Why is that?)
• Programming Multi-Agent Systems in AgentSpeak usingJason
• Postulates for revising BDI structures
• Systems of agents controlled by logical programs: complexity of verification
• \textsc{Argonauts}: a working system for motivated cooperative agents
• From bogtrotting to herding: a UCD perspective
• The USP farmers herding team
• Formal Specification of Multi-agent Systems by Using EUSMs
• A verification framework for agent programming with declarative goals
• Title not available (Why is that?)
• 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?)
• Title not available (Why is that?)
• 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?)
• Proving BDI properties of agent-oriented programming languages. The asymmetry thesis principles in AgentSpeak(L)
• A formal approach to the engineering of domain-specific distributed systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Dynamic Logic for Plan Revision in Agent Programming
• A Compositional Semantics of Plan Revision in Intelligent Agents
• BDI Agent Programming in AgentSpeak Using Jason
• Assurance of Agent Systems: What Role Should Formal Verification Play?
• Two-stage agent program verification
• CTL AgentSpeak(L): A specification language for agent programs
• Logic-based specification languages for intelligent software agents
• Distributed Computing - IWDC 2004
• Simulation and NorMAS
• Our Quest for the Holy Grail of Agent Verification
• Title not available (Why is that?)
• Title not available (Why is that?)
• Using Jason to Implement a Team of Gold Miners
• Deontic Logic in Computer Science
• Computational Logic in Multi-Agent Systems
• Title not available (Why is that?)
• Engineering AgentSpeak(L): a formal computational model
• ‘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
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for software: AgentSpeak