Sciweavers

2414 search results - page 108 / 483
» Reasoning Support for OWL-E
Sort
View
GPC
2010
Springer
16 years 9 days ago
Distributed Island-Based Query Answering for Expressive Ontologies
Scalability of reasoning systems is one of the main criteria which will determine the success of Semantic Web systems in the future. The focus of recent work is either on (a) expre...
Sebastian Wandelt, Ralf Möller
AIED
2007
Springer
15 years 12 months ago
VL-PATSy: Facilitating vicarious learning via intelligent resource provision
This paper describes an adaptive system called VL-PATSy, an extension to an existing system (PATSy) that adds a mechanism for serving vicarious learning (VL) resources. Vicarious l...
Richard Cox, Jianxiong Pang
ECAI
2004
Springer
15 years 11 months ago
Simplicity in Solving the Frame Problem
Abstract. This paper presents an approach for reasoning about action and change which appeals to the principle of Occam’s razor— roughly stating that the simplest explanations ...
Victor Jauregui, Maurice Pagnucco, Norman Y. Foo
CORR
1998
Springer
66views Education» more  CORR 1998»
15 years 5 months ago
Textual Economy through Close Coupling of Syntax and Semantics
We focus on the productionof efficient descriptionsof objects, actions and events. We define a type of efficiency, textualeconomy, thatexploitsthe hearer’s recognitionof infe...
Matthew Stone, Bonnie L. Webber
FLAIRS
2009
15 years 3 months ago
Lifting the Limitations in a Rule-based Policy Language
The predicates that are used to encode a planning domain in PDDL often do not include concepts that are important for effectively reasoning about problems in the domain. In partic...
Alan Lindsay, Maria Fox, Derek Long