[BibTeX] [RIS]
Modular Construction of Models - Towards a Consistency Proof for the Foundational Ontology DOLCE
Type of publication: Inproceedings
Citation: KutzEtal09b
Booktitle: First International Workshop on Foundations of Computer Science as Logic-Related, (ICTAC-08)
Year: 2008
URL: http://www.cle.unicamp.br/prof...
Userfields: bdsk-url-1={http://www.cle.unicamp.br/prof/carnielli/istanbul08/index08.html}, project={I1-OntoSpace}, status={Reviewed},
Keywords:
Authors Kutz, Oliver
L├╝cke, Dominik
Mossakowski, Till
Attachments
    Notes
      Topics