@INPROCEEDINGS{Hustadt@ICLP-ARW1993,
 AUTHOR        = {Hustadt, Ullrich},
 TITLE         = {Abductive Disjunctive Logic Programming},
 BOOKTITLE     = {Proceedings of the ICLP 93 Postconference Workshop on Abductive Reasoning
 [Budapest, Hungary, 24-25 June 1993]},
 YEAR          = {1993},
 EDITOR        = {Codognet, Philippe and Dung, Phan Minh and Kakas, 
                  Antonis C. and Mancarella, Paola},
 CADDRESS      = {Budapest, Hungary},
 CMONTH        = June # {~24--25},
 URL           = {Hustadt@ICLP-ARW1993.pdf},
 ABSTRACT      = {Eshghi and Kowalski (1989) introduced the notion of an 
     abductive framework and proposed stable models as a semantics for 
     abduction. They showed that abductive frameworks can be used to provide 
     an alternative basis for negation-as-failure in logic programming. Kakas 
     and Mancarella (1990) introduced the notion of generalized stable models 
     by suitably extending the definition of stable models. The semantics of
     generalized stable models clarifies the meaning of integrity constraints
     within an abductive framework.
     In (Satoh and Iwayama, 1992) a goal-directed method for computing 
     the generalized stable models of an abductive framework has been
     proposed. Their method is correct for any consistent abductive
     framework. Whereas abductive frameworks correspond to normal logic
     programs with integrity constraints, I propose an extension to
     disjunctive normal logic programs. Disjunctive normal logic programs 
     extend normal logic programs to disjunctive logic programs and
     therefore, provide full first-order expressibility.}
}

{"_id":"EyoD9v3nArhLcta9f","bibbaseid":"hustadt-abductivedisjunctivelogicprogramming-1993","author_short":["Hustadt, U."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Hustadt"],"firstnames":["Ullrich"],"suffixes":[]}],"title":"Abductive Disjunctive Logic Programming","booktitle":"Proceedings of the ICLP 93 Postconference Workshop on Abductive Reasoning [Budapest, Hungary, 24-25 June 1993]","year":"1993","editor":[{"propositions":[],"lastnames":["Codognet"],"firstnames":["Philippe"],"suffixes":[]},{"propositions":[],"lastnames":["Dung"],"firstnames":["Phan","Minh"],"suffixes":[]},{"propositions":[],"lastnames":["Kakas"],"firstnames":["Antonis","C."],"suffixes":[]},{"propositions":[],"lastnames":["Mancarella"],"firstnames":["Paola"],"suffixes":[]}],"caddress":"Budapest, Hungary","cmonth":"June 24–25","url":"Hustadt@ICLP-ARW1993.pdf","abstract":"Eshghi and Kowalski (1989) introduced the notion of an abductive framework and proposed stable models as a semantics for abduction. They showed that abductive frameworks can be used to provide an alternative basis for negation-as-failure in logic programming. Kakas and Mancarella (1990) introduced the notion of generalized stable models by suitably extending the definition of stable models. The semantics of generalized stable models clarifies the meaning of integrity constraints within an abductive framework. In (Satoh and Iwayama, 1992) a goal-directed method for computing the generalized stable models of an abductive framework has been proposed. Their method is correct for any consistent abductive framework. Whereas abductive frameworks correspond to normal logic programs with integrity constraints, I propose an extension to disjunctive normal logic programs. Disjunctive normal logic programs extend normal logic programs to disjunctive logic programs and therefore, provide full first-order expressibility.","bibtex":"@INPROCEEDINGS{Hustadt@ICLP-ARW1993,\n AUTHOR = {Hustadt, Ullrich},\n TITLE = {Abductive Disjunctive Logic Programming},\n BOOKTITLE = {Proceedings of the ICLP 93 Postconference Workshop on Abductive Reasoning\n [Budapest, Hungary, 24-25 June 1993]},\n YEAR = {1993},\n EDITOR = {Codognet, Philippe and Dung, Phan Minh and Kakas, \n Antonis C. and Mancarella, Paola},\n CADDRESS = {Budapest, Hungary},\n CMONTH = June # {~24--25},\n URL = {Hustadt@ICLP-ARW1993.pdf},\n ABSTRACT = {Eshghi and Kowalski (1989) introduced the notion of an \n abductive framework and proposed stable models as a semantics for \n abduction. They showed that abductive frameworks can be used to provide \n an alternative basis for negation-as-failure in logic programming. Kakas \n and Mancarella (1990) introduced the notion of generalized stable models \n by suitably extending the definition of stable models. The semantics of\n generalized stable models clarifies the meaning of integrity constraints\n within an abductive framework.\n In (Satoh and Iwayama, 1992) a goal-directed method for computing \n the generalized stable models of an abductive framework has been\n proposed. Their method is correct for any consistent abductive\n framework. Whereas abductive frameworks correspond to normal logic\n programs with integrity constraints, I propose an extension to\n disjunctive normal logic programs. Disjunctive normal logic programs \n extend normal logic programs to disjunctive logic programs and\n therefore, provide full first-order expressibility.}\n}\n","author_short":["Hustadt, U."],"editor_short":["Codognet, P.","Dung, P. M.","Kakas, A. C.","Mancarella, P."],"key":"Hustadt@ICLP-ARW1993","id":"Hustadt@ICLP-ARW1993","bibbaseid":"hustadt-abductivedisjunctivelogicprogramming-1993","role":"author","urls":{"Paper":"http://cgi.csc.liv.ac.uk/~ullrich/publications/Hustadt@ICLP-ARW1993.pdf"},"metadata":{"authorlinks":{}},"downloads":2},"bibtype":"inproceedings","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj","FgmYE34DdKWThg2dR"],"keywords":[],"search_terms":["abductive","disjunctive","logic","programming","hustadt"],"title":"Abductive Disjunctive Logic Programming","year":1993,"downloads":2}