The Automation of Reasoning with Incomplete Information [[electronic resource] ] : From Semantic Foundations to Efficient Computation / / by Torsten Schaub |
Autore | Schaub Torsten |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (XIV, 166 p.) |
Disciplina | 006.3/33 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Mathematical logic Artificial Intelligence Mathematical Logic and Formal Languages |
ISBN | 3-540-69793-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The original approach: Classical default logic -- An alternative approach: Constrained default logic -- Putting default logics into perspective -- A context-based framework for default logics -- Possible worlds semantics for default logics -- Adding specificity to default logics -- Adding lemma handling to default logics -- Query-answering in default logics -- A Prolog-technology compiler for query-answering -- Conclusions and perspectives. |
Record Nr. | UNINA-9910143474603321 |
Schaub Torsten
![]() |
||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
The Automation of Reasoning with Incomplete Information [[electronic resource] ] : From Semantic Foundations to Efficient Computation / / by Torsten Schaub |
Autore | Schaub Torsten |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (XIV, 166 p.) |
Disciplina | 006.3/33 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Mathematical logic Artificial Intelligence Mathematical Logic and Formal Languages |
ISBN | 3-540-69793-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The original approach: Classical default logic -- An alternative approach: Constrained default logic -- Putting default logics into perspective -- A context-based framework for default logics -- Possible worlds semantics for default logics -- Adding specificity to default logics -- Adding lemma handling to default logics -- Query-answering in default logics -- A Prolog-technology compiler for query-answering -- Conclusions and perspectives. |
Record Nr. | UNISA-996466100103316 |
Schaub Torsten
![]() |
||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|