Gabbay, Dov M.
Logical Tools for Handling Change in Agent-Based Systems [electronic resource] / by Dov M. Gabbay, Karl Schlechta. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Cognitive Technologies, 1611-2482 . - Cognitive Technologies, .
9783642044076
10.1007/978-3-642-04407-6 doi
Computer science.
Logic.
Artificial intelligence.
Logic, Symbolic and mathematical.
Computer Science.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Logic.
Q334-342 TJ210.2-211.495
006.3
Logical Tools for Handling Change in Agent-Based Systems [electronic resource] / by Dov M. Gabbay, Karl Schlechta. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Cognitive Technologies, 1611-2482 . - Cognitive Technologies, .
9783642044076
10.1007/978-3-642-04407-6 doi
Computer science.
Logic.
Artificial intelligence.
Logic, Symbolic and mathematical.
Computer Science.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Logic.
Q334-342 TJ210.2-211.495
006.3