Conferences in DBLP
Krzysztof R. Apt Arrays, Bounded Quantification and Iteration in Logic and Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Cousot Completeness in Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Robert A. Kowalski Logical Foundations for Multi-agent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Levi , Marco Comini , Giuliana Vitiello On the Abstract Diagnosis of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Dale Miller Observations about Using Logic as a Specification Language. [Citation Graph (0, 0)][DBLP ] Conf ] Luís Moniz Pereira Parallel Logic Programming with Extensions. [Citation Graph (0, 0)][DBLP ] Conf ] Enea Zaffanella Domain Independent Ask Approximation in CCP. [Citation Graph (0, 0)][DBLP ] Conf ] Frank S. de Boer , Maurizio Gabbrielli Modeling Real-Time in Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP ] Conf ] José Luis Freire , Basilio B. Fraguela , Víctor M. Gulías Extending CAML Light to Perform Distributed Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Ciancarini , Daniela Fogli , Mauro Gaspari A Logic Language Based on GAMMA-Like Multiset Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] Kave Eshghi , M. Mowbray Side Effect Analysis for Logic-Based Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Floriana Esposito , Nicola Fanizzi , Donato Malerba , Giovanni Semeraro Downward Refinement of Hierarchical Datalog Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Danilo Montesi , Franco Turini Integrity Constraints Evolution in Deductive Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Marilisa E. Carboni , V. Foddai , Fosca Giannotti , Dino Pedreschi Declarative Reconstruction of Updates in Logic Databases: a Compilative Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Momigliano , Mario Ornaghi An Introduction to Regular Search Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] J. Humet A Framework for a Transformational Approach to Negation. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco Buccafurri Ordered Logic and its Relationships to other Logic Programming Formalisms. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Bottoni Analysis of SLDNF for Local CLP. [Citation Graph (0, 0)][DBLP ] Conf ] Francesca Toni A Semantics for the Kakas-Mancarella Procedure for Abductive Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Francesca Arcelli Fontana , Ferrante Formato Implementing Higher-Order Term-Rewriting for Program Transformation in lambdaProlog. [Citation Graph (0, 0)][DBLP ] Conf ] Walter Dosch The Undefined Function Differs from the Pointwise Undefined Function. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Mancarella , Alessandra Raffaetà , Franco Turini LOO: An Object Oriented Logic Programming Language. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Delzanno , Maurizio Martelli Forum Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Piero A. Bonatti , Laura Giordano Three-Valued Semantics for Extended Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jørgen Fischer Nilsson , Andreas Hamfelt Constructing Logic Programs with Higher-Order Predicates. [Citation Graph (0, 0)][DBLP ] Conf ] Iliano Cervesato Petri Nets and Linear Logic: a Case Study for Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] A. Moreno , J. M. Goni GRAMPAL: A Morphological Processor for Spanish Implemented in Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Domenico Aquilino , D. Apuzzo , Patrizia Asirelli A Declarative Approach to the Design and Realization of Graphic Interfaces. [Citation Graph (0, 0)][DBLP ] Conf ] Anna Ciampolini , Evelina Lamma , Paola Mello Improving the Efficiency of Dynamic Modular Logic Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Eva Ullán Lazy Narrowing on an Abstract Machine by Means of Examples. [Citation Graph (0, 0)][DBLP ] Conf ] Werner Hans , Stephan Winkler , Fernando Sáenz Exploiting Expression- and Or-Parallelism for a Functional Logic Language. [Citation Graph (0, 0)][DBLP ] Conf ] Pedro Palao , Manuel Núñez An Effective Algorithm for Compiling Pattern Matching Keeping Laziness. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Artosi , Paola Cattabriga , Guido Governatori A Prolog Implementation of Kem. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Bellot , Olivier Camp , Christophe Matiachoff Explicit Implementation of a Constraint Solving Mechanism in a Relational Programming System. [Citation Graph (0, 0)][DBLP ] Conf ] Paola Bruscoli , Alessio Guglielmi A Linear Logic Programming Language with Parallel and Sequential Conjunction. [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe Manco , Franco Turini A Structural (Meta-Logical) Semantics for Linear Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Salvador Lucas Computational Properties in Context-Sensitive Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] Puri Arenas-Sánchez , Agostino Dovier Minimal Set Unification. [Citation Graph (0, 0)][DBLP ] Conf ] Cristian Papp A Model Tree Computation of the Strong Well-Founded Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] José E. Gallardo , P. Guerrero , Blas C. Ruiz Monadas para la Comunicacion de Objetos Funcionales. [Citation Graph (0, 0)][DBLP ] Conf ] Carlos Gregorio-Rodríguez , M. Nunez Garcia , Pedro Palao-Gostanza La Potencia Expresiva de los Catamorfismos. [Citation Graph (0, 0)][DBLP ] Conf ] Cristóbal Pareja , Ricardo Pena , J. Ángel Velázquez-Iturbide A Tabulation Transformation Tactic Using Haskell Arrays. [Citation Graph (0, 0)][DBLP ] Conf ] Francisco José Galán Morillo , M. Toro Bonilla Sintesis de Programas Logicos: Marco Constructivo. [Citation Graph (0, 0)][DBLP ] Conf ] Pierpaolo Degano , Corrado Priami A Transitional Semantics of Full Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Levi , Daniele Micciancio Analysis of Pure PROLOG Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Comini , Giorgio Levi , Maria Chiara Meo Compositionality in SLD-derivations and their Abstractions. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco Scarcello , Nicola Leone , Luigi Palopoli Curbing Theories: Fixpoint Semantics and Complexity Issues. [Citation Graph (0, 0)][DBLP ] Conf ] Livio Colussi , Elena Marchiori , Massimo Marchiori A Dataflow Semantics for Constraint Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Ruiz-Andino Illera , J. J. Ruz Ortiz Labeling in CLP(FD) with Evolutionary Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Bagnara Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Juan José Moreno-Navarro , Julio García-Martín , A. del Pozo-Pietro Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Comini , Giorgio Levi , Giuliana Vitiello Declarative Diagnosis Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Giacobazzi Optimal Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Levi , Francesca Scozzari Contributions to a Theory of Existential Termination for Definite Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Dino Pedreschi , Salvatore Ruggieri A Case Study in Logic Program Verification: the Vanilla Metainterpreter. [Citation Graph (0, 0)][DBLP ] Conf ] 