Sciweavers

993 search results - page 168 / 199
» Student Modelling Based on Ontologies
Sort
View
CADE
2007
Springer
14 years 9 months ago
Optimized Reasoning in Description Logics Using Hypertableaux
We present a novel reasoning calculus for Description Logics (DLs)--knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the ...
Boris Motik, Rob Shearer, Ian Horrocks
ATAL
2007
Springer
14 years 2 months ago
Coordination and Sociability for Intelligent Virtual Agents
This paper presents a multi-agent framework designed to simulate synthetic humans that properly balance task oriented and social behaviors. The work presented in this paper focuses...
Francisco Grimaldo, Miguel Lozano, Fernando Barber
CONTEXT
2007
Springer
14 years 2 months ago
Textual Inference Logic: Take Two
This note describes a logical system based on concepts and contexts, whose aim is to serve as a representation language for meanings of natural language sentences. The logic is a t...
Valeria de Paiva, Daniel G. Bobrow, Cleo Condoravd...
ECWEB
2007
Springer
144views ECommerce» more  ECWEB 2007»
14 years 2 months ago
Structural and Semantic Similarity Metrics for Web Service Matchmaking
Service matchmaking is the process of finding appropriate services for a given set of requirements. We present a novel service matchmaking approach based on the internal process o...
Akin Günay, Pinar Yolum
WCRE
2006
IEEE
14 years 2 months ago
How Programs Represent Reality (and how they don't)
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...
Daniel Ratiu, Florian Deissenboeck