Tabled Abduction in Logic Programs
暂无分享,去创建一个
[1] Jon Doyle,et al. A Truth Maintenance System , 1979, Artif. Intell..
[2] Johan de Kleer,et al. An Assumption-Based TMS , 1987, Artif. Intell..
[3] Kave Eshghi,et al. Abductive Planning with Event Calculus , 1988, ICLP/SLP.
[4] Krzysztof R. Apt,et al. Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[5] Paolo Mancarella,et al. Knowledge Assimilation and Abduction , 1990, Truth Maintenance Systems.
[6] Kenneth A. Ross,et al. The well-founded semantics for general logic programs , 1991, JACM.
[7] Ken Satoh,et al. Computing Abduction by Using the TMS , 1991, ICLP.
[8] Peter Lipton,et al. Inference to the best explanation , 1993 .
[9] Danny De Schreye,et al. SLDNFA: An Abductive Procedure for Normal Abductive Programs , 1992, JICSLP.
[10] José Júlio Alferes,et al. Diagnosis and Debugging as Contradiction Removal in Logic Programs , 1993, EPIA.
[11] José Júlio Alferes,et al. Debugging by Diagnosing Assumptions , 1993, AADEBUG.
[12] Thomas Schiex,et al. Nogood Recording for static and dynamic constraint satisfaction problems , 1993, Proceedings of 1993 IEEE Conference on Tools with Al (TAI-93).
[13] John R. Josephson,et al. Abductive inference : computation, philosophy, technology , 1994 .
[14] David J. Goodman,et al. Personal Communications , 1994, Mobile Communications.
[15] Antonis C. Kakas,et al. The role of abduction in logic programming , 1998 .
[16] Luís Moniz Pereira,et al. Abduction over 3-Valued Extended Logic Programs , 1995, International Conference on Logic Programming and Non-Monotonic Reasoning.
[17] Karem A. Sakallah,et al. GRASP—a new search algorithm for satisfiability , 1996, ICCAD 1996.
[18] Chiaki Sakama,et al. A Fixpoint Characterization of Abductive Logic Programs , 1996, J. Log. Program..
[19] Joao Marques-Silva,et al. GRASP-A new search algorithm for satisfiability , 1996, Proceedings of International Conference on Computer Aided Design.
[20] José Gabriel Pereira Lopes,et al. Datalog Grammars for Abductive Syntactic Error Diagnosis and Repair , 1997 .
[21] Georg Gottlob,et al. Abduction from Logic Programs: Semantics and Complexity , 1997, Theor. Comput. Sci..
[22] Robert A. Kowalski,et al. The Iff Proof Procedure for Abductive Logic Programming , 1997, J. Log. Program..
[23] José Júlio Alferes,et al. Tabling Abduction , 1998, TAPD.
[24] Ken Satoh,et al. Computing abduction by using TMS with top-down expectation , 2000, J. Log. Program..
[25] Luís Moniz Pereira,et al. Psychiatric Diagnosis from the Viewpoint of Computational Logic , 2000, Computational Logic.
[26] Antonis C. Kakas,et al. An abductive-based scheduler for air-crew assignment , 2001, Appl. Artif. Intell..
[27] Yoshitaka Kameya,et al. Parameter Learning of Logic Programs for Symbolic-Statistical Modeling , 2001, J. Artif. Intell. Res..
[28] José Júlio Alferes,et al. Planning as Abductive Updating , 2001 .
[29] Alan Bundy,et al. Computational Logic: Logic Programming and Beyond , 2002 .
[30] Antonis C. Kakas,et al. Abduction in Logic Programming , 2002, Computational Logic: Logic Programming and Beyond.
[31] Antonis C. Kakas,et al. Computational Logic: Logic Programming and Beyond , 2002, Lecture Notes in Computer Science.
[32] Abductive Validation of a Power-Grid Expert System Diagnoser , 2004, IEA/AIE.
[33] Luís Moniz Pereira,et al. Representing and reasoning about concurrent actions with abductive logic programs , 1997, Annals of Mathematics and Artificial Intelligence.
[34] 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.
[35] Evelina Lamma,et al. Security Protocols Verification in Abductive Logic Programming: A Case Study , 2005, ESAW.
[36] Oliver Ray,et al. Abductive Logic Programming in the Clinical Management of HIV/AIDS , 2006, ECAI.
[37] Martin Gebser,et al. Conflict-Driven Answer Set Solving , 2007, IJCAI.
[38] Luís Moniz Pereira,et al. Modelling morality with prospective logic , 2007, Int. J. Reason. based Intell. Syst..
[39] Victor Pablos Ceruelo. Negative non-ground queries in well founded semantics , 2009 .
[40] David Scott Warren,et al. Tabling with Answer Subsumption: Implementation, Applications and Performance , 2010, JELIA.
[41] Robert A. Kowalski,et al. Computational Logic and Human Thinking: How to Be Artificially Intelligent , 2011 .
[42] L. Pereira,et al. Inspecting side-effects of abduction in logic programs , 2011 .
[43] David Scott Warren,et al. XSB: Extending Prolog with Tabled Logic Programming , 2010, Theory and Practice of Logic Programming.
[44] Fabrizio Riguzzi,et al. The PITA system: Tabling and answer subsumption for reasoning under uncertainty , 2011, Theory Pract. Log. Program..
[45] Robert A. Kowalski,et al. Abductive logic programming agents with destructive databases , 2011, Annals of Mathematics and Artificial Intelligence.
[46] Luís Moniz Pereira,et al. Moral Reasoning under Uncertainty , 2012, LPAR.
[47] Luís Moniz Pereira. Abductive Logic Programming with Tabled Abduction , 2012, ICSEA 2012.
[48] David Scott Warren. Interning Ground Terms in XSB , 2013, ArXiv.
[49] Luís Moniz Pereira,et al. Towards Practical Tabled Abduction Usable in Decision Making , 2013 .
[50] Luís Moniz Pereira,et al. Inspecting and Preferring Abductive Models , 2013 .
[51] Implementing Tabled Abduction in Logic Programs , 2013 .
[52] Luís Moniz Pereira,et al. Towards Practical Tabled Abduction in Logic Programs , 2013, EPIA.