Logical Tools for Handling Change in Agent-Based Systems by Dov M. Gabbay (Engli
174,10 €
By Dov M. Gabbay, Karl Schlechta. These tools include preferential reasoning, theory revision, and reasoning in inheritance systems, and the authors use these tools to examine nonmonotonic logic, deontic logic, counterfactuals, modal logic, intuitionistic logic, and temporal logic.
Jetzt bei Ebay:
