@misc{Perri:2003,
  abstract = {Abduction, first proposed in the setting of classical logics, has been studied with growing interest in the logic programming area during the last years. In this paper we study \emph{abduction with penalization} in the logic programming framework. This form of abductive reasoning, which has not been previously analyzed in logic programming, turns out to represent several relevant problems, including optimization problems, very naturally. We define a formal model for abduction with penalization over logic programs, which extends the abductive framework proposed by Kakas and Mancarella. We address knowledge representation issues, encoding a number of problems in our abductive framework. In particular, we consider some relevant problems, taken from different domains, ranging from optimization theory to diagnosis and planning; their encodings turn out to be simple and elegant in our formalism. We thoroughly analyze the computational complexity of the main problems arising in the context of abduction with penalization from logic programs. Finally, we implement a system supporting the proposed abductive framework on top of the DLV engine. To this end, we design a translation from abduction problems with penalties into logic programs with weak constraints. We prove that this approach is sound and complete.},
  added-at = {2007-12-14T02:44:58.000+0100},
  author = {Perri, Simona and Scarcello, Francesco and Leone, Nicola},
  biburl = {http://www.bibsonomy.org/bibtex/2761cd76bc606ec748ce0f4badbcd5457/diego_ma},
  interhash = {d35dc7aa35736bf65ae6281ca7216275},
  intrahash = {761cd76bc606ec748ce0f4badbcd5457},
  keywords = {abduction},
  note = {Submitted to \emph{Theory and Practice of Logic Programming}},
  timestamp = {2007-12-14T02:44:58.000+0100},
  title = {Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation},
  url = {http://arxiv.org/abs/cs/0310047},
  year = 2003
}

@inproceedings{Mooney:1997,
  added-at = {2007-12-14T02:44:11.000+0100},
  author = {Mooney, Raymond J.},
  biburl = {http://www.bibsonomy.org/bibtex/2ed158c52e3a7820cb5a2cf84b709fbc1/diego_ma},
  booktitle = {Working Notes of the {IJCAI}-97 Workshop on Abduction and Induction in {AI}},
  interhash = {e59292dd9e9d1cf4ce65a98fe1cc52c4},
  intrahash = {ed158c52e3a7820cb5a2cf84b709fbc1},
  keywords = {abduction induction},
  timestamp = {2007-12-14T02:44:11.000+0100},
  title = {Integrating Abduction in Machine Learning},
  year = 1997
}

@article{Hobbs:1993,
  added-at = {2007-12-14T02:40:41.000+0100},
  author = {Hobbs, Jerry R. and Stickel, Mark E. and Appelt, Douglas E. and Martin, Paul},
  biburl = {http://www.bibsonomy.org/bibtex/217d59263b48200b0dac50c18e43268c1/diego_ma},
  interhash = {5cf96974fbfe1a6d404afa1d42bfeb78},
  intrahash = {17d59263b48200b0dac50c18e43268c1},
  journal = {Artificial Intelligence},
  keywords = {abduction NLP},
  pages = {69-142},
  timestamp = {2007-12-14T02:40:41.000+0100},
  title = {Interpretation as Abduction},
  volume = 63,
  year = 1993
}

@misc{Hobbs:1996:3,
  abstract = {No abstract},
  added-at = {2007-12-14T02:40:33.000+0100},
  author = {Hobbs, Jerry R.},
  biburl = {http://www.bibsonomy.org/bibtex/2d44cd06980835f79332fe4c4b569194c/diego_ma},
  interhash = {ab79fb4fedb9792fe8e746dcac5527ce},
  intrahash = {d44cd06980835f79332fe4c4b569194c},
  keywords = {evolution reification abduction},
  timestamp = {2007-12-14T02:40:33.000+0100},
  title = {The Origin and Evolution of Language: A Plausible, Strong-{AI} Account},
  url = {http://www.coling.uni-freiburg.de/{\~{}}neuhaus/papers/pnbib.html},
  year = 1996
}

@inproceedings{Harabagiu:1999,
  abstract = {This paper describes a methodology of answering questions by using information retrieved from very large collections of texts. We argue that combinations of information retrieval and extractions techniques cannot be used, due to the open-domain nature of the task. We propose a solution based on indexing techniques that identify paragraphs from texts where the answers can be found. The validity of the answers is obtained through a lightweight process of abduction.},
  added-at = {2007-12-14T02:39:58.000+0100},
  author = {Harabagiu, Sanda M. and Maiorano, Steven J.},
  biburl = {http://www.bibsonomy.org/bibtex/2d0b49de18540c413f1abc827714e02c5/diego_ma},
  booktitle = {Proc. AAAI Fall Symposium on Question Answering Systems},
  interhash = {3f4ceccb67fb431c9564d5d32b67dc09},
  intrahash = {d0b49de18540c413f1abc827714e02c5},
  keywords = {question_answering abduction},
  pages = {63-71},
  timestamp = {2007-12-14T02:39:58.000+0100},
  title = {Finding Answers in Large Collections of Texts: Paragraph Indexing + Abductive Inference},
  url = {http://citeseer.nj.nec.com/harabagiu99finding.html},
  year = 1999
}