Computational Logic

Keyphrases

Publications

2000

Marco Benini
Representing Object Code. Computational Logic (2000)
Nancy Mazur, Gerda Janssens, Maurice Bruynooghe
A Module Based Analysis for Memory Reuse in Mercury. Computational Logic (2000)
Guizhen Yang, Michael Kifer
FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine. Computational Logic (2000)
Reiner Hähnle, Ryuzo Hasegawa, Yasuyuki Shirai
Moder Generation Theorem Proving with Finite Interval Constraints. Computational Logic (2000)
Maria J. García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott
Model Checking in HAL. Computational Logic (2000)
Alberto Pettorossi, Maurizio Proietti
Perfect Model Checking via Unfold/Fold Transformations. Computational Logic (2000)
Chitta Baral, Le-Chi Tuan, Raul Trejo, Vladik Kreinovich
Computational Complexity of Planning Based on Partial Information about the System's Present and Past States. Computational Logic (2000)
Marcelo Arenas, Leopoldo E. Bertossi, Michael Kifer
Applications of Annotated Predicate Calculus to Querying Inconsistent Databases. Computational Logic (2000)
Krzysztof R. Apt
A Denotational Semantics for First-Order Logic. Computational Logic (2000)
Michael Dierkes
An Application of Model Building in a Resolution Decision Procedure for Guarded Formulas. Computational Logic (2000)
Erica Melis, Andreas Meier
Proof Planning with Multiple Strategies. Computational Logic (2000)
Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
Proving Failure in Functional Logic Programs. Computational Logic (2000)
Melvin Fitting
Databases and Higher Types. Computational Logic (2000)
Seung Jin Lim, Yiu-Kai Ng
A Heuristic Approach for Converting HTML Documents to XML Documents. Computational Logic (2000)
Denys Duchier, Joachim Niehren
Dominance Constraints with Set Operators. Computational Logic (2000)
James Bailey, Alexandra Poulovassilis, Peter Newson
A Dynamic Approach to Termination Analysis for Active Database Rules. Computational Logic (2000)
Annalisa Bossi, Sandro Etalle, Sabina Rossi
Semantics of Input-Consuming Logic Programs. Computational Logic (2000)
Katsumi Inoue
A Simple Characterization of Extended Abduction. Computational Logic (2000)
Edgar Altamirano, Gonzalo Escalada-Imaz
Finding Tractable Formulas in NNF. Computational Logic (2000)
Pablo Gervás
A Logic Programming Application for the Analysis of Spanish Verse. Computational Logic (2000)
José Júlio Alferes, Heinrich Herre, Luís Moniz Pereira
Partial Models of Extended Generalized Logic Programs. Computational Logic (2000)
Richard J. Boulton, Konrad Slind
Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions. Computational Logic (2000)
Jan M. Broersen, Roel J. Wieringa, John-Jules Ch. Meyer
A Semantics for Persistency in Propositional Dynamic Logic. Computational Logic (2000)
Peter Baumgartner, Fabio Massacci
The Taming of the (X)OR. Computational Logic (2000)
Steffen Hölldobler, Hans-Peter Störr
Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams. Computational Logic (2000)
Regimantas Pliuskevicius
-Decidable Deductive Procedure for Non-Horn Sequents of a Restricted FTL. Computational Logic (2000)
Stefan Brass
SLDMagic - The Real Magic (With Applications to Web Queries). Computational Logic (2000)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey M. Dudakov
On Complexity of Updates through Integrity Constraints. Computational Logic (2000)
Yves Moinard, Raymond Rolland
Smallest Equivalent Sets for Finite Propositional Formula Circumscription. Computational Logic (2000)
Tomi Janhunen
Comparing the Expressive Powers of Some Syntactically Restricted Classes of Logic Programs. Computational Logic (2000)
Phan Minh Dung, Tran Cao Son
Default Reasoning with Specificity. Computational Logic (2000)
Sébastien Ferré, Olivier Ridoux
A File System Based on Concept Analysis. Computational Logic (2000)
Supratik Mukhopadhyay, Andreas Podelski
Model Checking for Timed Logic Processes. Computational Logic (2000)
Michael Leuschel, Helko Lehmann
Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction. Computational Logic (2000)
Kit-Ying Hui, Peter M. D. Gray
Developing Finite Domain Constraints - A Data Model Approach. Computational Logic (2000)
Hans-Peter Störr, Michael Thielscher
A New Equational Foundation for the Fluent Calculus. Computational Logic (2000)
Marc Denecker
Extending Classical Logic with Inductive Definitions. Computational Logic (2000)
Geert Jan Bex, Sebastian Maneth, Frank Neven
A Formal Model for an Expressive Fragment of XSLT. Computational Logic (2000)
Dale Miller
Abstract Syntax for Variable Binders: An Overview. Computational Logic (2000)
Ben Curry, Geraint A. Wiggins, Gillian Hayes
Representing Trees with Constraints. Computational Logic (2000)
Hasan Davulcu, Guizhen Yang, Michael Kifer, I. V. Ramakrishnan
Design and Implementation of the Physical Layer in WebBases: The XRover Experience. Computational Logic (2000)
Esra Erdem, Vladimir Lifschitz, Martin D. F. Wong
Wire Routing and Satisfiability Planning. Computational Logic (2000)
Dexter Kozen, Maria-Christina Patron
Certification of Compiler Optimizations Using Kleene Algebra with Tests. Computational Logic (2000)
Chuck C. Liang
A Deterministic Shift-Reduce Parser Generator for a Logic Programming Language. Computational Logic (2000)
Petra Hofstedt
Better Communication for Tighter Cooperation. Computational Logic (2000)
Francesco Bonchi, Fosca Giannotti, Dino Pedreschi
On Verification in Logic Database Languages. Computational Logic (2000)
Rachid Echahed, Wendelin Serwe
Combining Mobile Processes and Declarative Programming. Computational Logic (2000)
Alexander Celle, Leopoldo E. Bertossi
Querying Inconsistent Databases: Algorithms and Implementation. Computational Logic (2000)
Tommi A. Junttila, Ilkka Niemelä
Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking. Computational Logic (2000)
Daniel Cabeza Gras, Manuel V. Hermenegildo
A New Module System for Prolog. Computational Logic (2000)