Browse Wiki & Semantic Web

	This page has no properties.

	No properties link to this page.

https://dblp.org/rec/conf/ijcai/CalvaneseMPG15

https://dblp.org/rdf/schema#authoredBy	https://dblp.org/pid/c/DiegoCalvanese + , https://dblp.org/pid/85/1455 + , https://dblp.org/pid/79/782 + , https://dblp.org/pid/g/GDGiacomo +
https://dblp.org/rdf/schema#bibtexType	http://purl.org/net/nknouf/ns/bibtex#Inproceedings +
https://dblp.org/rdf/schema#documentPage	http://ijcai.org/Abstract/15/604 +
https://dblp.org/rdf/schema#listedOnTocPage	https://dblp.org/db/conf/ijcai/ijcai2015 +
https://dblp.org/rdf/schema#numberOfCreators	4
https://dblp.org/rdf/schema#pagination	4247-4253
https://dblp.org/rdf/schema#primaryDocumentPage	http://ijcai.org/Abstract/15/604 +
https://dblp.org/rdf/schema#publishedAsPartOf	https://dblp.org/rec/conf/ijcai/2015 +
https://dblp.org/rdf/schema#publishedIn	IJCAI
https://dblp.org/rdf/schema#publishedInBook	IJCAI
https://dblp.org/rdf/schema#title	Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis.
https://dblp.org/rdf/schema#yearOfEvent	2015
https://dblp.org/rdf/schema#yearOfPublication	2015
rdf:type	https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Inproceedings +
rdfs:label	Diego Calvanese et al.: Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis. (2015)

	This page has no properties.

Navigation menu