Sciweavers

552 search results - page 56 / 111
» A Reasoning Framework for Ambient Intelligence
Sort
View
DLOG
2011
14 years 9 months ago
Quelo: an Ontology-Driven Query Interface
In this paper we present a formal framework and tool supporting the user in the task of formulating a precise query – which best captures their information needs – even in the ...
Enrico Franconi, Paolo Guagliardo, Marco Trevisan,...
ATAL
2007
Springer
15 years 9 months ago
Temporal linear logic as a basis for flexible agent interactions
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
Duc Quang Pham, James Harland
AUSAI
2009
Springer
16 years 13 days ago
Modelling Object Typicality in Description Logics
Abstract. We present a semantic model of typicality of concept members in description logics that accords well with a binary, globalist cognitive model of class membership and typi...
Katarina Britz, Johannes Heidema, Thomas Andreas M...
KI
2009
Springer
16 years 11 days 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
EPIA
2001
Springer
15 years 10 months ago
On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...
João Alexandre Leite, José Jú...