15754 search results - page 43 / 3151 » Programs are Knowledge Bases |
103
Voted
AIMSA
2000
Springer
15 years 6 months ago
2000
Springer
Inductive Logic Programming (ILP) deals with inducing clausal theories from examples basically through generalization or specialization. The specialization and generalization oper...
SEMWEB
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We introduce a framework, based on logic programming, for preferential reasoning with agents on the Semantic Web. Initially, we encode the knowledge of an agent as a logi...
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
142
Voted
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
Logic programs under the stable models semantics, or answer-set programs, provide an expressive rule based knowledge representation framework, featuring formal, declarative and wel...
246
click to vote
UM
2010
Springer
15 years 7 months ago
2010
Springer
The field of intelligent tutoring systems has been using the well known knowledge tracing model, popularized by Corbett and Anderson (1995) to track individual users’ knowledge f...