Sciweavers

1966 search results - page 103 / 394
» Description Logics and Planning
Sort
View
INLG
2010
Springer
15 years 4 months ago
Grouping Axioms for More Coherent Ontology Descriptions
Ontologies and datasets for the Semantic Web are encoded in OWL formalisms that are not easily comprehended by people. To make ontologies accessible to human domain experts, sever...
Sandra Williams, Richard Power
HICSS
2009
IEEE
151views Biometrics» more  HICSS 2009»
16 years 1 months ago
Application of Logic and Decision Models in Sustainable Ecosystem Management
The Northern Region of the USDA Forest Service is using the Ecosystem Management Decision Support System (EMDS) to evaluate ecosystem sustainability for National Forest plan revis...
Mark Jensen, Keith Reynolds, Ute Langner, Melissa ...
JAIR
2006
110views more  JAIR 2006»
15 years 6 months ago
Modelling Mixed Discrete-Continuous Domains for Planning
In this paper we present pddl+, a planning domain description language for modelling mixed discrete-continuous planning domains. We describe the syntax and modelling style of pddl...
Maria Fox, Derek Long
RR
2010
Springer
15 years 4 months ago
Usability of a Visual Language for DL Concept Descriptions
The development and use of ontologies may require users with no training in formal logic to handle complex concept descriptions. To aid such users, we propose a new visualization f...
Fernando Náufel do Amaral
LPNMR
2004
Springer
15 years 11 months ago
Planning with Preferences Using Logic Programming
Abstract. We present a declarative language, PP, for the specification of preferences between possible solutions (or trajectories) of a planning problem. This novel language allow...
Tran Cao Son, Enrico Pontelli