Sciweavers

711 search results - page 110 / 143
» Knowledge Representation and Reasoning in (Controlled) Natur...
Sort
View
ICLP
2005
Springer
14 years 2 months ago
Nondeterminism Analysis of Functional Logic Programs
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
Bernd Braßel, Michael Hanus
ILP
1998
Springer
14 years 1 months ago
Strongly Typed Inductive Concept Learning
In this paper we argue that the use of a language with a type system, together with higher-order facilities and functions, provides a suitable basis for knowledge representation in...
Peter A. Flach, Christophe G. Giraud-Carrier, John...
GIS
2010
ACM
13 years 6 months ago
Time geography inverted: recognizing intentions in space and time
Mobile intention recognition is the problem of inferring a mobile user's intentions from her behavior in geographic space. Such behavior is constrained in space and time. Cur...
Peter Kiefer, Martin Raubal, Christoph Schlieder
WWW
2003
ACM
14 years 9 months ago
A software framework for matchmaking based on semantic web technology
An important objective of the Semantic Web is to make Electronic Commerce interactions more flexible and automated. To achieve this, standardization of ontologies, message content...
Lei Li, Ian Horrocks
APCCM
2004
13 years 10 months ago
An Adaptive Information Retrieval System Based on Associative Networks
In this paper we present a multilingual information retrieval system that provides access to Tourism information by exploiting the intuitiveness of natural language. In particular...
Helmut Berger, Michael Dittenbach, Dieter Merkl