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 (529) 1994 (565) 1995 (372) 1996 (310) 1997 (381) 1998 (272) 1999 (364) 2000 (273) 2001 (340) 2002 (311) 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 (126)
Publication types (Num. hits)
article(1467) book(50) incollection(169) inproceedings(8259) phdthesis(83) proceedings(227)
Venues (Conferences, Journals, ...)
ICLP(1139) LPNMR(603) ILP(512) ILPS(249) ICLP (Technical Communications...(223) FLOPS(221) PLILP(221) CoRR(196) LPAR(171) LOPSTR(149) SLP(145) ALP(128) NACLP(120) JICSLP(116) WLP(106) ICLP/SLP(104) More (+10 of total 1178)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3490 occurrences of 1345 keywords

Results
Found 10255 publication records. Showing 10255 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
65Chris 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
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 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
61Richard 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
60Thomas 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
60Peter 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
55Jack 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
54Luc De Raedt Statistical Relational Learning: An Inductive Logic Programming Perspective. Search on Bibsonomy PKDD The full citation details ... 2005 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
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
51Luigia 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
51Mark Wallace 0001 Constraint Logic Programming. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
51Marc 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
51Saumya 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
51Grzegorz 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
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
50Andrei Voronkov Logic Programming with Bounded Quantifiers. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
50Gopal 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
49Andrew 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
49Luc 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
49Luc De Raedt, Kristian Kersting Probabilistic Inductive Logic Programming. 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
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
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
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
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
45Dale Miller 0001 Abstract Syntax and Logic Programming. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
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
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 Logic Programming Updating - A Guided Approach. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
44Robert A. Kowalski Directions for Logic Programming. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
44Marc 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
44Carlos 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
44Leon Sterling Patterns for Prolog Programming. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
44David M. W. Powers Logic Programming with Pseudo-Resolution. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
44José 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
44Kazunori 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
43Rob 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
43Paolo 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
43Uday 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
43Michael Gelfond Representing Knowledge in A-Prolog. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
42Uday 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
42Antonio Brogi, Evelina Lamma, Paola Mello Objects in a Logic Programming Framework. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
42Ví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
42Evan 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
42Micha Meier Better Late Than Never. Search on Bibsonomy ICLP-Workshops on Implementation of Logic Programming Systems The full citation details ... 1993 DBLP  BibTeX  RDF
42Zsuzsa 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
42Damian 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
42Jacques 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
42Fernando 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
42Andy 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
42Jim 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
42Enrico 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
42Giancarlo 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
42Michele 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
42Kish 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
42Evan 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
42Saumya 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
42Bogumil 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
42Michè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
42Thom 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
42Robert A. Kowalski Theory and Practice in Logic Programming. Search on Bibsonomy Logic Programming Summer School The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
42AbdelAli 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
42Patrick 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
42Manny 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
42Toshiyuki 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
42Seiki 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
42Henri 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
42Robin 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
41Robert 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
41Susana 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
41Phan 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
41Veró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
41Stefania Costantini Meta-reasoning: A Survey. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
40Dale Miller 0001 Specifications Using Multiple-Conclusion Logic Programs. Search on Bibsonomy PLILP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
40Regimantas Pliuskevicius Logical Foundation for Logic Programming Based on First Order Linear Temporal Logic. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
39Brá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
39Thomas 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
39James 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
39Cé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)
39Hamish 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
39Manfred Meyer, Hans-Günther Hein, Jörg P. Müller FIDO: Finite Domain Consistency Techniques in Logic Programming. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
38Salvador Abreu, Daniel Diaz Objective: In Minimum Context. Search on Bibsonomy ICLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
38José 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
38Howard A. Blair, Fred Dushin, David W. Jakel, Angel J. Rivera, Metin Sezgin Continuous Models of Computation for Logic Programs: Importing Continuous Mathematics into Logic Programming's Algorithmic Foundations. Search on Bibsonomy The Logic Programming Paradigm The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
37Kiyoshi 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
37Susana 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
37José Meseguer Multiparadigm Logic Programming. Search on Bibsonomy ALP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
37P. A. Subrahmanyam, Jia-Huai You FUNLOG: A Computational Model Integrating Logic Programming and Functional Programming. Search on Bibsonomy Logic Programming: Functions, Relations, and Equations The full citation details ... 1986 DBLP  BibTeX  RDF
37Mario 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
37Jesú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
37Paul 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
37Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta Coinductive Logic Programming. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Jun'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
37Kristian 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
37Jon. Hallett Formulating Update Messages. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Smalltalk
36Pierre 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 10255 (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