The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase logic programming (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1966-1982 (50) 1983 (56) 1984 (129) 1985 (79) 1986 (189) 1987 (231) 1988 (305) 1989 (232) 1990 (333) 1991 (420) 1992 (437) 1993 (530) 1994 (568) 1995 (370) 1996 (307) 1997 (374) 1998 (267) 1999 (383) 2000 (267) 2001 (330) 2002 (307) 2003 (272) 2004 (401) 2005 (368) 2006 (338) 2007 (343) 2008 (339) 2009 (330) 2010 (200) 2011 (273) 2012 (161) 2013 (164) 2014 (122) 2015 (219) 2016 (142) 2017 (176) 2018 (173) 2019 (148) 2020 (124) 2021 (134) 2022 (154)
Publication types (Num. hits)
article(1487) book(48) incollection(171) inproceedings(8691) phdthesis(102) proceedings(246)
Venues (Conferences, Journals, ...)
ICLP(1139) LPNMR(643) ILP(544) FLOPS(251) ILPS(249) CoRR(244) ICLP (Technical Communications...(223) PLILP(221) LPAR(171) LOPSTR(151) SLP(145) ALP(128) NACLP(120) JICSLP(116) Theory Pract. Log. Program.(107) WLP(106) More (+10 of total 1230)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3483 occurrences of 1345 keywords

Results
Found 10745 publication records. Showing 10745 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
70Peter A. Flach, Nada Lavrac Learning in Clausal Logic: A Perspective on Inductive Logic Programming. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
66Chris Hankin, Hanne Riis Nielson, Jens Palsberg Position Statements on Strategic Directions for Research on Programming Languages. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
65Jack Minker, Dietmar Seipel Disjunctive Logic Programming: A Survey and Assessment. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
63Richard Kelsey, William D. Clinger, Jonathan Rees Revised5 Report on the Algorithmic Language Scheme. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1998 DBLP  DOI  BibTeX  RDF SCHEME
62Franç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
62Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov Complexity and Expressive Power of Logic Programming. Search on Bibsonomy Computational Complexity Conference The full citation details ... 1997 DBLP  DOI  BibTeX  RDF computational complexity, Logic programming, resolution, constraint logic programming, unification, expressive power
61Luigia Carlucci Aiello, Fabio Massacci Planning Attacks to Security Protocols: Case Studies in Logic Programming. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
61Mark Wallace 0001 Constraint Logic Programming. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
61Marc Denecker, Antonis C. Kakas Abduction in Logic Programming. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
61Thomas Lukasiewicz Probabilistic logic programming with conditional constraints. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF conditional constraint, quantitative deduction, computational complexity, logic programming, probability, uncertainty, many-valued logic, probabilistic reasoning, probabilistic logic, probabilistic logic programming
60Gopal Gupta 0001, Enrico Pontelli Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
59Andrew Davison Logic Programming Languages for the Internet. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
59Luc De Raedt Data Mining as Constraint Logic Programming. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
56Saumya K. Debray Implementing Logic Programming Systems: The Quiche-Eating Approach. Search on Bibsonomy ICLP-Workshops on Implementation of Logic Programming Systems The full citation details ... 1993 DBLP  BibTeX  RDF
56Grzegorz Czajkowski, Krzysztof Zielinski How Concurrent Logic Programming Could Benefit from Using Linda-like Operations. Search on Bibsonomy ICLP-Workshops on Implementation of Logic Programming Systems The full citation details ... 1993 DBLP  BibTeX  RDF
55Luc De Raedt, Kristian Kersting Probabilistic Inductive Logic Programming. Search on Bibsonomy Probabilistic Inductive Logic Programming The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
55Luc De Raedt Statistical Relational Learning: An Inductive Logic Programming Perspective. Search on Bibsonomy PKDD The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
55Keith L. Clark, Peter J. Robinson 0001 Agents as Multi-threaded Logical Objects. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
54Leon Sterling Patterns for Prolog Programming. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
54José Júlio Alferes, Luís Moniz Pereira Logic Programming Updating - A Guided Approach. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
54Robert A. Kowalski Directions for Logic Programming. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
54Kazunori Ueda A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
53Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov Complexity and expressive power of logic programming. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Complexity, logic programming, query languages, datalog, expressive power, nonmonotonic logic
53Rob Miller 0002, Murray Shanahan Some Alternative Formulations of the Event Calculus. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
53Paolo Baldan, Paolo Mancarella, Alessandra Raffaetà, Franco Turini MuTACLP: A Language for Temporal Reasoning with Multiple Theories. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
53Michael Gelfond Representing Knowledge in A-Prolog. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
52Paul Tarau, Verónica Dahl Towards a Logic Programming Infrastructure for Internet Programming. Search on Bibsonomy Artificial Intelligence Today The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Logic Programming and Internet technologies, first order continuations, Linda coordination, blackboard based logic programming, mobile computations, mobile code, metaprogramming, remote execution, controlled natural language, intelligent mobile agents
51Phan Minh Dung, Paolo Mancarella, Francesca Toni Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
51Verónica Dahl On Implicit Meanings. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF elision, parallel structures, datalog grammars, bottom-up parsing, left-corner parsing, chart parsing, linear affine implication, prediction, coordination, logic grammars, hypothetical reasoning
51Stefania Costantini Meta-reasoning: A Survey. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
50Susana Muñoz-Hernández, Juan José Moreno-Navarro Implementation Results in Classical Constructive Negation. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Implementations of Logic Programming, Optimization, Constraint Logic Programming, Constructive Negation, Negation in Logic Programming
50Susana Muñoz-Hernández, Juan José Moreno-Navarro A Real Implementation for Constructive Negation. Search on Bibsonomy ICLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Implementations of Logic Programming, Constraint Logic Programming, Constructive Negation, Negation in Logic Programming
49Thomas Sjöland, Per Kreuger, Martin Aronsson Heterogeneous Scheduling and Rotation. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
49James Cussens Issues in Learning Language in Logic. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
49Andrei Voronkov Logic Programming with Bounded Quantifiers. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
48Vítor Santos Costa, David Page, James Cussens CLP(BN): Constraint Logic Programming for Probabilistic Knowledge. Search on Bibsonomy Probabilistic Inductive Logic Programming The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
48Luc De Raedt Probabilistic Logic Learning - A Tutorial Abstract. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF probabilistic logic learning, logic and learning, logic programming, inductive logic programming, statistical relational learning
47Carlos Viegas Damásio, Luís Moniz Pereira Monotonic and Residuated Logic Programs. Search on Bibsonomy ECSQARU The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Logic Programming, Many-valued logics, Possibilistic Logic
47Lígia Ferreira, Salvador Abreu A Constraint Logic Programming Framwork in Java. Search on Bibsonomy Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
47Mutsunori Banbara, Naoyuki Tamura Translating a Linear Logic Programming Language into Java. Search on Bibsonomy Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
47Kyoung-Sun Kang, Naoyuki Tamura A Static Analysis Method for a Classical Linear Logic Programming Language. Search on Bibsonomy Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
47Michèle Sebag, Céline Rouveirol Polynomial-Time Learning in Logic Programming and Constraint Logic Programming. Search on Bibsonomy Inductive Logic Programming Workshop The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
47Evan Tick, Giancarlo Succi (eds.) Implementations of Logic Programming Systems: Papers from the ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems - Concurrent, Distributed, and Parallel Implementations of Logic Programming Systems Search on Bibsonomy ICLP-Workshops on Implementation of Logic Programming Systems The full citation details ... 1994 DBLP  BibTeX  RDF
47Micha Meier Better Late Than Never. Search on Bibsonomy ICLP-Workshops on Implementation of Logic Programming Systems The full citation details ... 1993 DBLP  BibTeX  RDF
47Zsuzsa Farkas, Péter Köves, Péter Szeredi MProlog: an Implementation Overview. Search on Bibsonomy ICLP-Workshops on Implementation of Logic Programming Systems The full citation details ... 1993 DBLP  BibTeX  RDF
47Damian Chu I.C. Prolog II: a Multi-threaded Prolog System. Search on Bibsonomy ICLP-Workshops on Implementation of Logic Programming Systems The full citation details ... 1993 DBLP  BibTeX  RDF
47Jacques Noyé To Trim or Not to Trim? Search on Bibsonomy ICLP-Workshops on Implementation of Logic Programming Systems The full citation details ... 1993 DBLP  BibTeX  RDF
47Fernando M. A. Silva Or-Parallel Prolog on Distributed Shared-Memory Architectures. Search on Bibsonomy ICLP-Workshops on Implementation of Logic Programming Systems The full citation details ... 1993 DBLP  BibTeX  RDF
47Andy King A Framework for Sharing Analysis. Search on Bibsonomy ICLP-Workshops on Implementation of Logic Programming Systems The full citation details ... 1993 DBLP  BibTeX  RDF
47Jim A. Crammond, Tim Lindholm Memory Management in Quintus Prolog. Search on Bibsonomy ICLP-Workshops on Implementation of Logic Programming Systems The full citation details ... 1993 DBLP  BibTeX  RDF
47Enrico Denti, Antonio Natali, Andrea Omicini Moving Prolog Toward Objects. Search on Bibsonomy ICLP-Workshops on Implementation of Logic Programming Systems The full citation details ... 1993 DBLP  BibTeX  RDF
47Giancarlo Succi, Giuseppe Marino, Cristina Dondina, Angelo Bergamini Implementing Sets with Hash Tabels in Declarative Languages. Search on Bibsonomy ICLP-Workshops on Implementation of Logic Programming Systems The full citation details ... 1993 DBLP  BibTeX  RDF
47Michele Bugliesi, Giuseppe Nardiello SelfLog: Language and Implementation. Search on Bibsonomy ICLP-Workshops on Implementation of Logic Programming Systems The full citation details ... 1993 DBLP  BibTeX  RDF
47Kish Shen, Manuel V. Hermenegildo Divided We Stand: Parallel Distributed Stack Memory Management. Search on Bibsonomy ICLP-Workshops on Implementation of Logic Programming Systems The full citation details ... 1993 DBLP  BibTeX  RDF
47Evan Tick, Barton C. Massey, Ferenc Rakoczi, Putthi Tulayathun Concurrent Logic Programs a la Mode. Search on Bibsonomy ICLP-Workshops on Implementation of Logic Programming Systems The full citation details ... 1993 DBLP  BibTeX  RDF
47Saumya K. Debray, Koenraad De Bosschere, David Gudeman Call Forwarding: A Simple Low-Level Code Optimization Technique. Search on Bibsonomy ICLP-Workshops on Implementation of Logic Programming Systems The full citation details ... 1993 DBLP  BibTeX  RDF
47Bogumil Hausman Turbo Erlang: Approaching the Speed of C. Search on Bibsonomy ICLP-Workshops on Implementation of Logic Programming Systems The full citation details ... 1993 DBLP  BibTeX  RDF
47Thom W. Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost, Pierre Lim, Éric Monfroy, Mark Wallace 0001 Contraint Logic Programming - An Informal Introduction. Search on Bibsonomy Logic Programming Summer School The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
47Robert A. Kowalski Theory and Practice in Logic Programming. Search on Bibsonomy Logic Programming Summer School The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
47AbdelAli Ed-Dbali, Pierre Deransart Software Formal Specification by Logic Programming: The Example of Standard Prolog. Search on Bibsonomy Logic Programming Summer School The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
47Patrick Saint-Dizier Logic Programming Foundations for Processing Language with Logical Types and Active Constraints. Search on Bibsonomy Natural Language Understanding and Logic Programming Workshop The full citation details ... 1991 DBLP  BibTeX  RDF
47Manny Rayner, Sverker Janson Epistemic Reasoning, Logic Programming and the Interpretation of Questions. Search on Bibsonomy Natural Language Understanding and Logic Programming Workshop The full citation details ... 1987 DBLP  BibTeX  RDF
47Toshiyuki Okunishi, Ryôichi Sugimura, Yuji Matsumoto 0001 Comparison of Logic Programming Based Natural Language Parsing Systems. Search on Bibsonomy Natural Language Understanding and Logic Programming Workshop The full citation details ... 1987 DBLP  BibTeX  RDF
47Seiki Akama, Masahito Kawamori Data Semantics in Logic Programming Framework. Search on Bibsonomy Natural Language Understanding and Logic Programming Workshop The full citation details ... 1987 DBLP  BibTeX  RDF
47Henri Beringer Graphs in Logic Programming for Natural Language Analysis (Conceptual Graphs in Prolog). Search on Bibsonomy Natural Language Understanding and Logic Programming Workshop The full citation details ... 1987 DBLP  BibTeX  RDF
47Robin Cohen, Miguel Filgueiras, Martha Stone Palmer, Patrick Saint-Dizier, Stan Szpakowicz On the Semantics of Natural Language Sentences in Logic Programming (Panel Session). Search on Bibsonomy Natural Language Understanding and Logic Programming Workshop The full citation details ... 1987 DBLP  BibTeX  RDF
47Thomas Lukasiewicz Probabilistic and Truth-Functional Many-Valued Logic Programming. Search on Bibsonomy ISMVL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF many-valued logic programming, logics of probability, truth-functional many-valued logics
46François Fages, Julian Fowler, Thierry Sola Handling Preferences in Constraint Logic Programming with Relational Optimization. Search on Bibsonomy PLILP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF hierarchical constraint logic programming, optimization, preference, constraint logic programming
46Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, Naoyuki Tamura Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
46Luc De Raedt An Inductive Logic Programming Query Language for Database Mining. Search on Bibsonomy AISC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF database mining query language, inductive query language, data mining, inductive logic programming, relational learning
46François Bry Negation in Logic Programming: A Formalization in Constructive Logic. Search on Bibsonomy IS/KI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
45Antonis C. Kakas, Fariba Sadri (eds.) Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I Search on Bibsonomy Computational Logic. Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Antonis C. Kakas, Fariba Sadri (eds.) Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II Search on Bibsonomy Computational Logic. Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45John W. Lloyd Higher-Order Computational Logic. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Paolo Mancarella, Dino Pedreschi, Salvatore Ruggieri Negation as Failure through Abduction: Reasoning about Termination. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Marek J. Sergot Bob Kowalski: A Portrait. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Francesco Buccafurri, Georg Gottlob Multiagent Compromises, Joint Fixpoints, and Stable Models. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Kung-Kiu Lau, Mario Ornaghi Logic for Component-Based Software Development. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Thomas Eiter, Viviana Mascardi, V. S. Subrahmanian Error-Tolerant Agents. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Annalisa Bossi, Nicoletta Cocco, Sandro Etalle Transformation Systems and Nondeclarative Properties. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Pierre Flener Achievements and Prospects of Program Synthesis. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Danny De Schreye, Alexander Serebrenik Acceptability with General Orderings. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF orderings, acceptability, termination analysis
45Maurice Bruynooghe, Luís Moniz Pereira, Jörg H. Siekmann, Maarten H. van Emden A Portrait of a Scientist as a Computational Logician. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Christoph G. Jung, Klaus Fischer 0001 Logic-Based Hybrid Agents. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Alberto Pettorossi, Maurizio Proietti Program Derivation = Rules + Strategies. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Eugenio G. Omodeo, Jacob T. Schwartz A 'Theory' Mechanism for a Proof-Verifier Based on First-Order Set Theory. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Jörg H. Siekmann, Graham Wrightson An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Taisuke Sato, Yoshitaka Kameya Statistical Abduction with Tabulation. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Donald Gillies Logicism and the Development of Computer Science. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Ryuzo Hasegawa, Hiroshi Fujita 0002, Miyuki Koshimura, Yasuyuki Shirai A Model Generation Based Theorem Prover MGTP for First-Order Logic. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Paolo Mascellani, Dino Pedreschi The Declarative Side of Magic. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Alan Bundy A Critique of Proof Planning. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Stathis Psillos Simply the Best: A Case for Abduction. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Katsumi Inoue Automated Abduction. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Chris Mellish DCGs: Parsing as Deduction? Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Sergio Greco, Domenico Saccà Search and Optimization Problems in Datalog. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Carlo Zaniolo Key Constraints and Monotonic Aggregates in Deductive Databases. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini Description Logics for Information Integration. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Krysia Broda A Decidable CLDS for Some Propositional Resource Logics. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Henry Prakken, Giovanni Sartor The Role of Logic in Computational Models of Legal Argument: A Critical Survey. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 10745 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
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