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

Logical Tools for Handling Change in Agent-Based Systems

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.
Painos
2010 ed.
ISBN
9783642261879
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
1.3.2012
Sivumäärä
305