Context-based commonsense reasoning in the DALI logic programming language

DOI10.1007/3-540-44958-2_36MaRDI QIDQ3550864zbMATH OpenOpenAlexFDO

Authors Stefania Costantini, Arianna Tocchio

Publication date 6 April 2010

Published in Modeling and Using Context (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44958-2_36

Mathematics Subject Classification ID

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

Recommendations

• Computational Logic in Multi-Agent Systems
• scientific article; zbMATH DE number 1931644
• scientific article; zbMATH DE number 826299
• A declarative agent programming language based on action theories
• Towards Temporal Contextual Logic Programming

Cited in

(6)

• Contextual reasoning: usually birds can abductively fly
• Formalizing common sense: an operator-based approach to the Tibbles-Tib problem
• Computational Logic in Multi-Agent Systems
• scientific article; zbMATH DE number 2208071 (Why is no real title available?)
• Prioritized logic programming and its application to commonsense reasoning
• scientific article; zbMATH DE number 568601 (Why is no real title available?)

Describes a project that uses

Uses Software

• AgentSpeak
• METATEM

This page was built for publication: Context-based commonsense reasoning in the DALI logic programming language

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