4573 search results - page 672 / 915 » Automated Reasoning |
160
Voted
ECSQARU
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We consider a realization of Reiter-style default logic on top of description logic knowledge bases (DL-KBs). To this end, we present elegant transformations from default...
130
click to vote
ECSQARU
2009
Springer
15 years 10 months ago
2009
Springer
This paper is about the fusion of multiple information sources represented using default logic. More precisely, the focus is on solving the problem that occurs when the standard-lo...
133
Voted
ECSQARU
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing con...
177
click to vote
FROCOS
2009
Springer
15 years 10 months ago
2009
Springer
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...
138
click to vote
ICCBR
2009
Springer
15 years 10 months ago
2009
Springer
A model-free, case-based learning and control algorithm called S-learning is described as implemented in a simulation of a light-seeking mobile robot. S-learning demonstrated learn...