567 search results - page 8 / 114 » Probabilistic Reasoning With Answer Sets |
121
Voted
AMAI
2006
Springer
15 years 3 months ago
2006
Springer
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
158
Voted
DKE
2010
15 years 3 months ago
2010
We describe the Consistency Extractor System (ConsEx) that computes consistent answers to Datalog queries with negation posed to relational databases that may be inconsistent with...
110
Voted
ASP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract Howard A. Blair EECSDept., 2-177 SciTech Syracuse University Syracuse, NY13210 USA
LPNMR
2009
Springer
15 years 10 months ago
2009
Springer
91
Voted
RR
2009
Springer
15 years 10 months ago
2009
Springer