Home > Research > Publications & Outputs > A Van Benthem Theorem for Horn Description and ...

Research

Associated organisational unit

View graph of relations

A Van Benthem Theorem for Horn Description and Modal Logic

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Published

Standard

A Van Benthem Theorem for Horn Description and Modal Logic. / Papacchini, Fabio; Wolter, Frank.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018. 2018.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Harvard

Papacchini, F & Wolter, F 2018, A Van Benthem Theorem for Horn Description and Modal Logic. in Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018.

APA

Papacchini, F., & Wolter, F. (2018). A Van Benthem Theorem for Horn Description and Modal Logic. In Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018

Vancouver

Papacchini F, Wolter F. A Van Benthem Theorem for Horn Description and Modal Logic. In Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018. 2018

Author

Papacchini, Fabio ; Wolter, Frank. / A Van Benthem Theorem for Horn Description and Modal Logic. Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018. 2018.

Bibtex

@inproceedings{99b12b6e99a04af5ba11b6a14f6d94cc,
title = "A Van Benthem Theorem for Horn Description and Modal Logic",
author = "Fabio Papacchini and Frank Wolter",
year = "2018",
language = "English",
booktitle = "Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018",

}

RIS

TY - GEN

T1 - A Van Benthem Theorem for Horn Description and Modal Logic

AU - Papacchini, Fabio

AU - Wolter, Frank

PY - 2018

Y1 - 2018

UR - http://ceur-ws.org/Vol-2211/paper-46.pdf

M3 - Conference contribution/Paper

BT - Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018

ER -