default search action
60. Birthday: Robert A. Kowalski , 2002
- Antonis C. Kakas, Fariba Sadri:
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II. Lecture Notes in Computer Science 2408, Springer 2002, ISBN 3-540-43960-9
Logic in Databases and Information Integration
- Paolo Baldan, Paolo Mancarella, Alessandra Raffaetà, Franco Turini:
MuTACLP: A Language for Temporal Reasoning with Multiple Theories. 1-40 - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Description Logics for Information Integration. 41-60 - Sergio Greco, Domenico Saccà:
Search and Optimization Problems in Datalog. 61-82 - Paolo Mascellani, Dino Pedreschi:
The Declarative Side of Magic. 83-108 - Carlo Zaniolo:
Key Constraints and Monotonic Aggregates in Deductive Databases. 109-134
Automated Reasoning
- Krysia Broda:
A Decidable CLDS for Some Propositional Resource Logics. 135-159 - Alan Bundy:
A Critique of Proof Planning. 160-177 - Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura, Yasuyuki Shirai:
A Model Generation Based Theorem Prover MGTP for First-Order Logic. 178-213 - Eugenio G. Omodeo, Jacob T. Schwartz:
A 'Theory' Mechanism for a Proof-Verifier Based on First-Order Set Theory. 214-230 - Jörg H. Siekmann, Graham Wrightson:
An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure. 231-252
Non-deductive Reasoning
- Stefania Costantini:
Meta-reasoning: A Survey. 253-288 - Phan Minh Dung, Paolo Mancarella, Francesca Toni:
Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning. 289-310 - Katsumi Inoue:
Automated Abduction. 311-341 - Henry Prakken, Giovanni Sartor:
The Role of Logic in Computational Models of Legal Argument: A Critical Survey. 342-381
Logic for Action and Change
- José Júlio Alferes, Luís Moniz Pereira:
Logic Programming Updating - A Guided Approach. 382-412 - Michael Gelfond:
Representing Knowledge in A-Prolog. 413-451 - Rob Miller, Murray Shanahan:
Some Alternative Formulations of the Event Calculus. 452-490
Logic, Language, and Learning
- James Cussens:
Issues in Learning Language in Logic. 491-505 - Verónica Dahl:
On Implicit Meanings. 506-525 - Luc De Raedt:
Data Mining as Constraint Logic Programming. 526-547 - Chris Mellish:
DCGs: Parsing as Deduction? 548-566 - Taisuke Sato, Yoshitaka Kameya:
Statistical Abduction with Tabulation. 567-587
Computational Logic and Philosophy
- Donald Gillies:
Logicism and the Development of Computer Science. 588-604 - Stathis Psillos:
Simply the Best: A Case for Abduction. 605-626
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.