Logics in artificial intelligence. European workshop, JELIA 2000, Málaga, Spain, September 29--October 2, 2000. Proceedings (Q1589827)

The articles of this volume will be reviewed individually. The 1998 workshop has been reviewed (see Zbl 0940.00053). Indexed articles: \textit{van Benthem, Johan}, `On being informed': Update logics for knowledge states, 1 [Zbl 0998.68646] \textit{Eiter, Thomas; Fink, Michael; Sabbatini, Giuliana; Tompits, Hans}, Considerations on updates of logic programs, 2-20 [Zbl 0998.68029] \textit{Ahrendt, Wolfgang; Baar, Thomas; Beckert, Bernhard; Giese, Martin; Habermalz, Elmar; Hähnle, Reiner; Menzel, Wolfram; Schmitt, Peter H.}, The KeY approach: Integrating object oriented design and formal verification, 21-36 [Zbl 0998.68651] \textit{Sturm, Holger; Suzuki, Nobu-Yuki; Wolter, Frank; Zakharyaschev, Michael}, Semi-qualitative reasoning about distances: A preliminary report, 37-56 [Zbl 0998.68157] \textit{Damásio, Carlos Viegas; Pereira, Luís Moniz}, Hybrid probabilistic logic programs as residuated logic programs, 57-72 [Zbl 0998.68030] \textit{Aiello, Marco}, Topo-distance: Measuring the difference between spatial patterns, 73-86 [Zbl 0998.68158] \textit{Frias Delgado, Antonio; Jimenez Millan, Jose Antonio}, An abductive mechanism for natural language processing based on Lambek calculus, 87-101 [Zbl 0998.68182] \textit{Janhunen, Tomi}, Capturing stationary and regular extensions with Reiter's extensions, 102-117 [Zbl 0998.68159] \textit{Li, Chunping}, Representing the process semantics in the event calculus, 118-132 [Zbl 0998.68160] \textit{Sierra-Santibáñez, Josefina}, Declarative formalization of strategies for action selection: Applications to planning, 133-147 [Zbl 0998.68156] \textit{Arieli, Ofer}, An algorithmic approach to recover inconsistent knowledge-bases, 148-162 [Zbl 0998.68045] \textit{Nayak, Abhaya C.}, Acceptance without minimality, 163-178 [Zbl 0998.68173] \textit{Gutiérrez, Gloria; de Guzmán, Inma P.; Martínez, Javier; Ojeda-Aciego, Manuel; Valverde, Agustín}, Reduction theorems for Boolean formulas using \(\Delta\)-trees, 179-192 [Zbl 0998.03006] \textit{Martín, Pedro J.; Gavilanes, Antonio}, Simultaneous rigid sorted unification, 193-208 [Zbl 0998.03008] \textit{Riazanov, Alexandre; Voronkov, Andrei}, Partially adaptive code trees, 209-223 [Zbl 0998.68155] \textit{Prakken, Henry}, On dialogue systems with speech acts, arguments, and counterarguments, 224-238 [Zbl 0998.68161] \textit{Vreeswijk, Gerard A. W.; Prakken, Henry}, Credulous and sceptical argument games for preferred semantics, 239-253 [Zbl 0998.68162] \textit{van der Hoek, Wiebe; Jaspars, Jan; Thijsse, Elias}, A general approach to multi-agent minimal knowledge, 254-268 [Zbl 0998.68174] \textit{van Eijk, Rogier M.; de Boer, Frank S.; van der Hoek, Wiebe; Meyer, John-Jules Ch.}, A modal logic for network topologies, 269-283 [Zbl 0998.03019] \textit{Moreno, Antonio; Cortés, Ulises; Sales, Ton}, Avoiding logical omniscience by using subjective situations, 284-299 [Zbl 0998.68163] \textit{Wooldridge, Michael; Lomuscio, Alessio}, Multi-agent \(\mathcal {VSK}\) logic, 300-312 [Zbl 0998.68164] \textit{Eiter, Thomas; Lukasiewicz, Thomas}, New tractable cases in default reasoning from conditional knowledge bases, 313-328 [Zbl 0998.68165] \textit{Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael}, Monodic epistemic predicate logic, 329-344 [Zbl 0998.03011] \textit{Alferes, José Júlio; Pereira, Luís Moniz}, Updates plus preferences, 345-360 [Zbl 0998.68166] \textit{Liberatore, Paolo}, A framework for belief update, 361-375 [Zbl 0998.03012] \textit{Delgrande, James P.; Schaub, Torsten; Tompits, Hans}, A compilation of Brewka and Eiter's approach to prioritization, 376-390 [Zbl 0998.68167] \textit{De Vos, Marina; Vermeir, Dirk}, A logic for modeling decision making with dynamic preferences, 391-406 [Zbl 0998.68168]