Book 2003

Logics in Artificial Intelligence

Manuel Ojeda-Aciego Inma P. de Guzman Gerhard Brewka Luis M. Pereira

Publisher: Springer
Language: English
Published: 2003

Congresses
Symbolic and mathematical Logic
Artificial intelligence
Logic, symbolic and mathematical
Computer science

Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings
Author: Manuel Ojeda-Aciego, Inma P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-41131-4
DOI: 10.1007/3-540-40006-0

Table of Contents:‘On Being Informed’: Update Logics for Knowledge States