A framework for compiling preferences in logic programs

DOI10.1017/S1471068402001539MaRDI QIDQ4452601zbMATHOpenAlexFDO

Authors James Delgrande, Torsten Schaub, Hans Tompits

Publication date 1 March 2004

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

Full work available at URL https://doi.org/10.1017/s1471068402001539

zbMATH Keywords

answer set semantics

Mathematics Subject Classification ID

Logic programming (68N17) Theory of compilers and interpreters (68N20)

Recommendations

• scientific article; zbMATH DE number 1890623
• scientific article; zbMATH DE number 1844462
• Preferred answer sets for extended logic programs
• Logic Programming
• On the Semantics of Logic Programs with Preferences

Cited in

(30)

• scientific article; zbMATH DE number 1931679 (Why is no real title available?)
• Logic programming with solution preferences
• Fundamental properties of attack relations in structured argumentation with priorities
• Integrated preference argumentation and applications in consumer behaviour analyses
• A logic framework for P2P deductive databases
• Implementing preferences with asprin
• Preferred first-order answer set programs
• Preferred answer sets for ordered logic programs
• A Preference-Based Semantics for CTD Reasoning
• Revealed preference in argumentation: algorithms and applications
• Logic Programming
• Logic Programming with Defaults and Argumentation Theories
• A general framework for preferences in answer set programming
• Strong order equivalence
• An axiomatic analysis of structured argumentation with priorities
• Logic Programming and Nonmonotonic Reasoning
• An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents.
• Argumentation for practical reasoning: an axiomatic approach
• Foundations of Information and Knowledge Systems
• Complex optimization in answer set programming
• A semantic framework for preference handling in answer set programming
• Nested preferences in answer set programming
• On the Semantics of Logic Programs with Preferences
• Preference logic grammars
• Translating LPOD and CR-\(\mathrm{Prolog}_2\) into standard answer set programs
• Computing Utility from Weighted Description Logic Preference Formulas
• Justifications for logic programs under answer set semantics
• scientific article; zbMATH DE number 1759388 (Why is no real title available?)
• A Preference-Based Framework for Updating Logic Programs
• scientific article; zbMATH DE number 1844462 (Why is no real title available?)

Describes a project that uses

Uses Software

• Smodels

This page was built for publication: A framework for compiling preferences in logic programs

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