1426 search results - page 57 / 286 » Specification of nonmonotonic reasoning |
AIED
2007
Springer
15 years 1 months ago
2007
Springer
In this study, students studied two different domains in the same Intelligent Tutoring System, Andes. Analysis of 435 log files from 22 subjects indicated that there are two types ...
LREC
2008
14 years 11 months ago
2008
With the appearance of Semantic Web technologies, it becomes possible to develop novel, sophisticated question answering systems, where ontologies are usually used as the core kno...
112
click to vote
WLP
2007
Springer
15 years 3 months ago
2007
Springer
Answer-set programming (ASP) is an emerging logic-programming paradigm that strictly separates the description of a problem from its solving methods. Despite its semantic elegance,...
100
click to vote
DBPL
2005
Springer
15 years 3 months ago
2005
Springer
We study peer-to-peer ðP2PÞ data integration, where each peer models an autonomous system that exports data in terms of its own schema, and data interoperation is achieved by me...
108
click to vote
ATVA
2006
Springer
15 years 1 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...