Conferences in DBLP
Yves Bekkers , Lucien Ungaro Real-Time Memory Management for Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Mounira Belmesk A Process Semantics of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Egon Börger , Elvinia Riccobene Logical Operational Semantics of Parlog. Part II: Or-Parallelism. [Citation Graph (0, 0)][DBLP ] Conf ] Egon Börger , Dean Rosenzweig WAM Algebras - A Mathematical Study of Implementation, Part 2. [Citation Graph (0, 0)][DBLP ] Conf ] A. G. Bondarenko Abductive Systems for Non-Monotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir B. Borshchev Properties of Algorithmic Operators. [Citation Graph (0, 0)][DBLP ] Conf ] Dmitri Yu. Boulanger Deep Logic Program Transformation Using Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio Brogi , Evelina Lamma , Paola Mello Objects in a Logic Programming Framework. [Citation Graph (0, 0)][DBLP ] Conf ] François Bry , Rainer Manthey , Bern Martens Integrity Verification in Knowledge Bases. [Citation Graph (8, 0)][DBLP ] Conf ] Stefania Costantini , Gaetano Aurelio Lanzarone On Procedural Semantics of Metalevel Negation. [Citation Graph (0, 0)][DBLP ] Conf ] Evgeny Dantsin Probabilistic Logic Programs and their Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Bart Demoen , André Mariën Implementation of Prolog as Binary Definite Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Ja. Dikovsky Prolog Semantics for Measuring Space Consumption. [Citation Graph (0, 0)][DBLP ] Conf ] Wai-Keong Foong Or-Parallel Prolog with Heuristic Task Distribution. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Günther Hein , Manfred Meyer A WAM Compilation Scheme. [Citation Graph (0, 0)][DBLP ] Conf ] Martin C. Henson Safe Positive Induction in the Programming Logic TK. [Citation Graph (0, 0)][DBLP ] Conf ] S. Ivanets , N. Ilinsky , M. Krylov WAM Specification for Parallel Execution on SIMD Computer. [Citation Graph (0, 0)][DBLP ] Conf ] Gerda Janssens , Maurice Bruynooghe On Abstracting the Procedural Behaviour of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Norbert Kehrer , Gustaf Neumann Treating Enhanced Entity Relationship Models in a Declarative Style. [Citation Graph (1, 0)][DBLP ] Conf ] Evgeny L. Kitaev Processing of Ground Regular Terms in PROLOG. [Citation Graph (0, 0)][DBLP ] Conf ] Andrei Mantsivoda , Vyacheslav Petukhin Compiling Flang. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Meyer , Hans-Günther Hein , Jörg P. Müller FIDO: Finite Domain Consistency Techniques in Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Pierangelo Miglioli , Ugo Moscato , Mario Ornaghi A Constructive Logic Approach to Database Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Dale Miller Abstract Syntax and Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir S. Neiman Deduction with Generalized Terms. [Citation Graph (0, 0)][DBLP ] Conf ] Gustaf Neumann A Simple Transformation from Prolog-written Metalevel Interpreters into Compilers and its Implementation. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Parigot Free Deduction: An Analysis of "Computations" in Classical Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Aida Pliuskeviciene Gentzen-Type Calculi for Modal Logic S4 with Barcan Formula. [Citation Graph (0, 0)][DBLP ] Conf ] Regimantas Pliuskevicius Logical Foundation for Logic Programming Based on First Order Linear Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] David M. W. Powers Logic Programming with Pseudo-Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] T. J. Reynolds , Petros Kefalas BRAVE: An OR-Parallel Dialect of Prolog and its Application to Artificial Intelligence. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco Russo , Mirko Sancassani A Declarative Debugging Environment for DATALOG. [Citation Graph (0, 0)][DBLP ] Conf ] Jurate Sakalauskaite A Sequent Calculus for a First Order Linear Temporal Logic with Explicit Time. [Citation Graph (0, 0)][DBLP ] Conf ] P. Sébillot A Logical-Based Language for Feature Specification and Transmission Control. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Tarau Program Transformations and WAM-Support for the Compilation of Definite Metaprograms. [Citation Graph (0, 0)][DBLP ] Conf ] Wiebe van der Hoek Some Considerations on the Logic PfD. [Citation Graph (0, 0)][DBLP ] Conf ] Andrei Voronkov Logic Programming with Bounded Quantifiers. [Citation Graph (0, 0)][DBLP ] Conf ] 