• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations

DMCA

Abduction in Logic Programming

Cached

  • Download as a PDF

Download Links

  • [www.cs.kuleuven.ac.be]
  • [www.cs.kuleuven.be]
  • [www.math-info.univ-paris5.fr]
  • [www.math-info.univ-paris5.fr]
  • [www.stanford.edu]
  • [www.stanford.edu]
  • [web.stanford.edu]
  • [www.cs.kuleuven.ac.be]
  • [www-lp.doc.ic.ac.uk]
  • [www.disi.unige.it]
  • [www-lp.doc.ic.ac.uk]
  • [www-lp.doc.ic.ac.uk]
  • [www.math-info.univ-paris5.fr]
  • [www.cs.ucy.ac.cy]
  • [www.cs.ucy.ac.cy]
  • [www2.cs.ucy.ac.cy]
  • [www.cs.ucy.ac.cy]
  • [www2.cs.ucy.ac.cy]

  • Other Repositories/Bibliography

  • DBLP
  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Marc Denecker , Antonis Kakas
Citations:624 - 77 self
  • Summary
  • Citations
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@MISC{Denecker_abductionin,
    author = {Marc Denecker and Antonis Kakas},
    title = {Abduction in Logic Programming},
    year = {}
}

Share

Facebook Twitter Reddit Bibsonomy

OpenURL

 

Abstract

Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas of Computer Science. This paper aims to chart out the main developments of the field over the last ten years and to take a critical view of these developments from several perspectives: logical, epistemological, computational and suitability to application. The paper attempts to expose some of the challenges and prospects for the further development of the field.

Keyphrases

logic programming    last ten year    main development    several perspective    computer science    artificial intelligence    critical view   

Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University