3446 search results - page 388 / 690 » A Reasoning Algorithm for pD* |
162
click to vote
ECSQARU
2007
Springer
16 years 27 days ago
2007
Springer
We describe COBA 2.0, an implementation of a consistency-based framework for expressing belief change, focusing on revision and contraction (possibly) incorporating integrity cons...
150
click to vote
ESWS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. This paper presents a minimalist program for RDF, by showing how one can do without several predicates and keywords of the RDF Schema vocabulary, obtaining a simpler lang...
149
click to vote
FOSSACS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
141
click to vote
GECCO
2007
Springer
16 years 27 days ago
2007
Springer
Keystroke authentication is a biometric method utilizing the typing characteristics of users. In this paper, we propose an evolutionary method for stable keystroke authentication....
158
click to vote
ICLP
2007
Springer
16 years 26 days ago
2007
Springer
We propose CoreTuLiP - the core of a trust management language based on Logic Programming. CoreTuLiP is based on a subset of moded logic programming, but enjoys the features of TM ...