Logics in artificial intelligence. European workshop, JELIA '98. Dagstuhl, Germany, October 12--15, 1998. Proceedings (Q1270495)

The articles of mathematical interest will be reviewed individually. The preceding workshop (1994) has been announced (see Zbl 0849.00036). Indexed articles: \textit{Denecker, Marc}, The well-founded semantics is the principle of inductive definition, 1-16 [Zbl 0928.03033] \textit{Dell'Acqua, Pierangelo; Sadri, Fariba; Toni, Francesca}, Combining introspection and communication with rationality and reactivity in agents, 17-32 [Zbl 0928.03032] \textit{Lu, Wenjin; Furbach, Ulrich}, Disjunctive logic program = Horn program + control program, 33-46 [Zbl 0939.68017] \textit{Osorio, Mauricio}, Semantics of partial-order programs, 47-61 [Zbl 0946.68090] \textit{van der Hoek, Wiebe; Jaspars, Jan; Thijsse, Elias}, Persistence and minimality in epistemic logic, 62-76 [Zbl 0929.03027] \textit{van der Torre, Leendert W. N.; Tan, Yao-Hua}, Prohairetic deontic logic (PDL), 77-91 [Zbl 0932.03020] \textit{van der Torre, Leendert W. N.}, Phased labeled logics of conditional goals, 92-106 [Zbl 0945.03033] \textit{Bonacina, Maria Paola}, Analysis of distributed-search contraction-based strategies, 107-121 [Zbl 0936.03013] \textit{Bry, François; Torge, Sunna}, A deduction method complete for refutation and finite satisfiability, 122-138 [Zbl 0928.03031] \textit{Fuchs, Dirk}, Requirement-based cooperative theorem proving, 139-153 [Zbl 0928.03008] \textit{Leach, Sonia M.; Lu, James J.; Murray, Neil V.; Rosenthal, Erik}, \(\mho\)-resolution: An inference rule for regular multiple-valued logics, 154-168 [Zbl 0927.03022] \textit{Mantel, Heiko; Kreitz, Christoph}, A matrix characterization for \(\mathcal{MELL}\), 169-183 [Zbl 0928.03009] \textit{Monz, Christof; de Rijke, Maarten}, A resolution calculus for dynamic semantics, 184-198 [Zbl 0928.03010] \textit{Pichler, Reinhard}, Algorithms on atomic representations of Herbrand models, 199-215 [Zbl 0929.03021] \textit{Janhunen, Tomi}, On the intertranslatability of autoepistemic, default and priority logics, and parallel circumscription, 216-232 [Zbl 0928.03027] \textit{Linke, Thomas; Schaub, Torsten}, An approach to query-answering in Reiter's default logic and the underlying existence of extensions problem, 233-247 [Zbl 0928.03028] \textit{Dawson, Jeremy E.; Goré, Rajeev}, A mechanised proof system for relation algebra using display logic, 264-278 [Zbl 0928.03007] \textit{Demri, Stéphane; Konikowska, Beata}, Relative similarity logics are decidable: Reduction to \(\text{FO}^2\) with equality, 279-293 [Zbl 0935.03018] \textit{Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola}, A conditional logic for belief revision, 294-308 [Zbl 0928.03015] \textit{de Guzmán, Inman P.; Ojeda-Aciego, Manuel; Valverde, Augustín}, Implicates and reduction techniques for temporal logics, 309-323 [Zbl 0927.03034] \textit{Koriche, Frédéric}, A logic for anytime deduction and anytime compilation, 324-341 [Zbl 0928.03034] \textit{Kerber, Manfred}, On knowledge, strings, and paradoxes, 342-354 [Zbl 0928.03016] \textit{Lu, Jianguo; Harao, Masateru; Hagiya, Masami}, Higher order generalization, 368-381 [Zbl 0928.03035]