|
Volumn , Issue , 2009, Pages 53-58
|
Definability and process ontologies
|
Author keywords
[No Author keywords available]
|
Indexed keywords
AXIOMATIZATION;
DEFINABILITY;
FIRST-ORDER;
FIRST-ORDER THEORIES;
PROCESS ONTOLOGIES;
PSL ONTOLOGY;
SECOND ORDERS;
SITUATION CALCULUS;
|
EID: 84888346485
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
Times cited : (3)
|
References (10)
|