On preferring and inspecting abductive models

Luís Moniz Pereira, Pierangelo Dell'Acqua, Gonçalo Lopes

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

4 Citations (Scopus)


This work proposes the application of preferences over abductive logic programs as an appealing declarative formalism to model choice situations. In particular, both a priori and a posteriori handling of preferences between abductive extensions of a theory are addressed as complementary and essential mechanisms in a broader framework for abductive reasoning. Furthermore, both of these choice mechanisms are combined with other formalisms for decision making, like economic decision theory, resulting in theories containing the best advantages from both qualitative and quantitative formalisms. Several examples are presented throughout to illustrate the enounced methodologies. These have been tested in our implementation, which we explain in detail.

Original languageEnglish
Title of host publicationPractical Aspects of Declarative Languages
Subtitle of host publication11th International Symposium, PADL 2009, Proceedings
Place of PublicationBerlin
Number of pages15
ISBN (Print)3540929940, 9783540929949
Publication statusPublished - 2009
EventPractical Aspects of Declarative Languages, 11th International Symposium -
Duration: 1 Jan 2009 → …

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5418 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


ConferencePractical Aspects of Declarative Languages, 11th International Symposium
Period1/01/09 → …


  • Abduction
  • Logic Programming
  • Preferences
  • Smodels
  • XSB-Prolog


Dive into the research topics of 'On preferring and inspecting abductive models'. Together they form a unique fingerprint.

Cite this