Conferences in DBLP
Arnaud Lallouet Semantics of a Data-Parallel Logic Language using the BSP Execution Model. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandra Di Pierro , Herbert Wiklicky A Markov Model for Probabilistic Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Jorge Puente , Ramiro Varela , Camino R. Vela , Cesar Alonso A Parallel Programming Approach to Job Shop Scheduling Constrain Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Agostino Dovier , Carla Piazza , Gianfranco Rossi Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Evelina Lamma , Michela Milano , Rita Cucchiara , Paola Mello , Massimo Piccardi Interactive Constraint Satisfaction and its Application to Visual Object Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Carro , Manuel V. Hermenegildo Some Design Issues in the Visualization of Constraint Logic Program Execution. [Citation Graph (0, 0)][DBLP ] Conf ] Rafael Caballero , Francisco Javier López-Fraguas Parsing with Non-Deterministic Functions. [Citation Graph (0, 0)][DBLP ] Conf ] J. Ángel Velázquez-Iturbide Automatic Simplification of the Visualization of Functional Expressions by Means of Fisheyes Views. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Vilares Ferro , Miguel Angel Alonso Pardo , David Cabrero Souto A Comparison for Unification-Based Parsers. [Citation Graph (0, 0)][DBLP ] Conf ] Francisco José Galán Morillo , M. Toro Bonilla Object Oriented Software Systems Defined by Constructive Logical Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Julio Mariño , Juan José Moreno-Navarro Recovering Sequentiality in Functional-Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Elvira Albert , María Alpuente , Moreno Falaschi , Pascual Julián Iranzo , Germán Vidal Polygenetic Partial Evaluation of Lazy Functional Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Stefano Basta , Sergio Flesca , Sergio Greco Extending Datalog to Express Functional Queries: A Language and its Implementation. [Citation Graph (0, 0)][DBLP ] Conf ] Agostino Cortesi , Agostino Dovier , Elisa Quintarelli , Letizia Tanca Operational and Abstract Semantics of a Query Language for Semi-Structured Information. [Citation Graph (0, 0)][DBLP ] Conf ] R. Castro , Xesús M. López , Víctor M. Gulías An ODBC Interface for Objective Caml. [Citation Graph (0, 0)][DBLP ] Conf ] Gaetano Aurelio Lanzarone , Alessandro Provetti Processing Temporal and Atemporal Declarative Knowledge in Metalogic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Tarau , Verónica Dahl Code Migration with First Order Continuations. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Bagnara , Peter Schachte Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Giacobazzi , Francesco Ranzato , Francesca Scozzari Building Complete Abstract Interpretations in a Linear Logic-based Setting. [Citation Graph (0, 0)][DBLP ] Conf ] Patricia M. Hill , Roberto Bagnara , Enea Zaffanella The Correctness of Set-Sharing. [Citation Graph (0, 0)][DBLP ] Conf ] Fausto Spoto , Giorgio Levi An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Levi , Paolo Volpe Derivation of Proof Methods by Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Volpe A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Levi , W. Volpi Set Based-Analysis of Logic Programs via Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Jordi Puigsegur , Jaume Agustí-Cullell Visual Logic Programming by Means of Diagram Transformations. [Citation Graph (0, 0)][DBLP ] Conf ] D. Pearce Back and Forth Semantics for Normal, Disjunctive and Extended Logic programs. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Formisano , Eugenio G. Omodeo , Marco Temperini Plan of Activities on the Map Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Miguel A. Gutiérrez-Naranjo The Inmediate Consequence Operator and Robinson's Operator. [Citation Graph (0, 0)][DBLP ] Conf ] M. Teresa Escrig , Francisco Toledo The Use of CLP(FD) Extended with CHRs for Qualitative Spatial Reasoning and Qualitative Robot Navigation. [Citation Graph (0, 0)][DBLP ] Conf ] José Hernández-Orallo , M. José Ramírez-Quintana Inverse Narrowing for the Induction of Functional Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] José Júlio Alferes , João Alexandre Leite , Luís Moniz Pereira , Halina Przymusinska , Teodor C. Przymusinski Dynamic Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Comini , Giorgio Levi , Giuliana Vitiello Modular Abstract Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] E. Lastres , R. Moreno A Semantics for Logic Programs based on First Order Hereditary Harrop Formulas. [Citation Graph (0, 0)][DBLP ] Conf ] Roberta Gori , E. Lastres , R. Moreno , Fausto Spoto Aproximating the Well-Founded Semantics for Normal Logic Programs using Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Kung-Kiu Lau , Mario Ornaghi Isoinitial Models for Logic Programs: A Preliminary Study. [Citation Graph (0, 0)][DBLP ] Conf ] Juan José Moreno-Navarro , Susana Muñoz-Hernández On the Practical Use of Negation in a Prolog Compiler. [Citation Graph (0, 0)][DBLP ] Conf ] 