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 | |
|
Attachments
|
|
|
Notes
|
|
|
|
|
|
Topics
|
|
|
|
