CATALOGO DEI PRODOTTI DELLA RICERCA
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishAutomated reasoning and knowledge representation are intertwined, as reasoning engines need to take into account representation formalisms and vice versa. The chapter entitled "Automated Reasoning" surveys both. It covers classical and non-classical logics, illustrating relevant trade-offs between expressivity and decidability. It summarizes basic principles and results in theorem proving, model building, decision procedures, model checking, logic programming, with applications ranging from verification and reasoning about action to multi-agent systems and web-based reasoning.
| Titolo: | Automated Reasoning |
| Autori: | |
| Data di pubblicazione: | 2006 |
| Rivista: | |
| Handle: | http://hdl.handle.net/11562/300531 |
| Appare nelle tipologie: | 01.01 Articolo in Rivista |
File in questo prodotto:
Copyright © 2021