364 search results - page 4 / 73 » A Map of Common Knowledge Logics |
89
Voted
JAPLL
2006
15 years 1 months ago
2006
Deduction chains represent a syntactic and in a certain sense constructive method for proving completeness of a formal system. Given a formula , the deduction chains of are built...
103
click to vote
ENTCS
2010
15 years 1 months ago
2010
It is not clear what a system for evidence-based common knowledge should look like if common knowledge is treated as a greatest fixed point. This paper is a preliminary step towar...
127
click to vote
IJCAI
2007
15 years 3 months ago
2007
We first provide a mapping from Pearce’s equilibrium logic and Ferraris’s general logic programs to Lin and Shoham’s logic of knowledge and justified assumptions, a nonmon...
105
click to vote
AUSAI
1999
Springer
15 years 6 months ago
1999
Springer
Computing least common subsumers in description logics is an important reasoning service useful for a number of applications. As shown in the literature, this reasoning service ca...
105
click to vote
DLOG
2008
15 years 4 months ago
2008
Least Common Subsumers in Description Logics have shown their usefulness for discovering commonalities among all concepts of a collection. Several applications are nevertheless foc...