1027 search results - page 34 / 206 » Representing and Reasoning with Operational Semantics |
103
click to vote
IJCAI
1989
15 years 1 months ago
1989
Recent results in the foundations of probability theory indicate that a conditional probability can be viewed as a probability attached to a mathematical entity called a measure-f...
138
Voted
JAPLL
2007
15 years 14 days ago
2007
We extend answer set programming (ASP) with, possibly infinite, open domains. Since this leads to undecidable reasoning, we restrict the syntax of programs, while carefully guard...
104
Voted
DOOD
1995
Springer
15 years 4 months ago
1995
Springer
Semantics represents a major problem area for active databases inasmuch as (i) there is l framework for defining the abstract semantics of active rules, and (ii) the various syst...
106
Voted
KI
1999
Springer
15 years 4 months ago
1999
Springer
Among the formalisms for qualitative spatial reasoning, the Region Connection Calculus and its variant, the constraint algebra RCC8, have received particular attention recently. A...
98
Voted
IFIP12
2004
15 years 1 months ago
2004
: Component retrieval, about how to locate and identify appropriate components, is one of the major problems in component reuse. It becomes more critical as more reusable component...