A framework for compiling preferences in logic programs

DOI10.1017/S1471068402001539zbMATH Open1105.68323OpenAlexW2174235632MaRDI QIDQ4452601FDOQ4452601

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

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

zbMATH Keywords

answer set semantics

Mathematics Subject Classification ID

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

Cited In (30)

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

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)