605 search results - page 25 / 121 » Dealing with logical omniscience |
186
click to vote
AIIA
2005
Springer
15 years 11 months ago
2005
Springer
Machine Learning systems are often distinguished according to the kind of representation they use, which can be either propositional or first-order logic. The framework working wi...
172
click to vote
ECSQARU
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
180
click to vote
KI
2009
Springer
16 years 9 days ago
2009
Springer
As a tractable description logic, DL-Lite provides a good compromise between expressive power and computational complexity of inference. It is therefore important to study ways of ...
137
click to vote
IAT
2008
IEEE
16 years 6 days ago
2008
IEEE
We aim at providing artificial agents with logical tools to reason specifically on privacy-related regulations, in order to comply with them. In order to express these regulatio...
144
click to vote
ISIPTA
2005
IEEE
15 years 11 months ago
2005
IEEE
Possibilistic networks and possibilistic logic bases are important tools to deal with uncertain pieces of information. Both of them offer a compact representation of possibility ...