Talks and Poster Presentations (with Proceedings-Entry):
N. Labai, M. Homola, M. Ortiz de la Fuente:
"Constructive Satisfiability Procedure for ALCP(Z) (Preliminary Report)";
Talk: 30th International Workshop on Description Logics,
Montpellier, France;
2017-07-18
- 2017-07-21; in: "Proceedings of the 30th International Workshop on Description Logics",
A. Artale, B. Glimm, R. Kontchakov (ed.);
CEUR Workshop Proceedings,
1879
(2017),
ISSN: 1613-0073;
1
- 13.
Electronic version of the publication:
http://ceur-ws.org/Vol-1879/paper16.pdf
Created from the Publication Database of the Vienna University of Technology.