Logical Tools for Handling Change in Agent-Based Systems
By: by Dov M. Gabbay, Karl Schlechta
Contributors: Schlechta, Karl; SpringerLink (Online service)
Series: Cognitive Technologies
Publisher: Springer-Verlag Berlin Heidelberg; Springer
Published: 2010
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] /
Number of pages: 305
ISBN-13: 9783642044069; 9783642044076
Subjects: Symbolic and mathematical Logic; Computer science; Artificial intelligence; Logic