Abstract is missing.
- MuTACLP: A Language for Temporal Reasoning with Multiple TheoriesPaolo Baldan, Paolo Mancarella, Alessandra Raffaetà, Franco Turini. 1-40 [doi]
- Description Logics for Information IntegrationDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. 41-60 [doi]
- Search and Optimization Problems in DatalogSergio Greco, Domenico Saccà. 61-82 [doi]
- The Declarative Side of MagicPaolo Mascellani, Dino Pedreschi. 83-108 [doi]
- Key Constraints and Monotonic Aggregates in Deductive DatabasesCarlo Zaniolo. 109-134 [doi]
- A Decidable CLDS for Some Propositional Resource LogicsKrysia Broda. 135-159 [doi]
- A Critique of Proof PlanningAlan Bundy. 160-177 [doi]
- A Model Generation Based Theorem Prover MGTP for First-Order LogicRyuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura, Yasuyuki Shirai. 178-213 [doi]
- A Theory Mechanism for a Proof-Verifier Based on First-Order Set TheoryEugenio G. Omodeo, Jacob T. Schwartz. 214-230 [doi]
- An Open Research Problem: Strong Completeness of R. Kowalski s Connection Graph Proof ProcedureJörg H. Siekmann, Graham Wrightson. 231-252 [doi]
- Meta-reasoning: A SurveyStefania Costantini. 253-288 [doi]
- Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic ReasoningPhan Minh Dung, Paolo Mancarella, Francesca Toni. 289-310 [doi]
- Automated AbductionKatsumi Inoue. 311-341 [doi]
- The Role of Logic in Computational Models of Legal Argument: A Critical SurveyHenry Prakken, Giovanni Sartor. 342-381 [doi]
- Logic Programming Updating - A Guided ApproachJosé Júlio Alferes, Luís Moniz Pereira. 382-412 [doi]
- Representing Knowledge in A-PrologMichael Gelfond. 413-451 [doi]
- Some Alternative Formulations of the Event CalculusRob Miller 0002, Murray Shanahan. 452-490 [doi]
- Issues in Learning Language in LogicJames Cussens. 491-505 [doi]
- On Implicit MeaningsVerónica Dahl. 506-525 [doi]
- Data Mining as Constraint Logic ProgrammingLuc De Raedt. 526-547 [doi]
- DCGs: Parsing as Deduction?Chris Mellish. 548-566 [doi]
- Statistical Abduction with TabulationTaisuke Sato, Yoshitaka Kameya. 567-587 [doi]
- Logicism and the Development of Computer ScienceDonald Gillies. 588-604 [doi]
- Simply the Best: A Case for AbductionStathis Psillos. 605-626 [doi]