Logics in artificial intelligence. European workshop, JELIA 2000, Málaga, Spain, September 29--October 2, 2000. Proceedings
type: Item
instance of: scholarly article
title: Logics in artificial intelligence. European workshop, JELIA 2000, Málaga, Spain, September 29--October 2, 2000. Proceedings
zbMATH Open document ID: 0952.00045
DOI: 10.1007/3-540-40006-0
published in: Lecture Notes in Computer Science
publication date: 2000-12-12T00:00:00Z
review text: 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…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 03-06
zbMATH DE Number: 1542621
zbMATH Keywords: Málaga (Spain)
zbMATH Keywords: Workshop
zbMATH Keywords: Proceedings
zbMATH Keywords: JELIA 2000
zbMATH Keywords: Logics
zbMATH Keywords: Artificial intelligence
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/3-540-40006-0
OpenAlex ID: W4213330722
description: scientific article; zbMATH DE number 1542621