A general framework for reasoning on inconsistency / / Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud |
Autore | Martinez Maria Vanina |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | New York : , : Springer, , 2013 |
Descrizione fisica | 1 online resource (vii, 45 pages) |
Disciplina |
001.6
001.642 |
Collana | SpringerBriefs in Computer Science |
Soggetto topico |
Logic design
Inconsistency (Logic) Computer logic |
ISBN | 1-4614-6750-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction and Preliminary Concepts -- A General Framework for Handling Inconsistency -- Algorithms -- Handling Inconsistency in Monotonic Logics -- Link with Existing Approaches -- Conclusions. |
Record Nr. | UNINA-9910437589203321 |
Martinez Maria Vanina
![]() |
||
New York : , : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Ontology-Based Data Access Leveraging Subjective Reports / / by Gerardo I. Simari, Cristian Molinaro, Maria Vanina Martinez, Thomas Lukasiewicz, Livia Predoiu |
Autore | Simari Gerardo I |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (VIII, 77 p. 32 illus., 14 illus. in color.) |
Disciplina | 006.332 |
Collana | SpringerBriefs in Computer Science |
Soggetto topico |
Computers
Electrical engineering Information Systems and Communication Service Communications Engineering, Networks |
ISBN | 3-319-65229-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1 Ontology-Based Data Access with Datalog+/- -- 2 Models for Representing User Preferences -- 3 Subjective Data: Model and Query Answering -- 4 Related Research Lines. |
Record Nr. | UNINA-9910254851303321 |
Simari Gerardo I
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|