2291 search results - page 68 / 459 » Representational Reasoning and Verification |
156
click to vote
IJCAI
2007
15 years 5 months ago
2007
P-log is a probabilistic logic programming language, which combines both logic programming style knowledge representation and probabilistic reasoning. In earlier papers various ad...
127
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a novel approach to representing uncertain information in ontologies based on design patterns. We provide a brief description of our approach, present its use ...
148
click to vote
KI
2002
Springer
15 years 4 months ago
2002
Springer
In the previous two decades, a number of qualitative constraint calculi have been developed, which are used to represent and reason about spatial configurations. A common property...
193
click to vote
LPNMR
2011
Springer
14 years 7 months ago
2011
Springer
This paper investigates a new approach for computing the inference of defeasible logic. The algorithm proposed can substantially reduced the theory size increase due to transformat...
117
click to vote
LICS
1996
IEEE
15 years 8 months ago
1996
IEEE
In the automata-theoretic approach to verification, we translate specifications to automata. Complexity considerations motivate the distinction between different types of automata...