Time and defeasibility in FIPA ACL semantics

DOI10.1016/J.JAL.2011.09.006MaRDI QIDQ456719zbMATH OpenOpenAlexWikidataFDO

Authors Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo, Leendert van der Torre

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.006

zbMATH Keywords

non-monotonic reasoningagent communication languagesFIPA

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4106295
• scientific article; zbMATH DE number 5547888
• A new semantics for ACL based on commitments and penalties
• A logical model for agent communication languages
• Speech acts, commitment and multi-agent communication

Cites work

• A logic-based calculus of events
• A logical framework for grounding-based dialogue analysis
• Changing legal systems: legal abrogations and annulments in Defeasible Logic
• Communication attitudes: a formal approach to ostensible intentions, and individual and group opinions
• Dynamic Epistemic Logic and Knowledge Puzzles
• Embedding defeasible logic into logic programming
• From message exchanges to communicative acts to commitments
• Propositional defeasible logic has linear complexity
• Representation results for defeasible logic

Cited in

(1)

• scientific article; zbMATH DE number 1989645 (Why is no real title available?)

Describes a project that uses

Uses Software

• DELORES

This page was built for publication: Time and defeasibility in FIPA ACL semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q456719)