The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "J. Log. Program."( http://dblp.L3S.de/Venues/J._Log._Program. )

URL (DBLP): http://dblp.uni-trier.de/db/journals/jlp

Publication years (Num. hits)
1984 (19) 1985 (18) 1986 (18) 1987 (19) 1988-1989 (35) 1990 (28) 1991 (28) 1992 (44) 1993 (39) 1994 (32) 1995 (32) 1996 (41) 1997 (39) 1998 (33) 1999 (41) 2000 (36)
Publication types (Num. hits)
article(502)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 502 publication records. Showing 502 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen Erratum to: "Conjunctive Partial Deduction: Foundations, Control, Algorithms and Experiments". Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Salvatore Ruggieri Decidability of logic program semantics and applications to testing. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Andy King Pair-sharing over rational trees. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Grigoris Antoniou, Michael J. Maher, David Billington Defeasible Logic versus Logic Programming without Negation as Failure. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Oliver M. Duschka, Michael R. Genesereth, Alon Y. Levy Recursive Query Plans for Data Integration. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Rachel Ben-Eliyahu-Zohary, Luigi Palopoli, Victoria Zemlyanker More on tractable disjunctive Datalog. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Michael Codish, Vitaly Lagoon, Francisco Bueno An Algebraic Approach to Sharing Analysis of Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Sofie Verbaeten, Marc Denecker, Danny De Schreye Compositionality of Normal Open Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Michael Codish, Kim Marriott, Cohavit Taboch Improving Program Analyses, by Structure Untupling. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Elisa Bertino, Barbara Catania, Vincenzo Gervasi, Alessandra Raffaetà A Logical Approach to Cooperative Information Systems. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Antonis C. Kakas, A. Michael, Costas Mourlas ACLP: Abductive Constraint Logic Programming. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Kewen Wang Argumentation-based abduction in disjunctive logic programming. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Noboru Iwayama, Ken Satoh Computing abduction by using TMS with top-down expectation. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Chiaki Sakama, Katsumi Inoue Abductive logic programming and disjunctive logic programming: their relationship and transferability. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Helmut Seidl, Christian Fecht Interprocedural Analyses: A Comparison. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Antonis C. Kakas Special issue: abductive logic programming. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Raghu Ramakrishnan, V. S. Subrahmanian Guest Editor's Introduction: Logic-based Heterogeneous Information Systems. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Fausto Spoto Operational and Goal-Independent Denotational Semantics for Prolog with Cut. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Konstantinos Sagonas, Terrance Swift, David Scott Warren An abstract machine for efficiently computing queries to well-founded models. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski Dynamic updates of non-monotonic knowledge bases. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Jianyang Zhou Introduction to the constraint language NCL. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Mireille Ducassé, Jacques Noyé Tracing Prolog Programs by Source Instrumentation is Efficient Enough. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Viswanath Ramachandran, Pascal Van Hentenryck, Agostino Cortesi Abstract Domains for Reordering CLP(RLin) Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Fernando M. A. Silva, Paul Watson 0001 Or-Parallel Prolog on a Distributed Memory Architecture. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Andy Heaton, Muhamed Abo-Zaed, Michael Codish, Andy King A simple polynomial groundness analysis for logic programs. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Vasilis Vassalos, Yannis Papakonstantinou Expressive Capabilities Description Languages and Query Rewriting Algorithms. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Jürgen Dix, V. S. Subrahmanian, George Pick Meta-agent programs. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1David Poole 0001 Abducing through negation as failure: stable models within the independent choice logic. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Moreno Falaschi, Patrick Hicks, William H. Winsborough Demand Transformation Analysis for Concurrent Constraint Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay, Laura Giordano 0001, Alberto Martelli, Nicola Olivetti, Maria Luisa Sapino Conditional reasoning in logic programming. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Bharat Jayaraman, Kyonghee Moon Subset Logic Programs and Their Implementation. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Murray Shanahan An abductive event calculus planner. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Domenico Aquilino, Patrizia Asirelli, A. Formuso, Chiara Renso, Franco Turini Using MedLan to Integrate Geographical Data. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Sibylla Priess-Crampe, Paulo Ribenboim Ultrametric Spaces and Logic Programming. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Alex Dekhtyar, V. S. Subrahmanian Hybrid Probabilistic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Jia-Huai You, Li-Yan Yuan, Randy Goebel An abductive approach to disjunctive logic programming. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Paul Tarau, Koenraad De Bosschere, Verónica Dahl, Stephen Rochefort LogiMOO: An Extensible Multi-user Virtual World with Natural Language Control. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Pawel Cholewinski, Miroslaw Truszczynski Extremal Problems in Logic Programming and Stable Model Computation. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Catherine Belleannée, Pascal Brisset, Olivier Ridoux A Pragmatic Reconstruction of lambda-Prolog. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund Steadfast Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Russell Greiner The Complexity of Revising Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Julie Yu-Chih Liu, Leroy Adams, Weidong Chen 0005 Constructive Negation Under the Well-Founded Semantics. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Mireille Ducassé Opium: An Extendable Trace Analyzer for Prolog. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Michael Codish Efficient Goal Directed Bottom-Up Evaluation of Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Pierre Flener, Serap Yilmaz Inductive Synthesis of Recursive Logic Programs: Achievements and Prospects. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Sandro Etalle, Annalisa Bossi, Nicoletta Cocco Termination of Well-Moded Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Joeri Engelfriet, Heinrich Herre Stable Generated Models, Partial Temporal Logic and Disjunctive Defaults. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Stephen Muggleton, David Page Guest Editors' Introduction: Inductive Logic Programming. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti Synthesis and Transformation of Logic Programs Using Unfold/Fold Proofs. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Michael Codish Worst-Case Groundness Analysis Using Positive Boolean Functions. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Bharat Jayaraman, Jana Devashis Set Constructors, Finite Sets, and Logical Semantics. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Sandro Etalle, Maurizio Gabbrielli Layered Modes. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Agostino Cortesi, Gilberto Filé Sharing is Optimal. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Ashwin Srinivasan, Rui Camacho Numerical Reasoning with an ILP System Capable of Lazy Evaluation and Customised Search. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Evelina Lamma, Michela Milano, Paola Mello Reasoning on Constraints in CLP(FD). Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Dino Pedreschi, Salvatore Ruggieri Verification of Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Iliano Cervesato, Angelo Montanari A General Modal Framework for the Event Calculus and Its Skeptical and Credulous Variants. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Kerry L. Taylor Generalization by Absorption of Definite Clauses. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Christos H. Papadimitriou, Martha Sideri On the Floyd-Warshall Algorithm for Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Anke D. Rieger Optimizing General Chain Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1David Pearce 0001 Stable Inference as Intuitionistic Validity. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Germán Puebla, Manuel V. Hermenegildo Abstract Multiple Specialization and Its Application to Program Parallelization. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Peter A. Bigot, Saumya K. Debray Return Value Placement and Tail Call Optimization in High Level Languages. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Nada Lavrac, Dragan Gamberger, Viktor Jovanoski A Study of Relevance for Learning in Deductive Databases. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Birgit Elbl A Declarative Semantics for Depth-First Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Juan Carlos González Moreno, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo An Approach to Declarative Programming Based on a Rewriting Logic. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren Efficient Access Mechanisms for Tabled Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Michael Codish, Cohavit Taboch A Semantic Basis for the Termination Analysis of Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Kalyan Muthukumar, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo Automatic Compile-Time Parallelization of Logic Programs for Restricted, Goal Level, Independent and Parallelism. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello Abstract Diagnosis. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Elena Marchiori, Frank Teusink Termination of Logic Programs with Delay Declarations. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Henrik Boström, Peter Idestam-Almquist Induction of Logic Programs by Example-Guided Unfolding. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Annalisa Bossi, Yves Deville Guest Editors' Introduction Special Issue: Synthesis, Transformation and Analysis of Logic Rrograms 2. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi Automated Verification of Prolog Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Paqui Lucio, Fernando Orejas, Elvira Pino An Algebraic Framework for the Definition of Compositional Semantics of Normal Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Stefan Brass, Jürgen Dix Semantics of (disjunctive) Logic Programs Based on Partial Evaluation. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Lunjin Lu Polymorphic Type Analysis in Logic Programs by Abstract Intepretation. Search on Bibsonomy J. Log. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Jürgen Dix, Frieder Stolzenburg A Framework to Incorporate Non-Monotonic Reasoning Into Constraint Logic Programming. Search on Bibsonomy J. Log. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Richard Hull 0001, Jianwen Su Deductive Query Languages for Recursively Typed Complex Objects. Search on Bibsonomy J. Log. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Michael J. Maher, Kim Marriott, Peter J. Stuckey The Semantics of Constraint Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Danny De Schreye SLDNFA: An Abductive Procedure for Abductive Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar Transformational Methodology for Proving Termination of Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Fosca Giannotti, Dino Pedreschi Datalog with Non-Deterministic Choice Computers NDB-PTIME. Search on Bibsonomy J. Log. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Chitta Baral, Michael Gelfond, Olga Kosheleva Expanding Queries to Incomplete Databases by Interpolating General Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Bo-Ming Tong, Ho-fung Leung Data-Parallel Concurrent Constraint Programming. Search on Bibsonomy J. Log. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Alexander Bochman A Logical Foundation for Logic Programming II: Semantics of General Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Henning Christiansen 0001 Automated Reasoning with a Constraint-Based Metainterpreter. Search on Bibsonomy J. Log. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1David Toman, Jan Chomicki Datalog with Integer Periodicity Constraints. Search on Bibsonomy J. Log. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Xining Li A New Term Representation Method for Prolog. Search on Bibsonomy J. Log. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Nirad Sharma, Robert M. Colomb Mechanising Shared Configuration and Diagnosis Theories Through Constraint Logic Programming. Search on Bibsonomy J. Log. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Olivier Lhomme, Arnaud Gotlieb, Michel Rueher Dynamic Optimization of Interval Narrowing Algorithms. Search on Bibsonomy J. Log. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Katsumi Inoue, Chiaki Sakama Negation as Failure in the Head. Search on Bibsonomy J. Log. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1David A. Rosenblueth, Julio C. Peralta SLR Inference an Inference System for Fixed-Mode Logic Programs Based on SLR Parsing. Search on Bibsonomy J. Log. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Nicola Olivetti Combining Negation as Failure and Embedded Implications in Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Thom W. Frühwirth Theory and Practice of Constraint Handling Rules. Search on Bibsonomy J. Log. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Ilyas Cicekli Abstract Metaprolog Engine. Search on Bibsonomy J. Log. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Michael Meskes Subsumption-Stratified Datalog. Search on Bibsonomy J. Log. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Mengchi Liu Relationlog: A Typed Extension to Datalog with Sets and Tuples. Search on Bibsonomy J. Log. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Michael Leuschel, Danny De Schreye Creating Specialised Integrity Checks Through Partial Evaluation of Meta-Interpreters. Search on Bibsonomy J. Log. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 502 (100 per page; Change: )
Pages: [1][2][3][4][5][6][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license