1097 search results - page 91 / 220 » Revision Programming = Logic Programming Integrity Constra... |
118
click to vote
AAAI
2008
15 years 5 months ago
2008
The paper presents a calculus based on resolution for credulous reasoning in Answer Set Programming. The new approach allows a top-down and goal directed resolution, in the same s...
145
click to vote
CP
1995
Springer
15 years 7 months ago
1995
Springer
Object-based knowledge representation systems bene t from the declarative power of the object formalism for modeling, organizing and storing large amounts of knowledge. They also ...
137
click to vote
WILF
2009
Springer
15 years 10 months ago
2009
Springer
A number of generalizations of answer set programming have been proposed in the literature to deal with vagueness, uncertainty, and partial rule satisfaction. We introduce a unifyi...
139
click to vote
CAV
2009
Springer
16 years 3 months ago
2009
Springer
We provide a verification technique for a class of programs working on integer arrays of finite, but not a priori bounded length. We use the logic of integer arrays SIL [13] to spe...
130
Voted
EMSOFT
2001
Springer
15 years 8 months ago
2001
Springer
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...