Sciweavers

1573 search results - page 153 / 315
» Signs and Formal Concepts
Sort
View
FLAIRS
2007
15 years 8 months ago
Foundations of Similarity and Utility
In this paper we discuss a rigorous foundation of similarity reasoning based on the concept of utility. If utility is formulated in mathematical terms it can serve as a formal spe...
Michael M. Richter
JURIX
2007
15 years 7 months ago
A Modular Framework for Ontology-based Representation of Patent Information
Abstract. In this paper, we present a new ontology-based formalism for representing patent information. The framework defines concepts and relations for the major aspects of paten...
Mark Giereth, Steffen Koch, Yiannis Kompatsiaris, ...
OWLED
2007
15 years 7 months ago
Reasoning with OWL-DL in Inductive Logic Programming
The use of background knowledge and the adoption of Horn clausal logic as a knowledge representation and reasoning framework are the distinguishing features of Inductive Logic Prog...
Francesca A. Lisi
AKA
2004
15 years 7 months ago
Multimodel Application Specification, Integration, and Evolution - Experiences from the Reinsurance Industry
: Swiss Re has established an architectural framework, tools, and concepts that enable business people to specify their view of the business in a consistent and formal manner. Base...
Hans Wegener
AIPS
2003
15 years 7 months ago
Synthesis of Hierarchical Finite-State Controllers for POMDPs
We develop a hierarchical approach to planning for partially observable Markov decision processes (POMDPs) in which a policy is represented as a hierarchical finite-state control...
Eric A. Hansen, Rong Zhou