Sciweavers

835 search results - page 48 / 167
» Nonmonotonic Reasoning in Probabilistics
Sort
View
SEMWEB
2009
Springer
15 years 4 months ago
Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling
An important issue for the Semantic Web is how to combine open-world ontology languages with closed-world (non-monotonic) rule paradigms. Several proposals for hybrid languages all...
José Júlio Alferes, Matthias Knorr, ...
ESWS
2006
Springer
15 years 1 months ago
Rules with Contextually Scoped Negation
Knowledge representation formalisms used on the Semantic Web adhere to a strict open world assumption. Therefore, nonmonotonic reasoning techniques are often viewed with scepticism...
Axel Polleres, Cristina Feier, Andreas Harth
CORR
2011
Springer
186views Education» more  CORR 2011»
14 years 4 months ago
A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases
Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non...
Ana Sofia Gomes, José Júlio Alferes,...
KI
2009
Springer
15 years 4 months ago
On Defaults in Action Theories
Abstract. We study the integration of two prominent fields of logicbased AI: action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an ac...
Hannes Strass, Michael Thielscher
ICTAI
2005
IEEE
15 years 3 months ago
Toward a Logical Tool for Generating New Arguments in an Argumentation Based Framework
Following the framework proposed by Besnard and Hunter for argumentation, this paper aims to propose a logical tool for the generation of new arguments when two formal agents have...
Geoffroy Aubry, Vincent Risch