Inspecting side-effects of abduction in logic programs

DOI10.1007/978-3-642-20832-4_10MaRDI QIDQ3001918zbMATH OpenOpenAlexWikidataFDO

Authors Luís Moniz Pereira, Alexandre Pinto

Publication date 19 May 2011

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-20832-4_10

zbMATH Keywords

abductionlogic programmingside-effects

Mathematics Subject Classification ID

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

Recommendations

• Abduction in logic programming: A new definition and an abductive procedure based on rewriting
• Abduction from logic programs: Semantics and complexity
• Abductive Logic Programming
• Abduction in well-founded semantics and generalized stable models via tabled dual programs
• Abductive analysis of modular logic programs

Cited in

(2)

• Contextual abductive reasoning with side-effects
• The expressive power of side effects in prolog

Describes a project that uses

Uses Software

• XSB
• XASP
• Smodels
• HYPROLOG

This page was built for publication: Inspecting side-effects of abduction in logic programs

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