Gabbay Dov M Ed.
Logical tools for handling change in agent-based systems
- Berlin Springer 2010
- x, 305p. cm.
- Cognitive technologies .
Bibliography 295-298p.; Index 299-305p.
9783642044069 (hbd)
126694
3769, 28/03/2011, New India Book Agency Textual
Artificial intelligence
Mathematical logic and formal lanaguages
Mathematical logic and foundations
Nonmonotonic reasoning
Computer Science
B:(R1), Q0