2395 search results - page 313 / 479 » Reasoning in Semantic Wikis |
139
click to vote
LPNMR
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. According to Dynamic Logic Programming (DLP), knowledge may be given by a sequence of theories (encoded as logic programs) representing different states of knowledge. Th...
150
click to vote
CSL
2000
Springer
15 years 8 months ago
2000
Springer
This paper introduces a typed λ-calculus called λPower , a predicative reformulation of part of Cardelli’s power type system. Power types integrate subtyping into the typing t...
131
click to vote
GIS
1999
ACM
15 years 8 months ago
1999
ACM
An important activity in the design of a particular database application consists in identifying the integrity constraints that must hold on the database, and that are used to det...
123
click to vote
KR
1998
Springer
15 years 8 months ago
1998
Springer
This work is motivated by the existence of two useful but quite different knowledge representation formalisms, the situation calculus due to McCarthy, and the logic OL of only kno...
164
click to vote
LPNMR
1997
Springer
15 years 8 months ago
1997
Springer
Turi [20] introduced the important notion of a constrained atom: an atom with associated equality and disequality constraints on its arguments. A set of constrained atoms is a cons...