4617 search results - page 649 / 924 » Automation of Diagrammatic Reasoning |
189
click to vote
LPNMR
2005
Springer
16 years 27 days 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, ...
199
click to vote
LPNMR
2005
Springer
16 years 27 days 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...
204
click to vote
LPNMR
2005
Springer
16 years 27 days 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...
212
click to vote
PPSWR
2005
Springer
16 years 27 days 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...
182
click to vote
PPSWR
2005
Springer
16 years 27 days ago
2005
Springer
In this sketchy paper we introduce a logical reconstruction of the RDF family of languages and the OWL-DL family of languages. We prove that our logical framework is equivalent to ...