The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase SLD-resolution (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1984-1989 (16) 1990-1992 (23) 1993-1994 (15) 1995-1998 (16) 1999-2004 (19) 2005-2014 (15) 2017-2022 (6)
Publication types (Num. hits)
article(21) incollection(1) inproceedings(88)
Venues (Conferences, Journals, ...)
ELP(9) PLILP(8) JELIA(7) ICLP(6) CoRR(5) LPAR(4) ALP(3) CSL(3) ISMIS(3) LOPSTR(3) FLOPS(2) ICCS(2) J. ACM(2) J. Autom. Reason.(2) J. Log. Program.(2) JFPLC(2) More (+10 of total 62)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 48 occurrences of 36 keywords

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