Agent deliberation in an executable temporal framework

DOI10.1016/j.jal.2011.09.004zbMath1248.68502OpenAlexW2166034200WikidataQ98283527 ScholiaQ98283527MaRDI QIDQ456706

J. Herrera, D. Rodríguez-Gómez

Publication date: 16 October 2012

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2011.09.004

zbMATH Keywords

deliberationagentsexecutable logics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Related Items (2)

Where logic and agents meet ⋮ Refining autonomous agents with declarative beliefs and desires

Uses Software

• GOLOG
• AgentSpeak
• Jason
• METATEM
• JADE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Agent technology from a formal perspective.
• Remote Agent: to boldly go where no AI system has gone before
• A logical approach to the dynamics of commitments
• Intention is choice with commitment
• Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming
• Executing Logical Agent Specifications
• A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution
• GOLOG: A logic programming language for dynamic domains
• Multi-Agent Programming
• Computational Logic in Multi-Agent Systems
• Agents and Computational Autonomy
• Temporal agent programs

This page was built for publication: Agent deliberation in an executable temporal framework