60. Birthday: Robert A. Kowalski, 2002

@proceedings{DBLP:conf/birthday/2002kowalski2,
  editor    = {Antonis C. Kakas and
               Fariba Sadri},
  title     = {Computational Logic: Logic Programming and Beyond, Essays in
               Honour of Robert A. Kowalski, Part II},
  booktitle = {Computational Logic. Logic Programming and Beyond},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2408},
  year      = {2002},
  isbn      = {3-540-43960-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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