Bookbot

Logical tools for handling change in agent based systems

Autor*innen

Buchbewertung

4,0(1)Abgeben

Mehr zum Buch

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.

Buchkauf

Logical tools for handling change in agent based systems, Dov M. Gabbay

Sprache
Erscheinungsdatum
2010
Wir benachrichtigen dich per E-Mail.

Lieferung

  •  

Zahlungsmethoden

4,0
Sehr gut
1 Bewertung

Hier könnte deine Bewertung stehen.