A compilation of updates plus preferences

José Júlio Alves Alferes; Pierangelo Dell’ Acqua; L.M. Pereira

doi:10.1007/3-540-45757-7_6

A compilation of updates plus preferences

José Júlio Alves Alferes, Pierangelo Dell’ Acqua, L.M. Pereira

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

12 Citations (Scopus)

Abstract

We show how to compile programs formalizing update plus preference reasoning into standard generalized logic programs and show the correctness of the transformation.

Original language	English
Title of host publication	Lecture Notes in Artificial Intelligence
Pages	62-74
Number of pages	13
Volume	2424 LNAI
DOIs	https://doi.org/10.1007/3-540-45757-7_6
Publication status	Published - 1 Jan 2002
Event	Logics in Artificial Intelligence - Duration: 1 Jan 2002 → …

Conference

Conference	Logics in Artificial Intelligence
Period	1/01/02 → …

Keywords

Generalized logic program
Preference reasoning
Artificial intelligence

Access to Document

10.1007/3-540-45757-7_6

Cite this

@inproceedings{345a6022c0a34af59cf017b64eb4dfda,

title = "A compilation of updates plus preferences",

abstract = "We show how to compile programs formalizing update plus preference reasoning into standard generalized logic programs and show the correctness of the transformation.",

keywords = "Generalized logic program, Preference reasoning, Artificial intelligence",

author = "Alferes, {Jos{\'e} J{\'u}lio Alves} and {Dell{\textquoteright} Acqua}, Pierangelo and L.M. Pereira",

year = "2002",

month = jan,

day = "1",

doi = "10.1007/3-540-45757-7_6",

language = "English",

volume = "2424 LNAI",

pages = "62--74",

booktitle = "Lecture Notes in Artificial Intelligence",

note = "Logics in Artificial Intelligence ; Conference date: 01-01-2002",

}

TY - GEN

T1 - A compilation of updates plus preferences

AU - Alferes, José Júlio Alves

AU - Dell’ Acqua, Pierangelo

AU - Pereira, L.M.

PY - 2002/1/1

Y1 - 2002/1/1

N2 - We show how to compile programs formalizing update plus preference reasoning into standard generalized logic programs and show the correctness of the transformation.

AB - We show how to compile programs formalizing update plus preference reasoning into standard generalized logic programs and show the correctness of the transformation.

KW - Generalized logic program

KW - Preference reasoning

KW - Artificial intelligence

UR - http://www.scopus.com/record/display.uri?eid=2-s2.0-77952062546&origin=resultslist&sort=plf-f&src=s&st1

U2 - 10.1007/3-540-45757-7_6

DO - 10.1007/3-540-45757-7_6

M3 - Conference contribution

VL - 2424 LNAI

SP - 62

EP - 74

BT - Lecture Notes in Artificial Intelligence

T2 - Logics in Artificial Intelligence

Y2 - 1 January 2002

ER -

A compilation of updates plus preferences

Abstract

Conference

Keywords

Access to Document

Other files and links

Cite this