Gå direkte til innholdet
Logical Tools for Handling Change in Agent-Based Systems
Spar

Logical Tools for Handling Change in Agent-Based Systems

innbundet, 2009
Engelsk
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
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
15.12.2009
Antall sider
305