4573 search results - page 628 / 915 » Automated Reasoning |
133
click to vote
LPNMR
2005
Springer
15 years 9 months 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...
132
click to vote
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We describe a new software, pbmodels, that uses pseudo-boolean constraint solvers (PB solvers) to compute stable models of logic programs with weight atoms. To this end, ...
141
Voted
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
We investigate techniques for approximating answer sets of general logic programs of Lifschitz and Woo, whose rules have single literals as heads. We propose three different method...
147
Voted
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
We describe an application of Abductive Logic Programming (ALP) to the analysis of an important class of DNA microarray experiments. We develop an ALP theory that provides a simple...
141
Voted
PPSWR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper we define the basic concepts for a general language for evolution and reactivity in the Semantic Web. We do this by exposing an UML model that specifies a...