2409 search results - page 257 / 482 » Corpus-Based Knowledge Representation |
165
click to vote
AMAI
2004
Springer
15 years 10 months ago
2004
Springer
Using the ideas from current investigations in Knowledge Representation we study the use of a class of logic programs for reasoning about infinite sets. Those programs assert code...
160
click to vote
CADE
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we study interpolation in local extensions of a base theory. We identify situations in which it is possible to obtain interpolants in a hierarchical manner, by using ...
168
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
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 ...
163
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We introduce an ontology-based semantic modelling framework that addresses subject domain modelling, instruction modelling, and interoperability aspects in the developmen...
155
click to vote
AISB
1995
Springer
15 years 10 months ago
1995
Springer
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...