A tree construction of the preferable answer sets for prioritized basic disjunctive logic programs

Saved in:
Bibliographic Details
Published inLecture notes in computer science pp. 588 - 600
Main Authors ZHANGL, Zaiyue, YUEFEI SUI, CUNGEN CAO
Format Conference Proceeding
LanguageEnglish
Published Berlin Springer 2006
Subjects
Algorithmics. Computability. Computer arithmetics
Applied sciences
Computer science; control theory; systems
Exact sciences and technology
Theoretical computing
Semantics
Priority
Disjunctive programming
Answer set programming
Knowledge representation
Logical programming
Proof theory
Modeling
Circumscription
Online AccessGet full text

Cover

More Information
ISBN:3540340211
9783540340218
ISSN:0302-9743