Conferences in DBLP
Maurizio Martelli , Viviana Mascardi , Floriano Zini Specification and Simulation of Multi-Agent Systems in CaseLP. [Citation Graph (0, 0)][DBLP ] Conf ] Floriano Zini , Leon Sterling Designing Ontologies for Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Fernando Orejas , Elvira Pino Semantic Definitions for Normal Open Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Formisano Proving the completeness of theory-based variants of resolution. [Citation Graph (0, 0)][DBLP ] Conf ] María Alpuente , Salvador Lucas , Santiago Escobar An Incremental Needed Narrowing Calculus for Curry. [Citation Graph (0, 0)][DBLP ] Conf ] Francisco Javier López-Fraguas , Jaime Sánchez-Hernández Disequalities May Help to Narrow. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio J. Fernández , Patricia M. Hill Constraint Solving on Lattices. [Citation Graph (0, 0)][DBLP ] Conf ] Stefano Bistarelli , Philippe Codognet , Yan Georget , Fabio Rossi Labeling and Partial Arc Consistency for Soft Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio J. Fernández , Patricia M. Hill Extending clp(FD) by Negative Constraint Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Agostino Dovier , Carla Piazza , Alberto Policriti Comparing expressiveness of set constructor symbols. [Citation Graph (0, 0)][DBLP ] Conf ] Domenico Cantone , Eugenio G. Omodeo , Pietro Ursino Transitive Venn diagrams with applications to the decision problem in set theory. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco Ranzato CPOs as Concrete Domains: Lattices of Abstract Domains and Complements. [Citation Graph (0, 0)][DBLP ] Conf ] Roberta Gori , Giorgio Levi On the verification of finite failure. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Bagnara , Enea Zaffanella , Patricia M. Hill Enhancing Sharing for Precision. [Citation Graph (0, 0)][DBLP ] Conf ] Sergio Flesca , Sergio Greco , P. Lambardi , D. Romeo A System Prototype for the Optimization of Disjunctive Queries. [Citation Graph (0, 0)][DBLP ] Conf ] Elisa Bertino , Piero A. Bonatti , Elena Ferrari , Maria Luisa Sapino Specifying and computing hierarchies of temporal authorizations. [Citation Graph (0, 0)][DBLP ] Conf ] José Júlio Alferes , Luís Moniz Pereira , Teodor C. Przymusinski , Halina Przymusinska , Paulo Quaresma Preliminary exploration on actions as updates. [Citation Graph (0, 0)][DBLP ] Conf ] Paola Inverardi , Monica Nesi Adding sorts to TRSs: a result on modularity of termination. [Citation Graph (0, 0)][DBLP ] Conf ] José-Luis Ruiz-Reina , José-Antonio Alonso , María-José Hidalgo , Francisco-Jesús Martín-Mateos Mechanical verification of a rule-based unification algorithm in the Boyer-Moore theorem prover. [Citation Graph (0, 0)][DBLP ] Conf ] Agostino Dovier , Carla Piazza , Enrico Pontelli , Gianfranco Rossi ACI1 constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Patricia M. Hill , Fausto Spoto Freeness Analysis through Linear Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Comini , Wlodzimierz Drabent , Pawel Pietrzak Diagnosis of CHIP Programs Using Type Information. [Citation Graph (0, 0)][DBLP ] Conf ] Pedro Cabalar Temporal Answer Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Miguel Ferrand , João Alexandre Leite , Amílcar Cardoso Hypotethical Reasoning: an application to Optical Music Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] David Lorenzo , Ramón P. Otero Learning Action Theories as Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Ferrante Formato , Giangiacomo Gerla , Maria I. Sessa Extension of Logic Programming by Similarity. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Gavanelli , Evelina Lamma , Michela Milano , Paola Mello Domains as First Class Objects in CLP(FD). [Citation Graph (0, 0)][DBLP ] Conf ] Ricardo Lopes , Vítor Santos Costa The BEAM: A first EAM Implementation. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Bertolino , Sandro Etalle , Catuscia Palamidessi The Replacement Operation for CCP Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Fabio Fioravanti , Maurizio Proietti Contextual Specialization of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio Brogi , G. Marongiu ExpertFinder: A Prolog Recommender System Integrated with the WWW. [Citation Graph (0, 0)][DBLP ] Conf ] Pablo López , Ernesto Pimentel Hypothetical Reasoning with Substructural Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Momigliano , Frank Pfenning The Relative Complement Problem for Higher-Order Patterns. [Citation Graph (0, 0)][DBLP ] Conf ] Luís Soares Barbosa Prototyping Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Roberta Gori A fixpoint semantics for reasoning about finite failure. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Vilares Ferro , David Cabrero Souto , Miguel Angel Alonso Pardo Some questions about non-termination in DCGs. [Citation Graph (0, 0)][DBLP ] Conf ] Enea Zaffanella , Roberto Bagnara , Patricia M. Hill Widening Sharing. [Citation Graph (0, 0)][DBLP ] Conf ] Stefania Costantini , T. Morbidoni Computational Complexity of a Knowledge Compilation. Approach to the Static Semantics for Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Carlos Viegas Damásio , V. Beires Nogueira Negation in Transaction Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Fosca Giannotti , Giuseppe Manco Querying inductive Databases via Logic-Based user-defined aggregates. [Citation Graph (0, 0)][DBLP ] Conf ] 