A Tableau Method for Checking Rule Admissibility in S4

Sergey Babenyshev; Vladimir Rybakov; Renate A Schmidt; Dmitry Tishkovsky; Christopher Lynch; Paliath Narendran; Franz Baader; Silvio Ghilardi; Miki Hermann; Viorica Sofronie-Stokkermans; Ashish Tiwari

A Tableau Method for Checking Rule Admissibility in S4

Sergey Babenyshev, Vladimir Rybakov, Renate A Schmidt, Dmitry Tishkovsky, Christopher Lynch (Editor), Paliath Narendran (Editor), Franz Baader (Editor), Silvio Ghilardi (Editor), Miki Hermann (Editor), Viorica Sofronie-Stokkermans (Editor), Ashish Tiwari (Editor)

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Proceedings of the 23d International Workshop on Unification (UNIF'09) and the International Workshop on Automated Deduction: Decidability, Complexity, Tractability (ADDCT'09)
Editors	Christopher Lynch, Paliath Narendran, Franz Baader, Silvio Ghilardi, Miki Hermann, Viorica Sofronie-Stokkermans, Ashish Tiwari
Pages	47-61
Number of pages	15
Publication status	Published - 2009

Cite this

Babenyshev, S., Rybakov, V., Schmidt, R. A., Tishkovsky, D., Lynch, C. (Ed.), Narendran, P. (Ed.), Baader, F. (Ed.), Ghilardi, S. (Ed.), Hermann, M. (Ed.), Sofronie-Stokkermans, V. (Ed.), & Tiwari, A. (Ed.) (2009). A Tableau Method for Checking Rule Admissibility in S4. In C. Lynch, P. Narendran, F. Baader, S. Ghilardi, M. Hermann, V. Sofronie-Stokkermans, & A. Tiwari (Eds.), Proceedings of the 23d International Workshop on Unification (UNIF'09) and the International Workshop on Automated Deduction: Decidability, Complexity, Tractability (ADDCT'09) (pp. 47-61)

Babenyshev, Sergey ; Rybakov, Vladimir ; Schmidt, Renate A et al. / A Tableau Method for Checking Rule Admissibility in S4. Proceedings of the 23d International Workshop on Unification (UNIF'09) and the International Workshop on Automated Deduction: Decidability, Complexity, Tractability (ADDCT'09). editor / Christopher Lynch ; Paliath Narendran ; Franz Baader ; Silvio Ghilardi ; Miki Hermann ; Viorica Sofronie-Stokkermans ; Ashish Tiwari. 2009. pp. 47-61

@inproceedings{2f17218015af4f9f96323f5d55f14f2f,

title = "A Tableau Method for Checking Rule Admissibility in S4",

author = "Sergey Babenyshev and Vladimir Rybakov and Schmidt, {Renate A} and Dmitry Tishkovsky and Christopher Lynch and Paliath Narendran and Franz Baader and Silvio Ghilardi and Miki Hermann and Viorica Sofronie-Stokkermans and Ashish Tiwari",

year = "2009",

language = "English",

pages = "47--61",

editor = "Christopher Lynch and Paliath Narendran and Franz Baader and Silvio Ghilardi and Miki Hermann and Viorica Sofronie-Stokkermans and Ashish Tiwari",

booktitle = "Proceedings of the 23d International Workshop on Unification (UNIF'09) and the International Workshop on Automated Deduction: Decidability, Complexity, Tractability (ADDCT'09)",

}

Babenyshev, S, Rybakov, V, Schmidt, RA, Tishkovsky, D, Lynch, C (ed.), Narendran, P (ed.), Baader, F (ed.), Ghilardi, S (ed.), Hermann, M (ed.), Sofronie-Stokkermans, V (ed.) & Tiwari, A (ed.) 2009, A Tableau Method for Checking Rule Admissibility in S4. in C Lynch, P Narendran, F Baader, S Ghilardi, M Hermann, V Sofronie-Stokkermans & A Tiwari (eds), Proceedings of the 23d International Workshop on Unification (UNIF'09) and the International Workshop on Automated Deduction: Decidability, Complexity, Tractability (ADDCT'09). pp. 47-61.

A Tableau Method for Checking Rule Admissibility in S4. / Babenyshev, Sergey; Rybakov, Vladimir; Schmidt, Renate A et al.
Proceedings of the 23d International Workshop on Unification (UNIF'09) and the International Workshop on Automated Deduction: Decidability, Complexity, Tractability (ADDCT'09). ed. / Christopher Lynch; Paliath Narendran; Franz Baader; Silvio Ghilardi; Miki Hermann; Viorica Sofronie-Stokkermans; Ashish Tiwari. 2009. p. 47-61.

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - A Tableau Method for Checking Rule Admissibility in S4

AU - Babenyshev, Sergey

AU - Rybakov, Vladimir

AU - Schmidt, Renate A

AU - Tishkovsky, Dmitry

A2 - Lynch, Christopher

A2 - Narendran, Paliath

A2 - Baader, Franz

A2 - Ghilardi, Silvio

A2 - Hermann, Miki

A2 - Sofronie-Stokkermans, Viorica

A2 - Tiwari, Ashish

A2 - Lynch, Christopher

A2 - Narendran, Paliath

A2 - Baader, Franz

A2 - Ghilardi, Silvio

A2 - Hermann, Miki

A2 - Sofronie-Stokkermans, Viorica

A2 - Tiwari, Ashish

PY - 2009

Y1 - 2009

M3 - Conference contribution

SP - 47

EP - 61

BT - Proceedings of the 23d International Workshop on Unification (UNIF'09) and the International Workshop on Automated Deduction: Decidability, Complexity, Tractability (ADDCT'09)

ER -

Babenyshev S, Rybakov V, Schmidt RA, Tishkovsky D, Lynch C, (ed.), Narendran P, (ed.) et al. A Tableau Method for Checking Rule Admissibility in S4. In Lynch C, Narendran P, Baader F, Ghilardi S, Hermann M, Sofronie-Stokkermans V, Tiwari A, editors, Proceedings of the 23d International Workshop on Unification (UNIF'09) and the International Workshop on Automated Deduction: Decidability, Complexity, Tractability (ADDCT'09). 2009. p. 47-61