Formalization of cognitive-agent systems, trust, and emotions
From MaRDI portal
Publication:6602234
DOI10.1007/978-3-030-06164-7_19zbMATH Open1547.68756MaRDI QIDQ6602234
Dominique Longin, Emiliano Lorini, Jonathan Ben-Naim
Publication date: 11 September 2024
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Agent technology and artificial intelligence (68T42)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A logic for reasoning about counterfactual emotions
- Towards a theory of intention revision
- A logical formalization of the OCC theory of emotions
- Getting started: Beginnings in the logic of action
- Logics for epistemic programs
- Review on computational trust and reputation models
- Intention is choice with commitment
- A logic for reasoning about moral agents
- Modelling Moral Reasoning and Ethical Responsibility with Logic Programming
- A logic of trust and reputation
- Dynamic logic of preference upgrade
- Expressivity and completeness for public update logics via reduction axioms
- The Logic of Acceptance: Grounding Institutions on Agents' Attitudes
- Belief Revision From the Point of View of Doxastic Logic
This page was built for publication: Formalization of cognitive-agent systems, trust, and emotions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6602234)