| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465615203316 |
|
|
Autore |
Nebel Bernhard |
|
|
Titolo |
Reasoning and Revision in Hybrid Representation Systems [[electronic resource] /] / by Bernhard Nebel |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1990.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 274 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence ; ; 422 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Artificial Intelligence |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Representation and management of knowledge -- A hybrid representation formalism -- Reasoning in the formalism -- Terminological cycles -- Belief revision -- The revision in terminological systems -- Terminological reason maintenance -- Summary and outlook -- The universal term-forming formalism U -- Overview of formalism and systems. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISALENTO991002858139707536 |
|
|
Autore |
Bailey, Cyril |
|
|
Titolo |
Phases in the religion of ancient Rome / by Cyril Bailey |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berkley : University of California Press, 1932 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Sather classical lectures ; 10 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |