460 search results - page 24 / 92 » Revised Stable Models - A Semantics for Logic Programs |
104
Voted
CLIMA
2004
15 years 1 months ago
2004
Abstract. Multidimensional dynamic logic programs (MDLPs) are suitable to represent knowledge dynamic in time, or more generally, information coming from various sources, partially...
95
Voted
AI
1998
Springer
15 years 4 days ago
1998
Springer
We argue that the situation calculus is a natural formalism for representing and reasoning about control and strategic information. As a case study, in this paper we provide a sit...
101
Voted
LPNMR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We present a purely model-theoretic semantics for disjunctive logic programs with negation, building on the infinite-valued approach recently introduced for normal logic...
112
Voted
LPNMR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The recently proposed notion of an elementary set yielded a refinement of the theorem on loop formulas, telling us that the stable models of a disjunctive logic program ...
105
Voted
JAIR
2006
15 years 12 days ago
2006
We study properties of programs with monotone and convex constraints. We extend to these formalisms concepts and results from normal logic programming. They include the notions of...