15754 search results - page 57 / 3151 » Programs are Knowledge Bases |
142
Voted
DLOG
2009
15 years 12 days ago
2009
Abstract. The paper describes how interpretations of multimedia documents can be formally derived using abduction over domain knowledge represented in an ontology. The approach use...
111
Voted
LPNMR
2009
Springer
15 years 9 months ago
2009
Springer
CR-Prolog is an extension of A-Prolog, the knowledge representation language at the core of the Answer Set Programming paradigm. CR-Prolog is
125
Voted
AAAI
2006
15 years 4 months ago
2006
Several forms of reasoning in AI
111
Voted
AIED
2009
Springer
15 years 9 months ago
2009
Springer
This paper explores the role that feedback based on past actions and motivational states of the learner can have in a motivationally and metacognitively aware Intelligent Tutoring ...
134
Voted
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...