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 (49) 1983-1984 (140) 1985 (79) 1986 (182) 1987 (230) 1988 (303) 1989 (233) 1990 (333) 1991 (419) 1992 (436) 1993 (528) 1994 (565) 1995 (372) 1996 (310) 1997 (381) 1998 (272) 1999 (364) 2000 (273) 2001 (340) 2002 (310) 2003 (275) 2004 (394) 2005 (366) 2006 (338) 2007 (343) 2008 (338) 2009 (330) 2010 (199) 2011 (271) 2012 (162) 2013 (163) 2014 (122) 2015 (218) 2016 (142) 2017 (176) 2018 (171) 2019 (67)
Publication types (Num. hits)
article(1460) book(50) incollection(155) inproceedings(8221) phdthesis(82) proceedings(226)
Venues (Conferences, Journals, ...)
ICLP(1139) LPNMR(603) ILP(512) ILPS(249) ICLP (Technical Communications...(223) FLOPS(221) PLILP(221) CoRR(193) LPAR(171) LOPSTR(149) SLP(145) ALP(128) NACLP(120) JICSLP(116) WLP(106) ICLP/SLP(104) More (+10 of total 1169)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3490 occurrences of 1345 keywords

Results
Found 10194 publication records. Showing 10194 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
80Chris Hankin, Hanne Riis Nielson, Jens Palsberg Position Statements on Strategic Directions for Research on Programming Languages. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
75Richard Kelsey, William D. Clinger, Jonathan Rees Revised5 Report on the Algorithmic Language Scheme. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1998 DBLP  DOI  BibTeX  RDF SCHEME
69Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov Complexity and Expressive Power of Logic Programming. Search on Bibsonomy IEEE Conference on Computational Complexity The full citation details ... 1997 DBLP  DOI  BibTeX  RDF computational complexity, Logic programming, resolution, constraint logic programming, unification, expressive power
67Franç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
67Thomas 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
63Luc De Raedt Statistical Relational Learning: An Inductive Logic Programming Perspective. Search on Bibsonomy PKDD The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
60Evgeny 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
58Peter 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
56Paul 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
55Carlos 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
54Jack 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
52Susana 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
52Susana 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
52Thomas 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
51Franç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
51Luc 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
51Luc 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
50Andrei Voronkov Logic Programming with Bounded Quantifiers. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
50Luc De Raedt, Kristian Kersting Probabilistic Inductive Logic Programming. Search on Bibsonomy Probabilistic Inductive Logic Programming The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
50Marc Denecker, Maurice Bruynooghe, V. Wiktor Marek Logic programming revisited: Logic programs as inductive definitions. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF epistemological foundations, inductive definitions
50Mark Wallace 0001 Constraint Logic Programming. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
50Luigia 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
50Marc 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
49Mutsunori 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
48Gopal Gupta, 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
47Andrew 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
47Luc 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
47Grzegorz 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
47Saumya 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
47Franç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
46Carlos Iván Chesñevar, Guillermo Ricardo Simari, Lluis Godo Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Dialectical Reasoning, Logic Programming, Defeasible Argumentation
45José Miguel Cleva, Javier Leach, Francisco Javier López-Fraguas A logic programming approach to the verification of functional-logic programs. Search on Bibsonomy PPDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF verification, logic programming, functional logic programming
45José Hernández-Orallo, M. José Ramírez-Quintana A Strong Complete Schmema for Inductive Functional Logic Programming. Search on Bibsonomy ILP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Function Invention, Induction of Auxiliary Functions, Inverse Narrowing, Inductive Logic Programming, Narrowing, Functional Logic Programming
45Jon. Hallett Formulating Update Messages. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Smalltalk
45Dale Miller 0001 Abstract Syntax and Logic Programming. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
45Dale Miller 0001 Specifications Using Multiple-Conclusion Logic Programs. Search on Bibsonomy PLILP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
45Uday S. Reddy A Typed Foundation for Directional Logic Programming. Search on Bibsonomy ELP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Directionality, types, linear logic, sequent calculus, modes, concurrent logic programming, Curry-Howard isomorphism, logic variables
44Uday S. Reddy Higher-order Aspects of Logic Programming. Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Higher-order features, semantics, functional programming, types, lambda calculus, concurrent logic programming, logic variables
44Susana Muñoz-Hernández, Juan José Moreno-Navarro, Manuel V. Hermenegildo Efficient Negation Using Abstract Interpretation. Search on Bibsonomy LPAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Implementations of Logic Programming, Program Analysis, Abstract Interpretation, Constraint Logic Programming, Negation in Logic Programming
44Salvador Abreu, Daniel Diaz Objective: In Minimum Context. Search on Bibsonomy ICLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
44Keith 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
44José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski LUPS - A Language for Updating Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
43Leon Sterling Patterns for Prolog Programming. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
43David M. W. Powers Logic Programming with Pseudo-Resolution. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
43Kazunori 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
43Robert A. Kowalski, Fariba Sadri Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents. Search on Bibsonomy RR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Abductive logic programming, agents, Integrity constraints, Production systems
42Rob 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
42Paolo 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
41Michael Gelfond Representing Knowledge in A-Prolog. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
41Ví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
41Bráulio Coelho Ávila, Jair Minoro Abe, José Pacheco de Almeida Prado ParaLog_e: A Paraconsistent Evidential Logic Programming Language. Search on Bibsonomy SCCC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Paralog e, paraconsistent evidential logic programming language, reasoning automation, formal theories, conflicting beliefs, contradictory information, paraconsistent logic, logic programming languages, inconsistency handling
41Robert A. Kowalski Directions for Logic Programming. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
41José 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
41César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana Incremental Learning of Functional Logic Programs. Search on Bibsonomy FLOPS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Inductive functional logic programming (IFLP), incremental learning, theory revision, inductive logic programming (ILP)
41Hamish Taylor A Lingua Franca For Concurrent Logic Programming. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF concurrent logic programming languages, nonflat guards, GHC, clean semantics, control facilities, lingua franca, execution conditions, parallel programming, logic programming, parallel languages, language translation, Parlog
41Antonio Brogi, Evelina Lamma, Paola Mello Objects in a Logic Programming Framework. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
41Krzysztof R. Apt, Antonis C. Kakas, Fariba Sadri Editorial. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
40Marc Denecker, Eugenia Ternovska A logic of nonmonotone inductive definitions. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF logic programming, classical logic, Inductive definitions
40José Meseguer Multiparadigm Logic Programming. Search on Bibsonomy ALP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
40Mario Rodríguez-Artalejo Functional and Constraint Logic Programming. Search on Bibsonomy CCL The full citation details ... 1999 DBLP  BibTeX  RDF
40Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta Coinductive Logic Programming. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Jun'ichi Tatemura, Hidehiko Tanaka Debugger for a Parallel Logic Programming Language Fleng. Search on Bibsonomy LP The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
40Veró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
40Phan 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
40Stefania Costantini Meta-reasoning: A Survey. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
39Susana Muñoz-Hernández, Julio Mariño, Juan José Moreno-Navarro Constructive Intensional Negation. Search on Bibsonomy FLOPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Logic Programming Implementation, Program Transformation, Constraint Logic Programming, Negation, Constructive Negation
39Carlos Viegas Damásio, Luís Moniz Pereira Antitonic Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
39Michè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
39Evan 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
39Jacques 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
39Fernando 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
39Zsuzsa 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
39Enrico 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
39Andy 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
39Kish 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
39Michele 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
39Damian 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
39Jim 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
39Micha Meier Better Late Than Never. Search on Bibsonomy ICLP-Workshops on Implementation of Logic Programming Systems The full citation details ... 1993 DBLP  BibTeX  RDF
39Evan 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
39Giancarlo 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
39Bogumil 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
39Saumya 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
39Robert A. Kowalski Theory and Practice in Logic Programming. Search on Bibsonomy Logic Programming Summer School The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
39AbdelAli 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
39Thom W. Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost, Pierre Lim, Eric 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
39Patrick 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
39Henri 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
39Toshiyuki 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
39Robin 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
39Seiki 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
39Manny 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
39Paul Tarau, Verónica Dahl, Koenraad De Bosschere A Logic Programming Infrastructure for Remote Execution, Mobile Code and Agents. Search on Bibsonomy WETICE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF BinProlog, intuitionistic implication, strong metaprogramming, high-order call/N, filtering interactors, security, agents, logic programming, logic programming, mobile code, remote execution
39Wolfgang Lux Adding Linear Constraints over Real Numbers to Curry. Search on Bibsonomy FLOPS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
38Kiyoshi Shibayama, Masaaki Yamamoto, Hiroaki Hirata, Yasushi Konoh, Takanori Sanetoh, Hiroshi Hagiwara KPR: A Logic Programming Language-Oriented Parallel Machine. Search on Bibsonomy LP The full citation details ... 1987 DBLP  DOI  BibTeX  RDF Parallel Inference Machine, High-Level Language Machine, Parallel Processing, Logic Programming Language
38Anil Nerode, Jeffrey B. Remmel Consistency properties and set based logic programming. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T27, 68T30, 03B70
38Mario 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
38Jesús Manuel Almendros-Jiménez Constraint logic programming over sets of spatial objects. Search on Bibsonomy WCFLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF logic programming, CLP
38Kristian Kersting, Luc De Raedt Basic Principles of Learning Bayesian Logic Programs. Search on Bibsonomy Probabilistic Inductive Logic Programming The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Pierre Deransart, Jan Maluszynski A Grammatical View of Logic Programming. Search on Bibsonomy PLILP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 10194 (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