Computational Logic: Logic Programming and Beyond

Keyphrases

Publications

2002

Eugenio G. Omodeo, Jacob T. Schwartz
A 'Theory' Mechanism for a Proof-Verifier Based on First-Order Set Theory. Computational Logic: Logic Programming and Beyond (2002)
Phan Minh Dung, Paolo Mancarella, Francesca Toni
Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning. Computational Logic: Logic Programming and Beyond (2002)
Verónica Dahl
On Implicit Meanings. Computational Logic: Logic Programming and Beyond (2002)
Luigia Carlucci Aiello, Fabio Massacci
Planning Attacks to Security Protocols: Case Studies in Logic Programming. Computational Logic: Logic Programming and Beyond (2002)
John W. Lloyd
Higher-Order Computational Logic. Computational Logic: Logic Programming and Beyond (2002)
Paolo Mancarella, Dino Pedreschi, Salvatore Ruggieri
Negation as Failure through Abduction: Reasoning about Termination. Computational Logic: Logic Programming and Beyond (2002)
Jörg H. Siekmann, Graham Wrightson
An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure. Computational Logic: Logic Programming and Beyond (2002)
Jack Minker, Dietmar Seipel
Disjunctive Logic Programming: A Survey and Assessment. Computational Logic: Logic Programming and Beyond (2002)
Marek J. Sergot
Bob Kowalski: A Portrait. Computational Logic: Logic Programming and Beyond (2002)
Taisuke Sato, Yoshitaka Kameya
Statistical Abduction with Tabulation. Computational Logic: Logic Programming and Beyond (2002)
Francesco Buccafurri, Georg Gottlob
Multiagent Compromises, Joint Fixpoints, and Stable Models. Computational Logic: Logic Programming and Beyond (2002)
Leon Sterling
Patterns for Prolog Programming. Computational Logic: Logic Programming and Beyond (2002)
Donald Gillies
Logicism and the Development of Computer Science. Computational Logic: Logic Programming and Beyond (2002)
Kung-Kiu Lau, Mario Ornaghi
Logic for Component-Based Software Development. Computational Logic: Logic Programming and Beyond (2002)
Andrew Davison
Logic Programming Languages for the Internet. Computational Logic: Logic Programming and Beyond (2002)
Thomas Eiter, Viviana Mascardi, V. S. Subrahmanian
Error-Tolerant Agents. Computational Logic: Logic Programming and Beyond (2002)
Mark Wallace
Constraint Logic Programming. Computational Logic: Logic Programming and Beyond (2002)
Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura, Yasuyuki Shirai
A Model Generation Based Theorem Prover MGTP for First-Order Logic. Computational Logic: Logic Programming and Beyond (2002)
Luc De Raedt
Data Mining as Constraint Logic Programming. Computational Logic: Logic Programming and Beyond (2002)
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle
Transformation Systems and Nondeclarative Properties. Computational Logic: Logic Programming and Beyond (2002)
Paolo Mascellani, Dino Pedreschi
The Declarative Side of Magic. Computational Logic: Logic Programming and Beyond (2002)
Michael Gelfond
Representing Knowledge in A-Prolog. Computational Logic: Logic Programming and Beyond (2002)
Marc Denecker, Antonis C. Kakas
Abduction in Logic Programming. Computational Logic: Logic Programming and Beyond (2002)
Rob Miller, Murray Shanahan
Some Alternative Formulations of the Event Calculus. Computational Logic: Logic Programming and Beyond (2002)
Stefania Costantini
Meta-reasoning: A Survey. Computational Logic: Logic Programming and Beyond (2002)
Paolo Baldan, Paolo Mancarella, Alessandra Raffaetà, Franco Turini
MuTACLP: A Language for Temporal Reasoning with Multiple Theories. Computational Logic: Logic Programming and Beyond (2002)
Alan Bundy
A Critique of Proof Planning. Computational Logic: Logic Programming and Beyond (2002)
Keith L. Clark, Peter J. Robinson
Agents as Multi-threaded Logical Objects. Computational Logic: Logic Programming and Beyond (2002)
Stathis Psillos
Simply the Best: A Case for Abduction. Computational Logic: Logic Programming and Beyond (2002)
Katsumi Inoue
Automated Abduction. Computational Logic: Logic Programming and Beyond (2002)
Kazunori Ueda
A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language. Computational Logic: Logic Programming and Beyond (2002)
James Cussens
Issues in Learning Language in Logic. Computational Logic: Logic Programming and Beyond (2002)
Gopal Gupta, Enrico Pontelli
Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach. Computational Logic: Logic Programming and Beyond (2002)
Pierre Flener
Achievements and Prospects of Program Synthesis. Computational Logic: Logic Programming and Beyond (2002)
Chris Mellish
DCGs: Parsing as Deduction? Computational Logic: Logic Programming and Beyond (2002)
Danny De Schreye, Alexander Serebrenik
Acceptability with General Orderings. Computational Logic: Logic Programming and Beyond (2002)
Thomas Sjöland, Per Kreuger, Martin Aronsson
Heterogeneous Scheduling and Rotation. Computational Logic: Logic Programming and Beyond (2002)
Maurice Bruynooghe, Luís Moniz Pereira, Jörg H. Siekmann, Maarten H. van Emden
A Portrait of a Scientist as a Computational Logician. Computational Logic: Logic Programming and Beyond (2002)
Sergio Greco, Domenico Saccà
Search and Optimization Problems in Datalog. Computational Logic: Logic Programming and Beyond (2002)
Carlo Zaniolo
Key Constraints and Monotonic Aggregates in Deductive Databases. Computational Logic: Logic Programming and Beyond (2002)
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
Description Logics for Information Integration. Computational Logic: Logic Programming and Beyond (2002)
Christoph G. Jung, Klaus Fischer
Logic-Based Hybrid Agents. Computational Logic: Logic Programming and Beyond (2002)
José Júlio Alferes, Luís Moniz Pereira
Logic Programming Updating - A Guided Approach. Computational Logic: Logic Programming and Beyond (2002)
Peter A. Flach, Nada Lavrac
Learning in Clausal Logic: A Perspective on Inductive Logic Programming. Computational Logic: Logic Programming and Beyond (2002)
Robert A. Kowalski
Directions for Logic Programming. Computational Logic: Logic Programming and Beyond (2002)
Krysia Broda
A Decidable CLDS for Some Propositional Resource Logics. Computational Logic: Logic Programming and Beyond (2002)
Henry Prakken, Giovanni Sartor
The Role of Logic in Computational Models of Legal Argument: A Critical Survey. Computational Logic: Logic Programming and Beyond (2002)
Alberto Pettorossi, Maurizio Proietti
Program Derivation = Rules + Strategies. Computational Logic: Logic Programming and Beyond (2002)