2395 search results - page 278 / 479 » Reasoning in Semantic Wikis |
112
click to vote
FOIS
2006
15 years 5 months ago
2006
Deductive reasoning with natural language requires combining lexical resources with the world knowledge provided by ontologies. In this paper we describe the connection of FrameNe...
131
Voted
PADL
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
143
click to vote
LOPSTR
2007
Springer
15 years 10 months ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
123
click to vote
LPNMR
2005
Springer
15 years 10 months ago
2005
Springer
Open answer set programming (OASP) is an extension of answer set programming where one may ground a program with an arbitrary superset of the program’s constants. We define a ...
136
click to vote
KR
2010
Springer
15 years 9 months ago
2010
Springer
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...