Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
A general framework for reasoning on inconsistency / / Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud
| 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 | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||