1321 search results - page 125 / 265 » Subtyping in Logical Form |
202
click to vote
PKDD
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Problem solving with experiences that are recorded in text form requires a mapping from text to structured cases, so that case comparison can provide informed feedback fo...
180
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
Temporal reasoning has always been a major test case for knowledge representation formalisms. In this paper, we develop an inductive variant of the situation calculus using the Lo...
183
click to vote
EVOW
1994
Springer
15 years 10 months ago
1994
Springer
The genetic programming (GP) paradigm is a new approach to inductively forming programs that describe a particular problem. The use of natural selection based on a fitness ]unction...
181
click to vote
ECML
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Over the last twenty years AI has undergone a sea change. The oncedominant paradigm of logical inference over symbolic knowledge representations has largely been supplant...
141
click to vote
AEI
2010
15 years 6 months ago
2010
nizing multiple forms of information and knowledge processing on different levels of abstraction in a structured and principled manner. We propose knowledge processing middleware a...