On constructing fibred tableaux for BDI logics
On constructing fibred tableaux for BDI logics
| dc.contributor.author | Padmanabhan, Vineet | |
| dc.contributor.author | Governatori, Guido | |
| dc.date.accessioned | 2022-03-27T05:51:32Z | |
| dc.date.available | 2022-03-27T05:51:32Z | |
| dc.date.issued | 2006-01-01 | |
| dc.description.abstract | In [11,13] we showed how to combine prepositional BDI logics using Gabbay's fibring methodology. In this paper we extend the above mentioned works by providing a tableau-based decision procedure for the combined/fibred logics. We show how to uniformly construct a tableau calculus for the combined logic using Govematori's labelled tableau system KEM. © Springer-Verlag Berlin Heidelberg 2006. | |
| dc.identifier.citation | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). v.4099 LNAI | |
| dc.identifier.issn | 03029743 | |
| dc.identifier.uri | 10.1007/11801603_18 | |
| dc.identifier.uri | http://link.springer.com/10.1007/11801603_18 | |
| dc.identifier.uri | https://dspace.uohyd.ac.in/handle/1/8406 | |
| dc.title | On constructing fibred tableaux for BDI logics | |
| dc.type | Book Series. Conference Paper | |
| dspace.entity.type |
Files
License bundle
1 - 1 of 1