Belief Revision in Non-Classical Logics
SpringerBriefs in Computer Science
- Format: Pocket
- Antall sider: 120
- Språk: Engelsk
- Forlag/Utgiver: SD Books
- Serienavn: SpringerBriefs in Computer Science
- EAN: 9781447141853
- Utgivelsesår: 2012
- Bidragsyter: Ribeiro, Marcio Moretto
649,-
however, classical belief revision is not well suited for logics such as Description Logics.Belief Revision in Non-Classical Logics presents a framework which can be applied to a wide class of logics that include - besides most Description Logics such as the ones behind OWL - Horn Logic and Intuitionistic logic, amongst others.
Flere i samme serie.
Merk produktene som skal legges i handlekurven
