Intelligent agents in the Situation Calculus: An application to user modelling

DOI10.1007/3-540-61313-7_68zbMath1419.68113OpenAlexW1598204138MaRDI QIDQ4632293

Luigia Carlucci Aiello, Bruno Errico

Publication date: 29 April 2019

Published in: Practical Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61313-7_68

zbMATH Keywords

modal logicinteractive systemaccessibility relationepistemic stateinitial situation

Mathematics Subject Classification ID

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

Uses Software

• Unnamed Item

Cites Work

• Intention is choice with commitment
• GOLOG: A logic programming language for dynamic domains
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Intelligent agents in the Situation Calculus: An application to user modelling