Evolving knowledge bases [[electronic resource] ] : specification and semantics / / João Alexandre Leite |
Autore | Leite João Alexandre |
Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press |
Descrizione fisica | 1 online resource (326 p.) |
Disciplina | 006.33 |
Collana | Frontiers in artificial intelligence and applications,Dissertations in artificial intelligence |
Soggetto topico |
Logic programming
Expert systems (Computer science) |
Soggetto genere / forma | Electronic books. |
ISBN |
1-280-50564-8
9786610505647 1-4175-1145-1 600-00-0423-0 1-60129-425-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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 |
Record Nr. | UNINA-9910449797303321 |
Leite João Alexandre | ||
Amsterdam ; ; Washington, DC, : IOS Press | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Evolving knowledge bases [[electronic resource] ] : specification and semantics / / João Alexandre Leite |
Autore | Leite João Alexandre |
Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press |
Descrizione fisica | 1 online resource (326 p.) |
Disciplina | 006.33 |
Collana | Frontiers in artificial intelligence and applications,Dissertations in artificial intelligence |
Soggetto topico |
Logic programming
Expert systems (Computer science) |
ISBN |
1-280-50564-8
9786610505647 1-4175-1145-1 600-00-0423-0 1-60129-425-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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 |
Record Nr. | UNINA-9910783411603321 |
Leite João Alexandre | ||
Amsterdam ; ; Washington, DC, : IOS Press | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|