4573 search results - page 627 / 915 » Automated Reasoning |
131
click to vote
LPAR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The paper describes the formalization and implementation of an efficient constraint programming framework operating on 3D crystal lattices. The framework is motivated an...
130
click to vote
LPAR
2005
Springer
15 years 9 months ago
2005
Springer
ECKING ABSTRACT STATE MACHINES WITH ANSWER SET PROGRAMMING by Calvin Kai Fan Tang B.Sc., Simon Fraser University, 2003 a thesis submitted in partial fulfillment of the requirements...
143
Voted
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The rapid expansion of the Internet and World Wide Web led to growing interest in data and information integration, which should be capable to deal with inconsistent and ...
128
click to vote
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
We present a monitoring tool for plan execution in non-deterministic environments, which are described in an action language, based on non-monotonic logic programming. Thanks to it...
119
Voted
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
In this work we describe a system for determining strong equivalence of disjunctive non-ground datalog programs under the stable model semantics. The problem is tackled by reducing...