Sciweavers

40 search results - page 5 / 8
» Defaults, Context, and Knowledge: Alternatives for OWL-Index...
Sort
View
ECAI
2006
Springer
15 years 1 months ago
Formalizing Complex Task Libraries in Golog
We present an approach to building libraries of tasks in complex action languages such as Golog, for query answering. Our formalization is based on a situation calculus framework t...
Alfredo Gabaldon
IUI
2005
ACM
15 years 3 months ago
User interfaces with semi-formal representations: a study of designing argumentation structures
When designing mixed-initiative systems, full formalization of all potentially relevant knowledge may not be cost-effective or practical. This paper motivates the need for semi-fo...
Timothy Chklovski, Varun Ratnakar, Yolanda Gil
SWAP
2008
14 years 11 months ago
A Note on the Evaluation of Inductive Concept Classification Procedures
Abstract. The limitations of deductive logic-based approaches at deriving operational knowledge from ontologies may be overcome by inductive (instancebased) methods, which are usua...
Claudia d'Amato, Nicola Fanizzi, Floriana Esposito
JUCS
2007
94views more  JUCS 2007»
14 years 9 months ago
Discovering the Semantics of User Keywords
Abstract: The technology in the field of digital media generates huge amounts of textual information every day, so mechanisms to retrieve relevant information are needed. Under th...
Raquel Trillo, Jorge Gracia, Mauricio Espinoza, Ed...
GPCE
2009
Springer
15 years 1 months ago
Mapping problem-space to solution-space features: a feature interaction approach
Mapping problem-space features into solution-space features is a fundamental configuration problem in software product line engineering. A configuration problem is defined as g...
Frans Sanen, Eddy Truyen, Wouter Joosen