TY  - BOOK
AU  - Gabbay Dov M Ed.
AU  -  Schlechta Karl
TI  - Logical tools for handling change in agent-based systems
T2  - Cognitive technologies
SN  - 9783642044069 (hbd)
U1  - B:(R1), Q0 
PY  - 2010///
CY  - Berlin
PB  - Springer       
KW  -  Artificial intelligence
KW  -  Mathematical logic and formal lanaguages
KW  -  Mathematical logic and foundations
KW  -  Nonmonotonic reasoning
KW  - Computer Science
N1  - Bibliography 295-298p.; Index 299-305p
ER  -