Search results for "SLD-resolution"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
108	Donald A. Smith, Timothy J. Hickey	Multi-SLD Resolution.	LPAR	1994	DBLP DOI BibTeX RDF
87	Sofie Verbaeten, Danny De Schreye	Termination of Simply-Moded Well-Typed Logic Programs under a Tabled Execution Mechanism.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Logic Programming, Termination, Tabling
78	Konstantine Arkoudas, Olin Shivers	Trusted Theorem Proving: A Case Study in SLD-Resolution.	ISoLA	2008	DBLP DOI BibTeX RDF
69	Ekaterina Komendantskaya, John Power	Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness.	JELIA	2008	DBLP DOI BibTeX RDF	Many-valued logic programs, categorical logic, fibrational semantics, ground semantics, SLD-resolution
65	Donald A. Smith	Why Multi-SLD Beats SLD (Even on a Uniprocessor).	PLILP	1994	DBLP DOI BibTeX RDF
65	Lunjin Lu, Peter Greenfield	Abstract fixpoint semantics and abstract procedural semantics of definite logic programs.	ICCL	1992	DBLP DOI BibTeX RDF
62	Linh Anh Nguyen	An SLD-Resolution Calculus for Basic Serial Multimodal Logics.	ICTAC	2005	DBLP DOI BibTeX RDF
62	Luís Fernando Castro, Terrance Swift, David Scott Warren	Suspending and Resuming Computations in Engines for SLG Evaluation.	PADL	2002	DBLP DOI BibTeX RDF
58	Weidong Chen 0005, David Scott Warren	Query Evaluation under the Well Founded Semantics.	PODS	1993	DBLP DOI BibTeX RDF
56	Kaustuv Chaudhuri, Frank Pfenning, Greg Price	A Logical Characterization of Forward and Backward Chaining in the Inverse Method.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	SLD resolution, Hyperresolution, Intuitionistic linear logic, Focusing, Inverse method
49	Johan Boye	S-SLD-resolution - An Operational Semantics for Logic Programs with External Procedures.	PLILP	1991	DBLP DOI BibTeX RDF
49	Antony Francis Bowers, Patricia M. Hill, Francisco Ibañez	Resolution for Logic Programming with Universal Quantifiers.	PLILP	1997	DBLP DOI BibTeX RDF	Universal quantifiers, specification, logic programming, programming languages, resolution, implication
37	Weidong Chen 0005, David Scott Warren	Tabled Evaluation With Delaying for General Logic Programs.	J. ACM	1996	DBLP DOI BibTeX RDF	tabled evaluation, program transformations, stable models, well-founded models
36	Jan A. Plaza	Completeness for Propositional Logic Programs with Negation.	ISMIS	1991	DBLP DOI BibTeX RDF	SLD-resolution, knowledge representation in logic, logic programming, declarative programming, constructive negation, rule-based expert systems, non-classical logics, negation as failure, soundness and completeness
36	Patricia M. Hill	The Completion of Typed Logic Programs and SLDNF-Resolution.	LPAR	1993	DBLP DOI BibTeX RDF
33	Linh Anh Nguyen	Reasoning About Epistemic States of Agents by Modal Logic Programming.	CLIMA	2005	DBLP DOI BibTeX RDF
33	Alain Hui-Bon-Hoa	A Bottom-Up Interpreter for a Higher-Order Logic Programming Language.	PLILP	1992	DBLP DOI BibTeX RDF
33	Seppo Keronen	Natural Deduction Proof Theory for Logic Programming.	ELP	1992	DBLP DOI BibTeX RDF
31	Wolfram Burgard	Efficiency Considerations on Goal-Directed Chaining for Logic Programs.	CSL	1990	DBLP DOI BibTeX RDF
30	João Barbosa, Mário Florido, Vítor Santos Costa	Typed SLD-Resolution: Dynamic Typing for Logic Programming.	CoRR	2022	DBLP DOI BibTeX RDF
30	João Barbosa, Mário Florido, Vítor Santos Costa	Typed SLD-Resolution: Dynamic Typing for Logic Programming.	LOPSTR	2022	DBLP DOI BibTeX RDF
30	Wlodzimierz Drabent	SLD-resolution without occur-check, an example.	CoRR	2021	DBLP BibTeX RDF
30	Sophie Tourret, Andrew Cropper	SLD-Resolution Reduction of Second-Order Horn Fragments - technical report -.	CoRR	2019	DBLP BibTeX RDF
30	Sophie Tourret, Andrew Cropper	SLD-Resolution Reduction of Second-Order Horn Fragments.	JELIA	2019	DBLP DOI BibTeX RDF
30	Cheng-Hao Cai	SLDR-DL: A Framework for SLD-Resolution with Deep Learning.	CoRR	2017	DBLP BibTeX RDF
30	Stefan Brass	A Framework for Bottom-Up Simulation of SLD-Resolution.	CoRR	2014	DBLP BibTeX RDF
30	Ekaterina Komendantskaya, Anthony Karel Seda	Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs.	MFCSIT	2006	DBLP DOI BibTeX RDF
30	Vincenzo Loia, Sabrina Senatore, Maria I. Sessa	Similarity-based SLD resolution and its role for web knowledge discovery.	Fuzzy Sets Syst.	2004	DBLP DOI BibTeX RDF
30	Linh Anh Nguyen	A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs.	Fundam. Informaticae	2003	DBLP BibTeX RDF
30	L. Blandi, Vincenzo Loia, Sabrina Senatore, Maria I. Sessa	Similarity-based SLD Resolution and applications to Mobile Agents.	APPIA-GULP-PRODE	2003	DBLP BibTeX RDF
30	Maria I. Sessa	Approximate reasoning by similarity-based SLD resolution.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
30	Mathieu Jaume	A Full Formalization of SLD-Resolution in the Calculus of Inductive Constructions.	J. Autom. Reason.	1999	DBLP DOI BibTeX RDF
30	Wenjin Lu	View Updates in Disjunctive Deductive Databases Based on SLD-Resolution.	KRDB	1999	DBLP BibTeX RDF
30	Mathieu Jaume	Formalisation de la SLD-résolution dans le calcul des constructions inductives.	JFPLC	1997	DBLP BibTeX RDF
30	Peter Vojtás, Leonard Paulík	Soundness and Completeness of Non-classical SLD-Resolution.	ELP	1996	DBLP DOI BibTeX RDF
30	Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone	Semantical Properties of SLD-Resolution with Reflection.	ICLP	1995	DBLP BibTeX RDF
30	Pascal Nicolas, Béatrice Duval	Logique des défauts de Lukaszewicz : un démonstrateur basé sur la SLD-résolution pour les théories ouvertes.	JFPLC	1995	DBLP BibTeX RDF
30	Pascal Nicolas, Béatrice Duval	Lukaszewicz' Default Logic: A Theorem Prover Based on SLD-Resolution for Open Default Theory.	WOCFAI	1995	DBLP BibTeX RDF
30	Stefan Brass	Magic Sets vs. SLD-Resolution.	ADBIS	1995	DBLP DOI BibTeX RDF
30	Grigoris Antoniou, Elmar Langetepe	Applying SLD-resolution to a class of non-Horn logic programs.	Bull. IGPL	1994	DBLP DOI BibTeX RDF
30	Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone	SLD - Resolution with Reflection.	ILPS	1994	DBLP BibTeX RDF
30	Jonas Barklund, Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone	Integrating Reflection into SLD-Resolution.	ICLP Workshop: Proof-Theoretical Extensions on Logic Programming	1994	DBLP BibTeX RDF
30	Klaus Mayr	Integrating Antilemma-Constraints into SLD-Resolution.	WLP	1993	DBLP BibTeX RDF
30	Jean H. Gallier, Stan Raatz	Extending SLD Resolution to Equational Horn Clauses using E-Unification.	J. Log. Program.	1989	DBLP DOI BibTeX RDF
30	Robert F. Stärk	A Direct Proof for the Completeness of SLD-Resolution.	CSL	1989	DBLP DOI BibTeX RDF
30	Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso	Narrowing vs. SLD-Resolution.	Theor. Comput. Sci.	1988	DBLP DOI BibTeX RDF
30	Laurent Vieille	A Database-Complete Proof Procedure Based on SLD-Resolution.	ICLP	1987	DBLP BibTeX RDF
30	Akihiro Yamamoto	A Theoretical Combination of SLD-Resolution and Narrowing.	ICLP	1987	DBLP BibTeX RDF
30	Jean H. Gallier, Stan Raatz	SLD-Resolution Methods for Horn Clauses with Equality Based on E-Unification. (long version: JLP 6(1&2): 3-43)	SLP	1986	DBLP BibTeX RDF
30	Lee Naish	Heterogeneous SLD Resolution.	J. Log. Program.	1984	DBLP DOI BibTeX RDF
30	Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan	Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl).	FLOPS	2008	DBLP DOI BibTeX RDF
30	Sofie Verbaeten, Danny De Schreye, Konstantinos Sagonas	Termination proofs for logic programs with tabling.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	prolog, tabling, SLG-resolution
25	Stéphane Coulondre, Eric Salvat	Piece Resolution: Towards Larger Perspectives.	ICCS	1998	DBLP DOI BibTeX RDF
25	W. P. Weijland	Semantics for Logic Programs without Occur Check.	ICALP	1988	DBLP DOI BibTeX RDF
22	Bikash Chandra Ghosh, Vilas Wuwongse	Inference Systems for Conceptual Graph Programs.	ICCS	1994	DBLP DOI BibTeX RDF
22	Jan A. Plaza	Fully Declarative Logic Programming.	PLILP	1992	DBLP DOI BibTeX RDF
22	Harold Boley	A Direct Semantic Characterization of RELFUN.	ELP	1992	DBLP DOI BibTeX RDF
19	Julio Mariño, Juan José Moreno-Navarro, Susana Muñoz-Hernández	Implementing Constructive Intensional Negation.	New Gener. Comput.	2008	DBLP DOI BibTeX RDF	Intensional Negation, Logic Programming Implementation, Program Transformation, Constraint Logic Programming, Negation, Constructive Negation
19	Kaustuv Chaudhuri, Frank Pfenning, Greg Price	A Logical Characterization of Forward and Backward Chaining in the Inverse Method.	IJCAR	2006	DBLP DOI BibTeX RDF
19	Patrick Caldon, Eric Martin 0002	Limiting Resolution: From Foundations to Implementation.	ICLP	2004	DBLP DOI BibTeX RDF
19	Andrei Voronkov	Logic Programming with Bounded Quantifiers.	RCLP	1991	DBLP DOI BibTeX RDF
16	Pascual Julián Iranzo, Clemente Rubio-Manzano	A Similarity-Based WAM for Bousi~Prolog.	IWANN (1)	2009	DBLP DOI BibTeX RDF	Fuzzy Prolog, Unification by Similarity, Warren Abstract Machine, Fuzzy Logic Programming
16	Pascual Julián Iranzo, Clemente Rubio-Manzano	A declarative semantics for Bousi~Prolog.	PPDP	2009	DBLP DOI BibTeX RDF	fuzzy herbrand model, proximity relations, fuzzy logic programming, fixpoint semantics, declarative semantics
16	Ewa Madalinska-Bugaj, Linh Anh Nguyen	Generalizing the QSQR Evaluation Method for Horn Knowledge Bases.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF
16	Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz	Quantitative Logic Programming Revisited.	FLOPS	2008	DBLP DOI BibTeX RDF	Quantitative Logic Programming, Qualification Domains, Qualification Constraints
16	Nicolas Peltier	A Unified View of Tree Automata and Term Schematisations.	IFIP TCS	2008	DBLP DOI BibTeX RDF
16	Michael Leuschel	A framework for the integration of partial evaluation and abstract interpretation of logic programs.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	logic programming, program transformation, abstract interpretation, partial evaluation, flow analysis, Partial deduction
16	Linh Anh Nguyen	MProlog: An Extension of Prolog for Modal Logic Programming.	ICLP	2004	DBLP DOI BibTeX RDF
16	Linh Anh Nguyen	The Modal Logic Programming System MProlog.	JELIA	2004	DBLP DOI BibTeX RDF
16	Susumu Yamasaki, Mariko Sasakura	An automated reasoning for diagnostic knowledge in a distributed environment.	ISICT	2003	DBLP DOI BibTeX RDF
16	Akihiro Yamamoto, Bertram Fronhöfer	A Theory of Hypothesis Finding in Clausal Logic.	Progress in Discovery Science	2002	DBLP DOI BibTeX RDF
16	Wim Vanhoof, Remko Tronçon, Maurice Bruynooghe	A Fixed Point Semantics for Logic Programs Extended with Cuts.	LOPSTR	2002	DBLP DOI BibTeX RDF
16	Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa	On a Tabling Engine That Can Exploit Or-Parallelism.	ICLP	2001	DBLP DOI BibTeX RDF	Tabling, Or-Parallelism, Parallel Logic Programming
16	Lee Naish	A Three-Valued Semantic for Horn Clause Programs.	ACSC	2000	DBLP DOI BibTeX RDF
16	Stefan Brass	SLDMagic - The Real Magic (With Applications to Web Queries).	Computational Logic	2000	DBLP DOI BibTeX RDF
16	Slim Abdennadher, Heribert Schütz	CHRv: A Flexible Query Language.	FQAS	1998	DBLP DOI BibTeX RDF
16	Wenjin Lu, Ulrich Furbach	Disjunctive Logic Program = Horn Program + Control Program.	JELIA	1998	DBLP DOI BibTeX RDF
16	Pavel Vanousek	Automated Theorem Proving in a Combination of Theories with Disjoint Signatures.	SOFSEM	1998	DBLP DOI BibTeX RDF
16	Wim Vanhoof, Danny De Schreye, Bern Martens	Bottom-Up Specialisation of Logic Programs.	LOPSTR	1998	DBLP DOI BibTeX RDF
16	Zbigniew Stachniak	Non-clausal Reasoning with Propositional Definite Theories.	AISC	1998	DBLP DOI BibTeX RDF
16	Matteo Baldoni, Laura Giordano 0001, Alberto Martelli	Translating a Modal Language with Embedded Implication into Horn Clause Logic.	ELP	1996	DBLP DOI BibTeX RDF	Multimodal Logic, Embedded Implication, Translation
16	Paolo Ciancarini, Daniela Fogli, Mauro Gaspari	A Logic Language based on GAMMA-like Multiset Rewriting.	ELP	1996	DBLP DOI BibTeX RDF
16	John Darlington, Yike Guo	Constraint Logic Programming in the Sequent Calculus.	LPAR	1994	DBLP DOI BibTeX RDF
16	Jukka Paakki	Multi-Pass Execution of Functional Logic Programs.	POPL	1994	DBLP DOI BibTeX RDF
16	Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone	Extending Horn Clause Theories by Reflection Principles.	JELIA	1994	DBLP DOI BibTeX RDF
16	Manfred Meyer, Jörg P. Müller	Finite Domain Consistency Techniques: Their Combination and Application in Computer-Aided Process Planning.	ISMIS	1993	DBLP DOI BibTeX RDF
16	Allen L. Brown Jr., Surya Mantha, Toshiro Wakayama	A Logical Reconstruction of Constraint Relaxation Hierarchies in Logic Programming.	ISMIS	1993	DBLP DOI BibTeX RDF
16	Alberto Momigliano, Mario Ornaghi	Regular Search Spaces as a Foundation of Logic Programming.	ELP	1993	DBLP DOI BibTeX RDF
16	Håkan Millroth	Reform Compilation for Nonlinear Recursion.	LPAR	1992	DBLP DOI BibTeX RDF
16	Heinrich Herre, David Pearce 0001	Disjunctive Logic Programming, Constructivity and Strong Negation.	JELIA	1992	DBLP DOI BibTeX RDF
16	Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi	Embedding Finite Sets in a Logic Programming Language.	ELP	1992	DBLP DOI BibTeX RDF
16	Martin Aronsson	Implementational Issues in GCLA: A-Sufficiency and Definiens Operation.	ELP	1992	DBLP DOI BibTeX RDF
16	Roland Dietrich, Hendrik C. R. Lock	Exploiting Non-Determinism through Laziness in Guarded Functional Languages.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
16	Tomasz Imielinski, Shamim A. Naqvi, Kumar V. Vadaparty	Querying Design and Planning Databases.	DOOD	1991	DBLP DOI BibTeX RDF
16	Li Lei, Georges-Henri Moll, Jacques Kouloumdjian	A Deductive Database Architecture Based on Partial Evaluation.	SIGMOD Rec.	1990	DBLP DOI BibTeX RDF
16	Gopalan Nadathur, Dale Miller 0001	Higher-Order Horn Clauses	J. ACM	1990	DBLP DOI BibTeX RDF
16	Françoise Debart, Patrice Enjalbert, Madeleine Lescot	Multi-Modal Logic Programming using Equational and Order-Sorted Logic.	ALP	1990	DBLP DOI BibTeX RDF	Order-sorted Logic, Equationnal Methods, E-Resolution, Logic Programming, Modal Logic, Unification
16	Paul Tarau, Michel Boyer	Elementary Logic Programs.	PLILP	1990	DBLP DOI BibTeX RDF	logic program transformations, binary programs, fair evaluation, unfolding, metaprograms, OR-parallelism
16	Andy Mück	Compilation of Narrowing.	PLILP	1990	DBLP DOI BibTeX RDF
16	Ulf Nilsson	Systematic Semantic Approximations of Logic Programs.	PLILP	1990	DBLP DOI BibTeX RDF