Sciweavers

211 search results - page 20 / 43
» Expressive Planning and Explicit Knowledge
Sort
View
AI
2011
Springer
13 years 2 months ago
Approximation of action theories and its application to conformant planning
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...
Phan Huy Tu, Tran Cao Son, Michael Gelfond, A. Ric...
DLOG
1997
13 years 8 months ago
Action Hierarchies in Description Logics
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation formalized by means of plans...
Thorsten Liebig, Dietmar Rösner
CLEF
2006
Springer
13 years 11 months ago
Inter-media Concept-Based Medical Image Indexing and Retrieval with UMLS at IPAL
Abstract. We promote the use of explicit medical knowledge to solve retrieval of information both visual and textual. For text, this knowledge is a set of concepts from a Meta-thes...
Caroline Lacoste, Jean-Pierre Chevallet, Joo-Hwee ...
DEON
2010
Springer
14 years 6 days ago
Privacy Policies with Modal Logic: The Dynamic Turn
Abstract. Privacy policies are often defined in terms of permitted messages. Instead, in this paper we derive dynamically the permitted messages from static privacy policies defi...
Guillaume Aucher, Guido Boella, Leendert van der T...
DLOG
1997
13 years 8 months ago
Experiments with the DFL Hybrid System
Abstract. In this short paper we describe the DFL hybrid knowledge base, that integrates descriptions with expressive object-oriented rules. The knowledge base manages a database o...
Mira Balaban, Adi Eyal