Sciweavers

2253 search results - page 76 / 451
» The ComFoRT Reasoning Framework
Sort
View
DLOG
2010
13 years 6 months ago
A MapReduce Algorithm for EL+
Abstract. Recently, the use of the MapReduce framework for distributed RDF Schema reasoning has shown that it is possible to compute the deductive closure of sets of over a billion...
Raghava Mutharaju, Frederick Maier, Pascal Hitzler
IVA
2010
Springer
13 years 6 months ago
Expression of Behaviors in Assistant Agents as Influences on Rational Execution of Plans
Assistant Agents help ordinary people about computer tasks, in many ways, thanks to their rational reasoning capabilities about the current model of the world. However they face st...
Jean-Paul Sansonnet, François Bouchet
COMMA
2008
13 years 10 months ago
Integrating Object and Meta-Level Value Based Argumentation
Abstract. A recent extension to Dung's argumentation framework allows for arguments to express preferences between other arguments. Value based argumentation can be formalised...
Sanjay Modgil, Trevor J. M. Bench-Capon
AIIA
2005
Springer
13 years 10 months ago
Argumentation for Access Control
In this paper we are interested in argument based reasoning for access control, for example in the context of agents negotiating access to resources or web services in virtual orga...
Guido Boella, Joris Hulstijn, Leendert W. N. van d...
KR
2010
Springer
14 years 1 months ago
Pushing the Limits of Reasoning over Ontologies with Hidden Content
There is currently a growing interest in techniques for hiding parts of the signature of an ontology Kh that is being reused by another ontology Kv. Towards this goal, Cuenca Grau...
Bernardo Cuenca Grau, Boris Motik