| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910449797303321 |
|
|
Autore |
Leite João Alexandre |
|
|
Titolo |
Evolving knowledge bases [[electronic resource] ] : specification and semantics / / João Alexandre Leite |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Amsterdam ; ; Washington, DC, : IOS Press |
|
Tokyo, : Ohmsha, c2003 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-280-50564-8 |
9786610505647 |
1-4175-1145-1 |
600-00-0423-0 |
1-60129-425-5 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (326 p.) |
|
|
|
|
|
|
Collana |
|
Frontiers in artificial intelligence and applications, , 0922-6389 ; ; v. 81. Dissertations in artificial intelligence |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Logic programming |
Expert systems (Computer science) |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (p. 283-301). |
|
|
|
|
|
|
Nota di contenuto |
|
Cover; Title page; Acknowledgements; Abstract; Contents; List of Figures; Preface; 1 Introduction; 2 Logic Programming for NMR; 3 Dynamic Logic Programming; 4 Languages of Updates; 5 Knowledge and Behaviour Update Language; 6 Multi-dimensional Dynamic Logic Programming; 7 Multi-dimensional KABUL; 8 Illustrative Examples; 9 Conclusions and Future Directions; Bibliography; A List of Symbols |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
An Evolving Knowledge Base (EKB) is capable of self evolution by means of its internally specified behaviour. In this thesis the author incrementally specifies, semantically characterizes and illustrates with examples, the concepts and tools necessary to the development of EKBs. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISANNIOUBO0288775 |
|
|
Autore |
Viola, Erasmo |
|
|
Titolo |
1: Teoria dell'elasticita / Erasmo Viola |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Bologna, : Pitagora, 1992 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[2. ed] |
|
|
|
|
|
Descrizione fisica |
|
XV, 614 p. : ill. ; 24 cm. |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Scienza delle costruzioni |
Elasticità |
|
|
|
|
|
|
|
|
Collocazione |
|
SALA DING 624.1 VIO.sc01SALA DING 624.1 VIO.sc |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNIORUON00040832 |
|
|
Autore |
Errera, Carlo |
|
|
Titolo |
L'Epoca delle grandi scoperte geografiche / Carlo Errera |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Milano, : Ulrico Hoepli, 1902 |
|
|
|
|
|
|
|
Descrizione fisica |
|
XVI, 432 p., 21 c. di tav. ; 18 cm |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |