Computational logic: logic programming and beyond. Essays in honour of Robert A. Kowalski. Part 1 (Q701693)

The articles of mathematical interest will be reviewed individually. Indexed articles: \textit{Bruynooghe, Maurice; Pereira, Luís Moniz; Siekmann, Jörg H.; van Emden, Maarten}, A portrait of a scientist as a computational logician, 1-4 [Zbl 1012.01506] \textit{Sergot, Marek}, Bob Kowalski: A portrait, 5-25 [Zbl 1012.01507] \textit{Kowalski, Robert A.}, Directions for logic programming, 26-32 [Zbl 1012.68506] \textit{Clark, Keith; Robinson, Peter J.}, Agents as multi-threaded logical objects, 33-65 [Zbl 1012.68504] \textit{Davison, Andrew}, Logic programming languages for the internet, 66-104 [Zbl 1012.68508] \textit{Lloyd, John W.}, Higher-order computational logic, 105-137 [Zbl 1012.03043] \textit{Ueda, Kazunori}, A pure meta-interpreter for Flat GHC, a concurrent constraint language, 138-161 [Zbl 1012.68502] \textit{Bossi, Annalisa; Cocco, Nicoletta; Etalle, Sandro}, Transformation systems and nondeclarative properties, 162-186 [Zbl 1012.68512] \textit{De Schreye, Danny; Serebrenik, Alexander}, Acceptability with general orderings, 187-210 [Zbl 1012.68037] \textit{Gupta, Gopal; Pontelli, Enrico}, Specification, implementation, and verification of domain specific languages: A logic programming-based approach, 211-239 [Zbl 1012.68513] \textit{Mancarella, Paolo; Pedreschi, Dino; Ruggieri, Salvatore}, Negation as failure through abduction: Reasoning about termination, 240-272 [Zbl 1012.68038] \textit{Pettorossi, Alberto; Proietti, Maurizio}, Program derivation \(=\) rules \(+\) strategies, 273-309 [Zbl 1012.68033] \textit{Flener, Pierre}, Achievements and prospects of program synthesis, 310-346 [Zbl 1012.68500] \textit{Lau, Kung-Kiu; Ornaghi, Mario}, Logic for component-based software development, 347-373 [Zbl 1012.68501] \textit{Sterling, Leon}, Patterns for Prolog programming, 374-401 [Zbl 1012.68510] \textit{Denecker, Marc; Kakas, Antonis}, Abduction in logic programming, 402-436 [Zbl 1012.68503] \textit{Flach, Peter; Lavrac, Nada}, Learning in clausal logic: A perspective on inductive logic programming, 437-471 [Zbl 1012.68534] \textit{Minker, Jack; Seipel, Dietmar}, Disjunctive logic programming: A survey and assessment, 472-511 [Zbl 1012.68507] \textit{Wallace, Mark}, Constraint logic programming, 512-532 [Zbl 1012.68505] \textit{Aiello, Luigia Carlucci; Massacci, Fabio}, Planning attacks to security protocols: Case studies in logic programming, 533-560 [Zbl 1012.68517] \textit{Buccafurri, Francesco; Gottlob, Georg}, Multiagent compromises, joint fixpoints, and stable models, 561-585 [Zbl 1012.68191] \textit{Eiter, Thomas; Mascardi, Viviana; Subrahmanian, V. S.}, Error-tolerant agents, 586-625 [Zbl 1012.68541] \textit{Jung, Christoph G.; Fischer, Klaus}, Logic-based hybrid agents, 626-654 [Zbl 1012.68543] \textit{Sjöland, Thomas; Kreuger, Per; Aronsson, Martin}, Heterogeneous scheduling and rotation, 655-675 [Zbl 1012.68542]