4617 search results - page 648 / 924 » Automation of Diagrammatic Reasoning |
201
click to vote
LPAR
2005
Springer
16 years 27 days 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...
203
click to vote
LPNMR
2005
Springer
16 years 27 days 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 ...
194
click to vote
LPNMR
2005
Springer
16 years 27 days 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...
171
click to vote
LPNMR
2005
Springer
16 years 27 days 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...
188
click to vote
LPNMR
2005
Springer
16 years 27 days ago
2005
Springer
Abstract. This paper describes a system called SELP for studying strong equivalence in answer set logic programming. The basic function of the system is to check if two given groun...