1328 search results - page 128 / 266 » Cut-free common knowledge |
124
click to vote
ICAIL
2003
ACM
15 years 9 months ago
2003
ACM
In recent years, practical applications of legal knowledge-based systems have become increasingly common. This raises the issue of their functioning in practice and their actual in...
146
click to vote
ASP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
134
click to vote
ICCBR
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The definition of similarity measures is one of the most crucial aspects when developing case-based applications. In particular, when employing similarity measures that ...
156
click to vote
KR
2010
Springer
15 years 9 months ago
2010
Springer
Cardinality constraints or, more generally, weight constraints are well recognized as an important extension of answer-set programming. Clearly, all common algorithmic tasks relat...
149
click to vote
ICANN
2001
Springer
15 years 8 months ago
2001
Springer
EEG segments recorded during microsleep events were transformed to the frequency domain and were subsequently clustered without the common summation of power densities in spectral ...