Knowledge representation, reasoning and declarative problem solving / Chitta Baral |
Autore | Baral, Chitta |
Pubbl/distr/stampa | Cambridge : Cambridge University press, ©2003 |
Descrizione fisica | XIV, 530 p. ; 25 cm |
Disciplina | 006.33 |
Soggetto non controllato | Intelligenza artificiale |
ISBN | 0-521-81802-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990008859160403321 |
Baral, Chitta
![]() |
||
Cambridge : Cambridge University press, ©2003 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Logic Programming and Nonmonotonic Reasoning [Risorsa elettronica] : 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings / edited by Chitta Baral, Gerhard Brewka, John Schlipf |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2007 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540722007 |
Formato | Risorse elettroniche ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009246900403321 |
Berlin ; Heidelberg : Springer, 2007 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Logic Programming and Nonmonotonic Reasoning [Risorsa elettronica] : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings / edited by Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2005 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540318279 |
Formato | Risorse elettroniche ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009238920403321 |
Berlin ; Heidelberg : Springer, 2005 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|