Sciweavers

3441 search results - page 402 / 689
» Knowledge Representation for Video
Sort
View
ECAI
2006
Springer
15 years 10 months ago
Interleaving Belief Updating and Reasoning in Abductive Logic Programming
Abstract. Most existing work on knowledge representation and reasoning assumes that the updating of beliefs is performed off-line, and that reasoning from the beliefs is performed ...
Fariba Sadri, Francesca Toni
ECTEL
2006
Springer
15 years 10 months ago
Semantic Modelling of Learning Objects and Instruction
Abstract. We introduce an ontology-based semantic modelling framework that addresses subject domain modelling, instruction modelling, and interoperability aspects in the developmen...
Claus Pahl, Mark Melia
157
Voted
AISB
1995
Springer
15 years 10 months ago
Specialised Recombinative Operators for Timetabling Problems
This paper discusses a series of recombination operators for the timetabling problem. These operators act upon a direct representation of the timetable and maintain the property of...
Edmund K. Burke, Dave Elliman, Rupert F. Weare
DEXAW
2009
IEEE
73views Database» more  DEXAW 2009»
15 years 10 months ago
Matching Semantic Web Resources
—In this paper, we propose knowledge-chunk based techniques for instance matching and mapping discovery of Semantic Web resources. Knowledge chunks provide a synthetic representa...
Silvana Castano, Alfio Ferrara, Stefano Montanelli...
AAAI
2008
15 years 9 months ago
What Is Answer Set Programming?
Answer set programming (ASP) is a form of declarative programming oriented towards difficult search problems. As an outgrowth of research on the use of nonmonotonic reasoning in k...
Vladimir Lifschitz