15754 search results - page 562 / 3151 » Programs are Knowledge Bases |
202
click to vote
ECAI
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. We introduce description logic (DL) rules as a new rule-based formalism for knowledge representation in DLs. As a fragment of the Semantic Web Rule Language SWRL, DL rule...
177
click to vote
OWLED
2007
15 years 8 months ago
2007
A new approach to spatioterminological reasoning is presented which is based on a hybrid knowledge representation system architecture and on a representation of the RCC family tree...
162
click to vote
EACL
1989
ACL Anthology
15 years 8 months ago
1989
ACL Anthology
This paper discusses the application of a previously reported theory of explanation rhetoric (Maybury, 1988b) to the task of explaining constraint violations in a hybrid rule/fram...
204
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
“Scrap Your Boilerplate” (SYB) is an established style of generic functional programming. The present paper reconstructs SYB within the Prolog language with the help of the un...
193
click to vote
GECCO
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. This proof of concept study examines the possibility of specifying the construction of programs using a Particle Swarm algorithm, and represents a new form of automatic p...