Revision as of 15:17, 16 December 2020 edit Monkbot (talk \| contribs) Bots 3,695,952 edits m Task 18 (cosmetic): eval 9 templates: del empty params (1×); hyphenate params (4×); Tag: AWB ← Previous edit		Revision as of 17:51, 7 May 2021 edit undo GreenC bot (talk \| contribs) Bots 3,056,215 edits Removed 2 oxfordjournals.com URLs per discussion. Wayback Medic 2.5 Next edit →
Line 120: * {{cite book \|first1=D. \|last1=Poole \|first2=R. \|last2=Goebel \|first3=R. \|last3=Aleliunas \|chapter=Theorist: a logical reasoning system for defaults and diagnosis \|editor1-first=Nick \|editor1-last=Cercone \|editor2-first=Gordon \|editor2-last=McCalla \|title=The Knowledge Frontier: Essays in the Representation of Knowledge \|chapter-url=https://books.google.com/books?id=WRy1XVarSd4C&pg=PA331 \|year=1987 \|publisher=Springer \|isbn=978-0-387-96557-4 \|pages=331–352}} * {{cite book \|first1=A.C. \|last1=Kakas \|first2=P. \|last2=Mancarella \|chapter=Generalised Stable Models: A Semantics for Abduction \|editor-first=L.C. \|editor-last=Aiello \|title=ECAI 90: proceedings of the 9th European Conference on Artificial Intelligence \|publisher=Pitman \|year=1990 \|isbn=978-0273088226 \|pages=385–391 }} * {{cite journal \|first1=L. \|last1=Console \|first2=D.T. \|last2=Dupre \|first3=P. \|last3=Torasso \|title=On the Relationship between Abduction and Deduction \|journal=Journal of Logic and Computation \|volume=1 \|issue=5 \|pages=661–690 \|year=1991 \|doi=10.1093/logcom/1.5.661 ~~\|url=http://logcom.oxfordjournals.org/content/1/5/661.short~~ \|citeseerx=10.1.1.31.9982 }} * {{cite journal \|first1=A.C. \|last1=Kakas \|first2=R.A. \|last2=Kowalski \|first3=F. \|last3=Toni \|title=Abductive Logic Programming \|journal=Journal of Logic and Computation \|volume=2 \|issue=6 \|pages=719–770 \|year=1993 \|doi=10.1093/logcom/2.6.719 ~~\|url=http://logcom.oxfordjournals.org/content/2/6/719.short~~\|citeseerx=10.1.1.37.3655 }} * {{cite journal \|first1=Marc \|last1=Denecker \|first2=Danny \|last2=De Schreye \|title=SLDNFA: An Abductive Procedure for Abductive Logic Programs \|journal=J. Logic Programming \|volume=34 \|issue=2 \|pages=111–167 \|date=February 1998 \|doi=10.1016/S0743-1066(97)00074-5 \|citeseerx = 10.1.1.21.6503 }} * {{cite journal \|first1=M. \|last1=Denecker \|first2=A.C. \|last2=Kakas \|title=Special issue: abductive logic programming \|journal=J. Logic Programming \|volume=44 \|issue=1–3 \|pages=1–4 \|date=July 2000 \|doi=10.1016/S0743-1066(99)00078-3 \|doi-access=free }}

Abductive logic programming: Difference between revisions