Towards Practical Tabled Abduction in Logic Programs
暂无分享,去创建一个
[1] Luís Moniz Pereira,et al. Towards Practical Tabled Abduction Usable in Decision Making , 2013 .
[2] Antonis C. Kakas,et al. Abduction in logic programming , 2002 .
[3] José Júlio Alferes,et al. Abduction in well-founded semantics and generalized stable models via tabled dual programs , 2003, Theory and Practice of Logic Programming.
[4] John R. Josephson,et al. Abductive inference : computation, philosophy, technology , 1994 .
[5] Michael Kifer,et al. The XSB System Version 2.5 Volume 1: Programmer's Manual , 2003 .
[6] Alan Bundy,et al. Computational Logic: Logic Programming and Beyond , 2002 .
[7] Luís Moniz Pereira,et al. Machine Ethics: Modeling Morality with Prospective Logic , 2011 .
[8] David Scott Warren,et al. XSB: Extending Prolog with Tabled Logic Programming , 2010, Theory and Practice of Logic Programming.
[9] Luís Moniz Pereira,et al. Moral Reasoning under Uncertainty , 2012, LPAR.
[10] Peter Lipton,et al. Inference to the best explanation , 1993 .
[11] A. Campbell,et al. Progress in Artificial Intelligence , 1995, Lecture Notes in Computer Science.
[12] José Júlio Alferes,et al. Debugging by Diagnosing Assumptions , 1993, AADEBUG.
[13] Peter Fritzson. Automated and Algorithmic Debugging , 1993, Lecture Notes in Computer Science.
[14] José Ferreira de Castro,et al. Abductive validation of a power-grid expert system diagnoser , 2004 .
[15] Luís Moniz Pereira,et al. Psychiatric Diagnosis from the Viewpoint of Computational Logic , 2000, Computational Logic.
[16] Georg Gottlob,et al. Abduction from Logic Programs: Semantics and Complexity , 1997, Theor. Comput. Sci..
[17] Luís Moniz Pereira. Abductive Logic Programming with Tabled Abduction , 2012, ICSEA 2012.
[18] Robert A. Kowalski,et al. Computational Logic and Human Thinking: How to Be Artificially Intelligent , 2011 .
[19] Robert A. Kowalski,et al. Abductive logic programming agents with destructive databases , 2011, Annals of Mathematics and Artificial Intelligence.
[20] Luís Moniz Pereira,et al. Modelling morality with prospective logic , 2007, Int. J. Reason. based Intell. Syst..
[21] Antonis C. Kakas,et al. The role of abduction in logic programming , 1998 .
[22] Luís Moniz Pereira,et al. Computational Logic — CL 2000 , 2000, Lecture Notes in Computer Science.
[23] Dov M. Gabbay,et al. Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .
[24] Luís Moniz Pereira,et al. Tabled Abduction in Logic Programs , 2013, Theory Pract. Log. Program..
[25] Frank Wolter,et al. Monodic fragments of first-order temporal logics: 2000-2001 A.D , 2001, LPAR.
[26] Antonis C. Kakas,et al. Computational Logic: Logic Programming and Beyond , 2002, Lecture Notes in Computer Science.
[27] Moonis Ali,et al. Innovations in Applied Artificial Intelligence , 2005 .
[28] José Júlio Alferes,et al. Diagnosis and Debugging as Contradiction Removal in Logic Programs , 1993, EPIA.
[29] Antonis C. Kakas,et al. An abductive-based scheduler for air-crew assignment , 2001, Appl. Artif. Intell..