On constructing fibred tableaux for BDI logics

Vineet Padmanabhan; Guido Governatori

doi:10.1007/11801603_18

On constructing fibred tableaux for BDI logics

Vineet Padmanabhan, Guido Governatori

Artificial Intelligence and Cyber Futures Institute

University of Queensland

Research output: Book chapter/Published conference paper › Conference paper › peer-review

1 Citation (Scopus)

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.

Original language	English
Title of host publication	PRICAI 2006
Subtitle of host publication	Trends in Artificial Intelligence - 9th Pacific Rim International Conference on Artificial Intelligence, Proceedings
Publisher	Springer-Verlag Italia Srl
Pages	150-160
Number of pages	11
ISBN (Print)	3540366679, 9783540366676
DOIs	https://doi.org/10.1007/11801603_18
Publication status	Published - 2006
Event	9th Pacific Rim International Conference on Artificial Intelligence - Guilin, China Duration: 07 Aug 2006 → 11 Aug 2006

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4099 LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	9th Pacific Rim International Conference on Artificial Intelligence
Country/Territory	China
City	Guilin
Period	07/08/06 → 11/08/06

Access to Document

10.1007/11801603_18

Cite this

Padmanabhan, V., & Governatori, G. (2006). On constructing fibred tableaux for BDI logics. In PRICAI 2006: Trends in Artificial Intelligence - 9th Pacific Rim International Conference on Artificial Intelligence, Proceedings (pp. 150-160). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4099 LNAI). Springer-Verlag Italia Srl. https://doi.org/10.1007/11801603_18

Padmanabhan, Vineet ; Governatori, Guido. / On constructing fibred tableaux for BDI logics. PRICAI 2006: Trends in Artificial Intelligence - 9th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Springer-Verlag Italia Srl, 2006. pp. 150-160 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{fd8d71e0db1f45ffb8d0bcc833845a1e,

title = "On constructing fibred tableaux for BDI logics",

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.",

author = "Vineet Padmanabhan and Guido Governatori",

year = "2006",

doi = "10.1007/11801603_18",

language = "English",

isbn = "3540366679",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer-Verlag Italia Srl",

pages = "150--160",

booktitle = "PRICAI 2006",

address = "Italy",

note = "9th Pacific Rim International Conference on Artificial Intelligence ; Conference date: 07-08-2006 Through 11-08-2006",

}

Padmanabhan, V & Governatori, G 2006, On constructing fibred tableaux for BDI logics. in PRICAI 2006: Trends in Artificial Intelligence - 9th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4099 LNAI, Springer-Verlag Italia Srl, pp. 150-160, 9th Pacific Rim International Conference on Artificial Intelligence, Guilin, China, 07/08/06. https://doi.org/10.1007/11801603_18

On constructing fibred tableaux for BDI logics. / Padmanabhan, Vineet; Governatori, Guido.
PRICAI 2006: Trends in Artificial Intelligence - 9th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Springer-Verlag Italia Srl, 2006. p. 150-160 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4099 LNAI).

Research output: Book chapter/Published conference paper › Conference paper › peer-review

TY - GEN

T1 - On constructing fibred tableaux for BDI logics

AU - Padmanabhan, Vineet

AU - Governatori, Guido

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=33749569920&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33749569920&partnerID=8YFLogxK

U2 - 10.1007/11801603_18

DO - 10.1007/11801603_18

M3 - Conference paper

AN - SCOPUS:33749569920

SN - 3540366679

SN - 9783540366676

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 150

EP - 160

BT - PRICAI 2006

PB - Springer-Verlag Italia Srl

T2 - 9th Pacific Rim International Conference on Artificial Intelligence

Y2 - 7 August 2006 through 11 August 2006

ER -

Padmanabhan V, Governatori G. On constructing fibred tableaux for BDI logics. In PRICAI 2006: Trends in Artificial Intelligence - 9th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Springer-Verlag Italia Srl. 2006. p. 150-160. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/11801603_18

On constructing fibred tableaux for BDI logics

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this