Grammatical specification of domain ontologies
Data & Knowledge Engineering - NLDB2002
Typed category theory-based micro-view emergency knowledge representation
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Distributive lattice-structured ontologies
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
A decision procedure for monotone functions over bounded and complete lattices
TARSKI'02-05 Proceedings of the 2006 international conference on Theory and Applications of Relational Structures as Knowledge Instruments - Volume 2
Assertions, conditionals, and defaults
WCII'02 Proceedings of the 2002 international conference on Conditionals, Information, and Inference
| Hi-index | 0.00 |