3773 search results - page 489 / 755 » Logical Reasoning |
171
click to vote
ECSQARU
2007
Springer
16 years 23 days ago
2007
Springer
Measuring inconsistency in knowledge bases has been recognized as an important problem in many research areas. Most of approaches proposed for measuring inconsistency are based on ...
192
click to vote
ILP
2007
Springer
16 years 22 days ago
2007
Springer
Research over the past several decades in learning logical and probabilistic models has greatly increased the range of phenomena that machine learning can address. Recent work has ...
191
click to vote
KI
2007
Springer
16 years 22 days ago
2007
Springer
This paper describes a spatio-temporal configurations building approach, which has been applied to dynamics points in 1-dimensional space. In this approach, a temporal logic, Allen...
145
click to vote
LPAR
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. The use of formal methods provides confidence in the correctness of developments. Yet one may argue about the actual level of confidence obtained when the method itself...
185
click to vote
LPNMR
2005
Springer
16 years 2 days ago
2005
Springer
We describe an application of Abductive Logic Programming (ALP) to the analysis of an important class of DNA microarray experiments. We develop an ALP theory that provides a simple...