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 |
|