Browse "GCT-Journal Papers(저널논문)" by Subject Mereotopology

Showing results 1 to 2 of 2

1
Reasoning about models of context: A context-oriented logical language for knowledge-based context-aware applications

Schmidtke, Hedda R.; Hong, Dongpyo; Woo, Woontack, REVUE DINTELLIGENCE ARTIFICIELLE, v.22, no.5, pp.589 - 608, 2008-10

2
Towards ontology-based formal verification methods for context aware systems

Schmidtke, Hedda R.; Woo, Woontack, LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS), v.5538, pp.309 - 326, 2009-05

rss_1.0 rss_2.0 atom_1.0