Computational logic: Logic programming and beyond. Essays in honour of Robert A. Kowalski. Part 2 (Q701694)

The articles of mathematical interest will be reviewed individually. Indexed articles: \textit{Baldan, Paolo; Mancarella, Paolo; Raffaetà, Alessandra; Turini, Franco}, MuTACLP: A language for temporal reasoning with multiple theories, 1-40 [Zbl 1012.68544] \textit{Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio}, Description logics for information integration, 41-60 [Zbl 1012.03512] \textit{Greco, Sergio; Saccà, Domenico}, Search and optimization problems in Datalog, 61-82 [Zbl 1012.68516] \textit{Mascellani, Paolo; Pedreschi, Dino}, The declarative side of magic, 83-108 [Zbl 1012.68511] \textit{Zaniolo, Carlo}, Key constraints and monotonic aggregates in deductive databases, 109-134 [Zbl 1012.68059] \textit{Broda, Krysia}, A decidable CLDS for some propositional resource logics, 135-159 [Zbl 1012.03019] \textit{Bundy, Alan}, A critique of proof planning, 160-177 [Zbl 1012.68180] \textit{Hasegawa, Ryuzo; Fujita, Hiroshi; Koshimura, Miyuki; Shirai, Yasuyuki}, A model generation based theorem prover MGTP for first-order logic, 178-213 [Zbl 1012.68540] \textit{Omodeo, Eugenio G.; Schwartz, Jacob T.}, A `theory' mechanism for a proof-verifier based on first-order set theory, 214-230 [Zbl 1012.68181] \textit{Siekmann, Jörg; Wrightson, Graham}, An open research problem: Strong completeness of R. Kowalski's connection graph proof procedure, 231-252 [Zbl 1012.68182] \textit{Costantini, Stefania}, Meta-reasoning: A survey, 253-288 [Zbl 1012.68190] \textit{Dung, Phan Minh; Mancarella, Paolo; Toni, Francesca}, Argumentation-based proof procedures for credulous and sceptical non-monotonic reasoning, 289-310 [Zbl 1012.68193] \textit{Inoue, Katsumi}, Automated abduction, 311-341 [Zbl 1012.68189] \textit{Prakken, Henry; Sartor, Giovanni}, The role of logic in computational models of legal argument: A critical survey, 342-381 [Zbl 1012.03044] \textit{Alferes, José Júlio; Pereira, Luís Moniz}, Logic programming updating -- A guided approach, 382-412 [Zbl 1012.68509] \textit{Gelfond, Michael}, Representing knowledge in A-Prolog, 413-451 [Zbl 1012.68545] \textit{Miller, Rob; Shanahan, Murray}, Some alternative formulations of the event calculus, 452-490 [Zbl 1012.68192] \textit{Cussens, James}, Issues in learning language in logic, 491-505 [Zbl 1012.68533] \textit{Dahl, Veronica}, On implicit meanings, 506-525 [Zbl 1012.68548] \textit{De Raedt, Luc}, Data mining as constraint logic programming, 526-547 [Zbl 1012.68515] \textit{Mellish, Chris}, DCGs: Parsing as deduction?, 548-566 [Zbl 1012.68547] \textit{Sato, Taisuke; Kameya, Yoshitaka}, Statistical abduction with tabulation, 567-587 [Zbl 1012.68535] \textit{Gillies, Donald}, Logicism and the development of computer science, 588-604 [Zbl 1012.03008] \textit{Psillos, Stathis}, Simply the best: A case for abduction, 605-625 [Zbl 1012.03009]