Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules
暂无分享,去创建一个
[1] Ruslan Mitkov,et al. Automatic Anaphora Resolution: Limits, Impediments, and Ways Forward , 2002, PorTAL.
[2] Irina Trubitsyna,et al. Prioritized Reasoning in Logic Programming , 2007, FLAIRS Conference.
[3] Henning Christiansen,et al. From use cases to UML class diagrams using logic grammars and constraints , 2007 .
[4] Bert Van Nuffelen,et al. A-System: Problem Solving through Abduction , 2001, IJCAI.
[5] Antonis C. Kakas,et al. Special issue: abductive logic programming , 2000, The Journal of Logic Programming.
[6] Gerald Penn. Applying Constraint Handling Rules to HPSG , 2000, ArXiv.
[7] Pietro Torasso,et al. On the Relationship between Abduction and Deduction , 1991, J. Log. Comput..
[8] Keith L. Clark,et al. Negation as Failure , 1987, Logic and Data Bases.
[9] Paolo Mancarella,et al. Database Updates through Abduction , 1990, VLDB.
[10] FRANK MORAWIETZ. Parsing Natural Languages with CHR , 2002 .
[11] Henning Christiansen,et al. On the Implementation of Global Abduction , 2006, CLIMA.
[12] Christian Holzbaur. OFAI clp(Q,R) Manual , 1995 .
[13] Bjarne Stroustrup,et al. C++ Programming Language , 1986, IEEE Softw..
[14] Henning Christiansen,et al. Reasoning about Use Cases using Logic Grammars and Constraints , 2007 .
[15] Bart Demoen,et al. User-definable rule priorities for CHR , 2007, PPDP '07.
[16] Verónica Dahl,et al. HYPROLOG: A New Logic Programming Language with Assumptions and Abduction , 2005, ICLP.
[17] Verónica Dahl,et al. Semantic Property Grammars for Knowledge Extraction from Biomedical Text , 2006, ICLP.
[18] Slim Abdennadher,et al. Chr _ : a Flexible Query Language , 2022 .
[19] Frank Morawietz. Chart Parsing and Constraint Programming , 2000, COLING.
[20] Chiaki Sakama,et al. Representing Priorities in Logic Programs , 1996, JICSLP.
[21] Paolo Mancarella,et al. Programming Applications in CIFF , 2007, LPNMR.
[22] Verónica Dahl,et al. An Abductive Treatment of Long Distance Dependencies in CHR , 2004, CSLP.
[23] P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .
[24] Henning Christiansen,et al. Automated Reasoning with a Constraint-Based Metainterpreter , 1998, J. Log. Program..
[25] Antonis C. Kakas,et al. Abduction in logic programming , 2002 .
[26] Paolo Mancarella,et al. Abductive Logic Programming , 1992, LPNMR.
[27] V. S. Costa,et al. Theory and Practice of Logic Programming , 2010 .
[28] Patricia M. Hill,et al. A Comparative Study of Eight Constraint Programming Languages Over the Boolean and Finite Domains , 2000, Constraints.
[29] Verónica Dahl,et al. Logic Grammars for Diagnosis and Repair , 2003, Int. J. Artif. Intell. Tools.
[30] Peter J. Stuckey,et al. The Refined Operational Semantics of Constraint Handling Rules , 2004, ICLP.
[31] Verónica Dahl,et al. Implantation de grammaires de propriétés en CHR , 2004, JFPLC.
[33] Jack Minker,et al. Logic and Data Bases , 1978, Springer US.
[34] John Wylie Lloyd,et al. Foundations of Logic Programming , 1987, Symbolic Computation.
[35] Verónica Dahl,et al. Assumption Grammars for Processing Natural Language , 1997, ICLP.
[36] Verónica Dahl,et al. Meaning in Context , 2005, CONTEXT.
[37] Slim Abdennadher,et al. An Experimental CLP Platform for Integrity Constraints and Abduction , 2000, FQAS.
[38] Yan Zhang,et al. Two results for prioritized logic programming , 2002, Theory and Practice of Logic Programming.
[39] Antonis C. Kakas,et al. The role of abduction in logic programming , 1998 .
[40] Antonis C. Kakas,et al. ACLP: Abductive Constraint Logic Programming , 2000, J. Log. Program..
[41] Robert A. Kowalski,et al. The Iff Proof Procedure for Abductive Logic Programming , 1997, J. Log. Program..
[42] Michael Gelfond,et al. Towards an Integration of Answer Set and Constraint Solving , 2005, ICLP.
[43] Henning Christiansen,et al. Symbolic constraints for meta-logic programming , 2000, Appl. Artif. Intell..
[44] Ilkka Niemelä,et al. The Smodels System , 2001, LPNMR.
[45] Edsger W. Dijkstra,et al. Hierarchical ordering of sequential processes , 1971, Acta Informatica.
[46] Dov M. Gabbay,et al. Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .
[47] Evelina Lamma,et al. An Abductive Framework for Information Exchange in Multi-agent Systems , 2004, CLIMA.
[48] Thom W. Frühwirth,et al. A Linear-Logic Semantics for Constraint Handling Rules , 2005, CP.
[49] Wolfgang Faber,et al. The DLV system for knowledge representation and reasoning , 2002, TOCL.
[50] Thom W. Frühwirth,et al. Theory and Practice of Constraint Handling Rules , 1998, J. Log. Program..
[51] Thom Frühwirth. Description Logic and Rules the CHR Way Extended , 2007 .
[52] Herbert B. Enderton,et al. A mathematical introduction to logic , 1972 .
[53] Ken Satoh. "All's well that ends well" - a proposal of global abduction , 2004, NMR.
[54] Henning Christiansen,et al. CHR grammars , 2004, Theory and Practice of Logic Programming.
[55] Ken Satoh. An Application of Global Abduction to an Information Agent Which Modifies a Plan Upon Failure - Preliminary Report , 2004, CLIMA.
[56] Lee Naish. Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997 , 1997, ICLP.