A Preference-Based Framework for Updating Logic Programs

DOI10.1007/978-3-540-72200-7_8MaRDI QIDQ5425399zbMATH OpenOpenAlexFDO

Authors James Delgrande, Torsten Schaub, Hans Tompits

Publication date 13 November 2007

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-72200-7_8

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1759388
• On semantic update operators for answer-set programs
• A framework for compiling preferences in logic programs
• scientific article; zbMATH DE number 1844462
• scientific article; zbMATH DE number 1890622

Cited in

(11)

• Merging Logic Programs under Answer Set Semantics
• A Unifying Perspective on Knowledge Updates
• Splitting and updating hybrid knowledge bases
• A brief history of updates of answer-set programs
• scientific article; zbMATH DE number 1759388 (Why is no real title available?)
• Characterization of logic program revision as an extension of propositional revision
• scientific article; zbMATH DE number 1964816 (Why is no real title available?)
• On updates of hybrid knowledge bases composed of ontologies and rules
• A history based logic for dynamic preference updates
• Dynamic logic of preference upgrade
• Belief revision within fragments of propositional logic

Describes a project that uses

Uses Software

• LUPS

This page was built for publication: A Preference-Based Framework for Updating Logic Programs

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