Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/ijcai/CalvaneseGS15
%A Calvanese, Diego
%A Giacomo, Giuseppe De
%A Soutchanski, Mikhail
%B IJCAI
%D 2015
%E Yang, Qiang
%E Wooldridge, Michael J.
%I AAAI Press
%K dblp
%P 2840-2846
%T On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies.
%U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2015.html#CalvaneseGS15
%@ 978-1-57735-738-4
@inproceedings{conf/ijcai/CalvaneseGS15,
added-at = {2019-08-20T00:00:00.000+0200},
author = {Calvanese, Diego and Giacomo, Giuseppe De and Soutchanski, Mikhail},
biburl = {https://www.bibsonomy.org/bibtex/2b4563e0adbc809952c677399330c5d41/dblp},
booktitle = {IJCAI},
crossref = {conf/ijcai/2015},
editor = {Yang, Qiang and Wooldridge, Michael J.},
ee = {http://ijcai.org/Abstract/15/402},
interhash = {0edee07d45ed72ea3fe5514b676a27b1},
intrahash = {b4563e0adbc809952c677399330c5d41},
isbn = {978-1-57735-738-4},
keywords = {dblp},
pages = {2840-2846},
publisher = {AAAI Press},
timestamp = {2019-08-21T11:54:26.000+0200},
title = {On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies.},
url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2015.html#CalvaneseGS15},
year = 2015
}