364 search results - page 14 / 73 » A Map of Common Knowledge Logics |
116
click to vote
ICTAI
1996
IEEE
15 years 6 months ago
1996
IEEE
We present a mechanism for recovering consistent data from inconsistent set of assertions. For a common family of knowledge-bases we also provide an efficient algorithm for doing ...
89
Voted
IEAAIE
2005
Springer
15 years 7 months ago
2005
Springer
We propose an approach to Natural Language Processing exploiting knowledge domain in an e-commerce scenario. Based on such modeling an NLP parser is presented, aimed at translating...
112
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
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 ...
100
click to vote
DLOG
2007
15 years 4 months ago
2007
Abstract. This paper studies a technique for mapping ALCI knowledge bases into ALC. Worst-case optimal tableau-based procedures for the satisfiability/consistency problem w.r.t. g...
127
Voted
ASP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...