Contextual Abductive Reasoning with Side-Effects

DOI10.1017/S1471068414000258zbMath1309.68176arXiv1405.3713MaRDI QIDQ2931270

Luís Moniz Pereira, Steffen Hölldobler, Emmanuelle-Anna Dietz

Publication date: 25 November 2014

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1405.3713

zbMATH Keywords

logic programminghuman reasoningabductive reasoningside-effectscontextual reasoningweak completion semanticsthree-valued Łukasiewicz logicbelief-biasinspection points

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Related Items (1)

Naturalizing logic

Cites Work

• Logic programming, knowledge representation, and nonmonotonic reasoning. Essays dedicated to Michael Gelfond on the occasion of his 65th birthday
• On the Relationship Between Abduction and Deduction
• Contributions to the Theory of Logic Programming
• The well-founded semantics for general logic programs
• Computational Logic and Human Thinking

This page was built for publication: Contextual Abductive Reasoning with Side-Effects