Sciweavers

7960 search results - page 91 / 1592
» Systems for Knowledge and Beliefs
Sort
View
KES
2004
Springer
14 years 3 months ago
Partial Merging of Semi-structured Knowledgebases
Automatizing the merging of knowledgebases is an important step towards more efficient knowledge management. The cases when two knowledgebases need to be merged completely into a m...
Ladislau Bölöni, Damla Turgut
ISIPTA
1999
IEEE
101views Mathematics» more  ISIPTA 1999»
14 years 2 months ago
Open-frame Dempster Conditioning for Incomplete Interval Probabilities
The second author has put forward a theory of incomplete interval probabilities meant to give a common framework to both interval probabilities and openframe bodies of evidence, a...
Paola Castellan, Andrea Sgarro
AAAI
2007
14 years 11 days ago
ESP: A Logic of Only-Knowing, Noisy Sensing and Acting
When reasoning about actions and sensors in realistic domains, the ability to cope with uncertainty often plays an essential role. Among the approaches dealing with uncertainty, t...
Alfredo Gabaldon, Gerhard Lakemeyer
IJCAI
2003
13 years 11 months ago
Minimal Change and Maximal Coherence for Epistemic Logic Program Updates
We consider the problem of updating nonmonotonic knowledge bases represented by epistemic logic programs where disjunctive information and notions of knowledge and beliefs can be ...
Yan Zhang
CORR
2010
Springer
202views Education» more  CORR 2010»
13 years 10 months ago
The Complexity of Reasoning for Fragments of Autoepistemic Logic
Autoepistemic logic extends propositional logic by the modal operator L. A formula that is preceded by an L is said to be "believed". The logic was introduced by Moore ...
Nadia Creignou, Arne Meier, Michael Thomas, Heribe...