Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

CORR
2002
Springer

favoriteEmaildiscussreport

98views Education» more CORR 2002»

A Framework for Compiling Preferences in Logic Programs

13 years 4 months ago

A Framework for Compiling Preferences in Logic Programs

Download ii.fmph.uniba.sk

We introduce a methodology and framework for expressing general preference information in logic programming under the answer set semantics. An ordered logic program is an extended logic program in which rules are named by unique terms, and in which preferences among rules are given by a set of atoms of the form

James P. Delgrande, Torsten Schaub, Hans Tompits

Real-time Traffic

CORR 2002 | Education | Extended Logic Program | Logic Program | Ordered Logic Program |

claim paper

Related Content

» A Compilation of Brewka and Eiters Approach to Prioritization

» plp A Generic Compiler for Ordered Logic Programs

» Logic Programs with Compiled Preferences

» Structure of a ProofProducing Compiler for a Subset of Higher Order Logic

» A PreferenceBased Framework for Updating Logic Programs

» Complex Preferences for Answer Set Optimization

» Compiler implementation in a formal logical framework

» A Comparative Study of Logic Programs with Preference

» Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming

Post Info
More Details (n/a)

Added	18 Dec 2010
Updated	18 Dec 2010
Type	Journal
Year	2002
Where	CORR
Authors	James P. Delgrande, Torsten Schaub, Hans Tompits

Comments (0)