13 search results - page 1 / 3 » Checking Several Forms of Consistency in Nonmonotonic Knowle... |
ECSQARU
1997
Springer
13 years 10 months ago
1997
Springer
TSMC
2010
13 years 13 days ago
2010
Belief merging is concerned with the integration of several belief bases such that a coherent belief base is developed. Various belief merging models have been developed that use a...
IJCAI
2003
13 years 7 months ago
2003
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 ...
JACM
2010
13 years 4 months ago
2010
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...
CCS
2006
ACM
13 years 9 months ago
2006
ACM
In trust negotiation and other distributed proving systems, networked entities cooperate to form proofs that are justified by collections of certified attributes. These attributes...