3470 search results - page 121 / 694 » Head-Elementary-Set-Free Logic Programs |
145
Voted
VRST
1999
ACM
15 years 9 months ago
1999
ACM
Logic Programming as well as Virtual Reality applications have achieved a lot in the last few years. In this paper we present an architecture, a methodology and two simple example...
211
click to vote
BANFF
1995
15 years 8 months ago
1995
The automata-theoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program specification, verification, and synthesis. Both programs ...
123
click to vote
LPNMR
2004
Springer
15 years 10 months ago
2004
Springer
nlp is a compiler for nested logic programming under answer set semantics. It is designed as a front-end translating nested logic programs into disjunctive ones, whose answer sets ...
204
click to vote
GEOINFORMATICA
2011
14 years 12 months ago
2011
Discovery of suitable web services is a crucial task in Spatial Data Infrastructures (SDI). In this work, we develop a novel approach to the discovery of geoprocessing services (WP...
142
Voted
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
Stable models of logic programs have been studied by many researchers, mainly because of their role in the foundations of answer set programming. This is a review of some of the de...