Updating extended logic programs through abduction

DOI10.1007/3-540-46767-X_11MaRDI QIDQ4955335zbMATH OpenFDO

Authors Chiaki Sakama, Katsumi Inoue

Publication date 25 May 2000

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

Full work available at URL https://doi.org/10.1007/3-540-46767-X_11

zbMATH Keywords

extended logic programsknowledge bases

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15) Knowledge representation (68T30)

Recommendations

• An abductive framework for extended logic programming
• scientific article; zbMATH DE number 1890622
• Updating Epistemic Logic Programs
• Abduction from logic programs: Semantics and complexity
• Foundations of Information and Knowledge Systems
• Abductive Logic Programming
• scientific article; zbMATH DE number 1926644
• Abductive logics in a belief revision framework
• An abductive approach to disjunctive logic programming
• Logics in Artificial Intelligence

Cited in

(24)

• Computing extended abduction through transaction programs
• Model reconciliation in logic programs
• Solving logic program conflict through strong and weak forgettings
• The refinement extension principle for semantics of dynamic logic programming
• scientific article; zbMATH DE number 1696831 (Why is no real title available?)
• Early recovery in logic program updates
• A language for updating logic programs and its implementation
• EVOLP: Tranformation-Based Semantics
• Updating Epistemic Logic Programs
• scientific article; zbMATH DE number 33190 (Why is no real title available?)
• On properties of update sequences based on causal rejection
• scientific article; zbMATH DE number 2084427 (Why is no real title available?)
• scientific article; zbMATH DE number 1763869 (Why is no real title available?)
• Merging Logic Programs under Answer Set Semantics
• scientific article; zbMATH DE number 1890622 (Why is no real title available?)
• scientific article; zbMATH DE number 2090536 (Why is no real title available?)
• An abductive framework for computing knowledge base updates
• scientific article; zbMATH DE number 1420815 (Why is no real title available?)
• Default Negation as Explicit Negation plus Update
• Logic program-based updates
• Contrastive explanations for answer-set programs
• Update-programms can update programs
• R-calculus for ELP: An operational approach to knowledge base maintenance
• Updating knowledge bases

This page was built for publication: Updating extended logic programs through abduction

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