Lotrec: The generic tableau prover for modal and description logics

L.F. Del Cerro; D. Fauthoux; O. Gasquet; A. Herzig; D. Longin; F. Massacci

doi:10.1007/3-540-45744-5_38

Lotrec: The generic tableau prover for modal and description logics

L.F. Del Cerro, D. Fauthoux, O. Gasquet, A. Herzig, D. Longin, F. Massacci

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

Original language	English
Title of host publication	Automated Reasoning - First International Joint Conference, IJCAR 2001, Proceedings
Editors	R. Gore, A. Leitsch, T. Nipkow
Publisher	Springer Verlag
Pages	453-458
DOIs	https://doi.org/10.1007/3-540-45744-5_38
Publication status	Published - 2001
Externally published	Yes
Event	1st International Joint Conference on Automated Reasoning, IJCAR 2001 - , Italy Duration: 18 Jun 2001 → 22 Jun 2001

Publication series

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

Conference

Conference	1st International Joint Conference on Automated Reasoning, IJCAR 2001
Country/Territory	Italy
Period	18/06/01 → 22/06/01

Access to Document

10.1007/3-540-45744-5_38

Persistent URL (handle)

Persistent link

Cite this

Del Cerro, L. F., Fauthoux, D., Gasquet, O., Herzig, A., Longin, D., & Massacci, F. (2001). Lotrec: The generic tableau prover for modal and description logics. In R. Gore, A. Leitsch, & T. Nipkow (Eds.), Automated Reasoning - First International Joint Conference, IJCAR 2001, Proceedings (pp. 453-458). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). Springer Verlag. https://doi.org/10.1007/3-540-45744-5_38

Del Cerro, L.F. ; Fauthoux, D. ; Gasquet, O. et al. / Lotrec : The generic tableau prover for modal and description logics. Automated Reasoning - First International Joint Conference, IJCAR 2001, Proceedings. editor / R. Gore ; A. Leitsch ; T. Nipkow. Springer Verlag, 2001. pp. 453-458 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{80e71c427a1b4eb68006583afd75ca6c,

title = "Lotrec: The generic tableau prover for modal and description logics",

author = "{Del Cerro}, L.F. and D. Fauthoux and O. Gasquet and A. Herzig and D. Longin and F. Massacci",

year = "2001",

doi = "10.1007/3-540-45744-5_38",

language = "English",

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

publisher = "Springer Verlag",

pages = "453--458",

editor = "R. Gore and A. Leitsch and T. Nipkow",

booktitle = "Automated Reasoning - First International Joint Conference, IJCAR 2001, Proceedings",

note = "1st International Joint Conference on Automated Reasoning, IJCAR 2001 ; Conference date: 18-06-2001 Through 22-06-2001",

}

Del Cerro, LF, Fauthoux, D, Gasquet, O, Herzig, A, Longin, D & Massacci, F 2001, Lotrec: The generic tableau prover for modal and description logics. in R Gore, A Leitsch & T Nipkow (eds), Automated Reasoning - First International Joint Conference, IJCAR 2001, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, pp. 453-458, 1st International Joint Conference on Automated Reasoning, IJCAR 2001, Italy, 18/06/01. https://doi.org/10.1007/3-540-45744-5_38

Lotrec: The generic tableau prover for modal and description logics. / Del Cerro, L.F.; Fauthoux, D.; Gasquet, O. et al.
Automated Reasoning - First International Joint Conference, IJCAR 2001, Proceedings. ed. / R. Gore; A. Leitsch; T. Nipkow. Springer Verlag, 2001. p. 453-458 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

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

TY - GEN

T1 - Lotrec

T2 - 1st International Joint Conference on Automated Reasoning, IJCAR 2001

AU - Del Cerro, L.F.

AU - Fauthoux, D.

AU - Gasquet, O.

AU - Herzig, A.

AU - Longin, D.

AU - Massacci, F.

PY - 2001

Y1 - 2001

U2 - 10.1007/3-540-45744-5_38

DO - 10.1007/3-540-45744-5_38

M3 - Conference contribution

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

SP - 453

EP - 458

BT - Automated Reasoning - First International Joint Conference, IJCAR 2001, Proceedings

A2 - Gore, R.

A2 - Leitsch, A.

A2 - Nipkow, T.

PB - Springer Verlag

Y2 - 18 June 2001 through 22 June 2001

ER -

Del Cerro LF, Fauthoux D, Gasquet O, Herzig A, Longin D, Massacci F. Lotrec: The generic tableau prover for modal and description logics. In Gore R, Leitsch A, Nipkow T, editors, Automated Reasoning - First International Joint Conference, IJCAR 2001, Proceedings. Springer Verlag. 2001. p. 453-458. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-45744-5_38