Formal Modelling of Emotions in BDI Agents

DOI10.1007/978-3-540-88833-8_4zbMath1175.68462OpenAlexW2117516316MaRDI QIDQ3602941

David P. Pereira, Nelma Moreira, Eugénio Oliveira

Publication date: 12 February 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-88833-8_4

Mathematics Subject Classification ID

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

Related Items (1)

Emotional reasoning in an action language for emotion-aware planning

Uses Software

• Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• A guide to completeness and complexity for modal logics of knowledge and belief
• Interactions between knowledge, action and commitment within agent dynamic logic
• On agents that have the ability to choose
• Decision procedures for BDI logics
• Computational Logic in Multi-Agent Systems

This page was built for publication: Formal Modelling of Emotions in BDI Agents