Gå direkt till innehållet
Logical Tools for Handling Change in Agent-Based Systems
Spara

Logical Tools for Handling Change in Agent-Based Systems

inbunden, 2009
Engelska
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
Engelska
Vikt
446 gram
Utgivningsdatum
2009-12-15
Sidor
305