Siirry suoraan sisältöön
Logical Tools for Handling Change in Agent-Based Systems
Tallenna

Logical Tools for Handling Change in Agent-Based Systems

sidottu, 2009
englanti
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.
ISBN
9783642044069
Kieli
englanti
Paino
446 grammaa
Julkaisupäivä
15.12.2009
Sivumäärä
305