Sciweavers

LPNMR
2011
Springer
13 years 1 months ago
Communicating ASP and the Polynomial Hierarchy
Communicating answer set programming is a framework to represent and reason about the combined knowledge of multiple agents using the idea of stable models. The semantics and expre...
Kim Bauters, Steven Schockaert, Dirk Vermeir, Mart...
LPNMR
2011
Springer
13 years 1 months ago
Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report)
We present an approach to integrating rules and ontologies on the basis of the first-order stable model semantics defined by Ferraris, Lee and Lifschitz. We show that a few exist...
Joohyung Lee, Ravi Palla
LPNMR
2011
Springer
13 years 1 months ago
Logic, Probability and Computation: Foundations and Issues of Statistical Relational AI
Over the last 25 years there has been considerable body of research into combinations of predicate logic and probability forming what has become known as (perhaps misleadingly) sta...
David Poole
LPNMR
2011
Springer
13 years 1 months ago
Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems
Abstract. Multi-context systems are a formalism to interlink decentralized and heterogeneous knowledge based systems (contexts), which interact via (possibly nonmonotonic) bridge r...
Thomas Eiter, Michael Fink, Peter Schüller
LPNMR
2011
Springer
13 years 1 months ago
What Are the Necessity Rules in Defeasible Reasoning?
This paper investigates a new approach for computing the inference of defeasible logic. The algorithm proposed can substantially reduced the theory size increase due to transformat...
Ho-Pun Lam, Guido Governatori
Automated Reasoning
Top of PageReset Settings