Conferences in DBLP
Lluís Vila , Gonzalo Escalada-Imaz Temporal Token Calculus: a Temporal Reasoning Approach for Knowledge-Based. [Citation Graph (0, 0)][DBLP ] Conf ] S. Bertarello , Stefania Costantini , Gaetano Aurelio Lanzarone Extending Explanation-Based Generalization with Metalogic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Hendrik Decker , Juan Carlos Casamayor Sustained Models and Sustained Answers in First-Order Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe Plagenza Abductive Update of Deductive Databases. [Citation Graph (0, 0)][DBLP ] Conf ] José Francisco Aldana Montes , Enrique Alba , José M. Troya D2: A Model for Datalog Parallel Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Matilde Celma , Carlos Garcia , María Angeles Pastor Restricciones de integridad dinamicas en bases de datos deductivas: una aproximacion basada en logica temporal. [Citation Graph (0, 0)][DBLP ] Conf ] Cristina Ruggieri , Mirko Sancassani IDEA: Intelligent Data Retrieval in Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] M. Fabris , Adriano Tirabosco , C. Chiopris Optimal Management of a Large Computer Network with CHIP. [Citation Graph (0, 0)][DBLP ] Conf ] Puri Arenas-Sánchez , Ana Gil-Luezas A Debugging Model for Lazy Functional Logic Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Vincenzo Ambriola , Giovanni A. Cignoni , Laura Semini Everything buT Assignment. [Citation Graph (0, 0)][DBLP ] Conf ] F. J. Duran , Ernesto Pimentel , José M. Troya Comunicacion entre objetos mediante la unificacion de canales logicos. [Citation Graph (0, 0)][DBLP ] Conf ] Michele Bugliesi , Hasan M. Jamil A Logic for Encapsulation in Object-Oriented Languages. [Citation Graph (0, 0)][DBLP ] Conf ] B. Grima , A. Toval Una formalizacion algebraica de la notacion "objectcharts": validacion y verificacion de especificaciones orientadas a objetos de sistemas reactivos. [Citation Graph (0, 0)][DBLP ] Conf ] Jaume Devesa , Jose Cuevas , Isidro Ramos Implementation of A Term Rewriting System for Solving Process Queries in an Object-Oriented Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Elisa Bertino , Barbara Catania , Giovanna Guerrini , Maurizio Martelli , Danilo Montesi A Bottom-Up Interpreter for a Database Language with Updates and Transactions. [Citation Graph (0, 0)][DBLP ] Conf ] Paola Bruscoli , Alessio Guglielmi Expressiveness of the Abstract Logic Programming Language Forum in Planning and Concurrency. [Citation Graph (0, 0)][DBLP ] Conf ] Fernando Sáenz , Werner Hans , José J. Ruz , Stephan Winkler A Babel Parallel System: VHDL Modelling for Performance Measurement. [Citation Graph (0, 0)][DBLP ] Conf ] Francesca Arcelli Fontana , Ferrante Formato , Giulio Iannello On the parallel implementation of the higher order logic language lambda Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Verónica Dahl , Paul Tarau , Yan-Nong Huang Datalog Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Lidia Moreno , Manuel Palomar Tratamiento de la ambiguedad de origen preposicional a traves de la logica. [Citation Graph (0, 0)][DBLP ] Conf ] Luigi Liquori , Maria Luisa Sapino Dealing with Explicit Exceptions in Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Enciso , Inman P. de Guzmán , Carlos Rossi A Temporal Logic for Program Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Matteo Baldoni , Laura Giordano , Alberto Martelli A Modal Extension of Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Iliano Cervesato , Luca Chittaro , Angelo Montanari What the Event Calculus actually does, and how to do it efficiently. [Citation Graph (0, 0)][DBLP ] Conf ] José Luis Freire , Víctor M. Gulías , J. M. Molinelli Utilizacion de la programacion funcional para la construccion de servidores en entornos heterogeneos. [Citation Graph (0, 0)][DBLP ] Conf ] Mirko Sancassani , G. Dore , Ugo Manfredi The IDEA User Interface: the Power of Logic Programming in GUI Implementations. [Citation Graph (0, 0)][DBLP ] Conf ] Filomena Ferrucci , Vincenzo Loia , Giuliano Pacini , Maria I. Sessa A Sleeper-based Prolog Interpreter with Loop Checks. [Citation Graph (0, 0)][DBLP ] Conf ] Luis A. Galán , Manuel Núñez , Cristóbal Pareja , Ricardo Pena Non Homomorphic Reductions of Data Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio Brogi , Chiara Renso , Franco Turini Amalgamating Language and Meta-language for Composing Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] S. Clerici , R. Peña Generic Classes Parameterized by Data Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Gabriel Aguilera , J. L. Galan , Inman P. de Guzmán , Manuel Ojeda-Aciego TAS-D++ vs tablas semanticas. [Citation Graph (0, 0)][DBLP ] Conf ] Domenico Aquilino , Patrizia Asirelli , Paola Inverardi Gedblog: a Multi-Theories Deductive Environment to Specify Graphical Interfaces. [Citation Graph (0, 0)][DBLP ] Conf ] Ugo Manfredi , Mirko Sancassani LogicSQL: Augmenting SQL with Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Nikos Mylonakis , J. Perez Campo A Type Checking Tool for a Formal Specification Language. [Citation Graph (0, 0)][DBLP ] Conf ] Oscar Pastor , Isidro Ramos , Jose Cuevas , Jaume Devesa OASIS 2.0: An Object Definition Language for Object Oriented Databases. [Citation Graph (0, 0)][DBLP ] Conf ] G. Ramos LANM, SRA y Contradiccion. [Citation Graph (0, 0)][DBLP ] Conf ] José A. Troyano , Jesús Torres , Miguel Toro Especificacion orientada a objetos desde un enfoque algebraico. [Citation Graph (0, 0)][DBLP ] Conf ] Jordi Tubella , Antonio González Combining depth-first and breadth-first search in Prolog execution. [Citation Graph (0, 0)][DBLP ] Conf ] 