Conferences in DBLP
Carlo Zaniolo Efficient Processing of Declarative Rule-Based Languages for Datebases. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Dorochevsky , Jacques Noyé , Oliver Thibault Has Dedicated Hardware for Prolog a Future? [Citation Graph (0, 0)][DBLP ] Conf ] Chris Moss Commercial Applications of Large Prolog Knowledge Bases. [Citation Graph (1, 0)][DBLP ] Conf ] Gerard Ellis Compiling Conceptual Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Willems Subsumption in Knowledge Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Baader , Bernhard Hollunder A Terminological Knowledge Representation System with Complete Inference Algorithms. [Citation Graph (3, 0)][DBLP ] Conf ] Herbert Jaeger An Introduction to Dynamic Concept Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Maurizio Lenzerini , Andrea Schaerf Querying Concept-based Knowledge Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Artale , Francesca Cesarini , Giovanni Soda Subsumption Computation on an Object-Oriented Data Model. [Citation Graph (1, 0)][DBLP ] Conf ] Nicola Guarino A Concise Presentation of ITL. [Citation Graph (0, 0)][DBLP ] Conf ] Rolf Backofen , Lutz Euler , Günther Görz Distributed Disjunctions for LIFE. [Citation Graph (0, 0)][DBLP ] Conf ] Cristina Ribeiro , António Porto Reasoning with Maximal Time Intervals. [Citation Graph (0, 0)][DBLP ] Conf ] Valentinas Kriauciukas Nonclassical Models for Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Egon Börger , Elvinia Riccobene Logical Operational Semantics of Parlog, Part I: And-Parallelism. [Citation Graph (0, 0)][DBLP ] Conf ] Zdravko Markov A Tool for Building Connectionist-like Networks Based on Term Unification. [Citation Graph (0, 0)][DBLP ] Conf ] Wolf-Fritz Riekert Providing Declarative Access to a Processing System for Satellite Image Data. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Treur Declarative Functionality Descriptions of Interactive Reasoning Modules. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Caseau Rule-Aided Constraint Resolution in LAURE. [Citation Graph (0, 0)][DBLP ] Conf ] Andrei Mantsivoda Flang: A Functional-Logic Language. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre E. Bonzon Processing Functional Definitions as Declarative Knowledge: A Reduced Bytecode Implementation of a Functional Logic Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Andy King , Paul Soper Reducing Scheduling Overheads for Concurrent Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Henry A. Kautz , Bart Selman A General Framework for Knowledge Compilation. [Citation Graph (0, 0)][DBLP ] Conf ] Yannis Cosmadopoulos , Marek J. Sergot , Richard W. Southwick Data-driven Transformation of Meta-interpreters: A Sketch. [Citation Graph (0, 0)][DBLP ] Conf ] Maurice Bruynooghe , Veroniek Dumortier , Gerda Janssens Improving the Efficiency of Constraint Logic Programming Languages by Deriving Specialized Versions. [Citation Graph (0, 0)][DBLP ] Conf ] Yaoqing Gao , Dingxing Wang , Qiu Xiaolin , Zhiyi Hwang , Shouren Hu Parallelizing Prolog on Shared-Memory Multiprocessors. [Citation Graph (0, 0)][DBLP ] Conf ] Evelina Lamma , Paola Mello Processing Abductive Reasoning via Contextual Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Hanus Efficient Implementation of Narrowing and Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Balbiani , Andreas Herzig , Mamede Lima Marques TIM: The Toulouse Inference Machine for Non-Classical Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Harold Boley , Micha Meier , Chris Moss , Michael M. Richter , Andrei Voronkov Declarative and Procedural Paradigms - Do they Really Compete? (Panel). [Citation Graph (0, 0)][DBLP ] Conf ] Martin Aronsson , Lars-Henrik Eriksson The GCLA II Programming Language. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Beierle , Gregor Meyer , Heiner Semle A Brief Description of the PROTOS-L System. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Fricke , Manfred Hein PCPL - PROLOG Constraint Processing Library Version 2.0. [Citation Graph (0, 0)][DBLP ] Conf ] Nicola Guarino A Mini-Description of the ITL System. [Citation Graph (0, 0)][DBLP ] Conf ] Philipp Hanschke , Andreas Abecker , Dennis Drollinger TAXON: A Concept Language with Concrete Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Hanus The ALF System: An Efficient Implementation of a Functional Logic Language. [Citation Graph (0, 0)][DBLP ] Conf ] Knut Hinkelmann , Martin Harm , Thomas Labisch Transforming Horn Clauses for Forward Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Andrei Mantsivoda , Vyacheslav Petukhin Implementation of the Functional-Logic Language Flang. [Citation Graph (0, 0)][DBLP ] Conf ] Micha Meier , Joachim Schimpf SEPIA 3: 0 - An Extensible Prolog System. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Meyer , Jörg P. Müller , Stefan Schrödl FIDO: Exploring Finite Domain Consistency Techniques in Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] 