15754 search results - page 223 / 3151 » Programs are Knowledge Bases |
144
click to vote
AMAI
2005
Springer
15 years 4 months ago
2005
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. Our programs reason about t...
135
click to vote
CSEE
2010
Springer
15 years 2 months ago
2010
Springer
This paper shares the experiences and lessons learned from conducting an NSF-sponsored eight-week summer research program for ten undergraduate students from multiple universities...
137
click to vote
OWLED
2007
15 years 6 months ago
2007
Abstract. We describe a system in which Contextual Logic Programming is used as a mediator for knowledge modeled by ontologies. Our system provides the components required to behav...
149
click to vote
KR
2004
Springer
15 years 10 months ago
2004
Springer
When mining frequent Datalog queries, many queries will be equivalent in the light of an implicit or explicit background knowledge. To alleviate the problem, we introduce various t...
143
click to vote
FLAIRS
2008
15 years 7 months ago
2008
Although various methods for the evaluation of intelligent systems have been proposed in the past, almost no techniques are present that support the manual inspection of knowledge...