Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAPPIA-GULP-PRODE 2002: Madrid, Spain
- Juan José Moreno-Navarro, Julio Mariño-Carballo:
AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002. Facultad de Informática, Universidad Politécnica de Madrid 2002
Invited Talks
- John P. Gallagher:
Whatever Happened to Meta-Programming? 1 - Thomas Ball:
Secrets of Software Model Checking. 3 - Thomas W. Reps:
Static Program Analysis via 3-Valued Logic. 5
Extensions
- Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez:
A Functional Logic Language with Finite Domain Constraints. 7-22 - Susana Muñoz-Hernández, Claudio Vaucheret, Sergio Guadarrama:
Combining Crisp and Fuzzy Logic in a Prolog Compiler. 23-38 - Susana Muñoz-Hernández, Juan José Moreno-Navarro:
Constructive negation for Prolog: A real implementation. 39-52 - Antonella Guzzo, Domenico Saccà:
Modelling the Future with Event Choice DATALOG. 53- - Gianluigi Greco, Sergio Greco, Ester Zumpano:
A Logic Language for Database Integration. 71- - Pasquale Caianiello, Stefania Costantini, Eugenio G. Omodeo:
An Environment for Stepwise Map Specification and Reasoning in Prolog I: Three Language Extension Mechanisms. 87-
Distributed Logic
- Maurizio Martelli, Viviana Mascardi, Leon Sterling:
Logic-Based Languages to Model and Program Intelligent Agents. 105-122 - Jesús Correas Fernández, Francisco Bueno Carrillo:
A Configuration Framework for Distributed Logic Applications. 123-138
Application
- Federico Avanzini, Alberto Belussi, Alessandro Dal Palù, Agostino Dovier, Davide Rocchesso:
Optimal Placement of Acoustic Sources in a Built-up Area using CLP(FD). 139-154 - Ana Paula Tomás, José Paulo Leal, Pedro Vasconcelos:
Using Constraint Logic Programming to Generate Drills in Mathematics. 155-172 - Ana Paula Tomás:
Solving Optimal Location of Traffic Count Posts in CLP(FD). 173-188
Semantics and Analysis
- Gianluca Amato, Francesca Scozzari:
Optimality in Goal-Dependent Analysis of Sharing. 189-205 - Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal:
A Deterministic Operational Semantics for Functional Logic Programs. 207-
Program Synthesis and Transformation
- Francisco José Galán, José Miguel Cañete:
Compiling (for Validating) Explicit Specifications into Recursive Specifications in Linear Stratified Theories. 223-239 - Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs. 241-257
Foundations
- Sandra Alves, Mário Florido:
On the Relation between Rank 2 Intersection Types and Simple Types. 259-274 - Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti:
Automation of Aggregate Theories: The Cornerstones of Equational Expressibility. 275-
Knowledge Representation and Specification Languages
- Manuel Vilares Ferro, Francisco José Ribadas-Pena, Jorge Graña Gil:
On Pattern-Matching as Query Facility. 293-310 - Vítor Beires Nogueira, Salvador Abreu, Gabriel David:
Towards Temporal Reasoning in ISCO. 311-324 - João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski:
A Language for Updates with Multiple Dimensions. 325-341
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-10 21:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
