764 search results - page 33 / 153 » On the Expressibility of Stable Logic Programming |
239
click to vote
PADL
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...
106
click to vote
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
We define the Tight Semantics (TS), a new semantics for all NLPs complying with the requirements of: 2-valued semantics; preserving the models of SM; guarantee of model existence...
107
Voted
ICRA
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper presents a class of fundamental control policies suitable for use in a novel method for designing and specifying the dynamic motion of robotic systems. Through recourse...
244
Voted
POPL
2007
ACM
16 years 3 months ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
154
click to vote
AUSAI
2004
Springer
15 years 8 months ago
2004
Springer
The PolicyUpdater1 system is a fully-implemented access control system that provides policy evaluations as well as dynamic policy updates. These functions are achieved by the use o...