Logical Connections of Statements at the Ontological Level.
Int. J. Cogn. Informatics Nat. Intell., 2010
Translating default theories to normal default theories.
Proceedings of the 3rd International Conference on Information Sciences and Interaction Sciences (ICIS 2010), 2010
A Web-Based Personalized Intelligent Tutoring System.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008
Intelligent Pedagogical Agents for Intelligent Tutoring Systems.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008
Intelligent Search Agents for Web-Based Intelligent Tutoring Systems.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008
One Axiomatic System for the Ontology Revision.
Proceedings of the Intelligent Information Processing III, 2006
A Formal Description of Agents' Epistemic States and Environments.
Proceedings of the Intelligent Information Processing III, 2006
Default Description Logics with Reversing Inference Rules.
Proceedings of the Firth IEEE International Conference on Cognitive Informatics, 2006
Logical Connections of Statements in Ontologies.
Proceedings of the Firth IEEE International Conference on Cognitive Informatics, 2006
Logical Sentences as the Intent of Concepts.
J. Comput. Sci. Technol., 2005
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
A Web-Based Intelligent Tutoring System.
Proceedings of the Artificial Intelligence Applications and Innovations - IFIP TC12 WG12.5, 2005
Translating Ontologies to Default Logic.
Proceedings of the Artificial Intelligence Applications and Innovations - IFIP TC12 WG12.5, 2005