|
|||||
|
|
A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning |
|
| Authors: | BALDONI, MATTEO GIORDANO, LAURA MARTELLI, ALBERTO |
| Affiliation: | Dipartimento di Informatica, Universitaà degli Studi di Torno C.so Svizzera 185, I-10149 Torino, Italy E-mail: baldonilauramrt{at}di.unito.it |
| Abstract: | |
| Keywords: | Logic programming modal logic modularity knowledge and beliefs hypothetical reasoning |
| 本文献已被 Oxford 等数据库收录！ | |