#### Filter Results:

- Full text PDF available (14)

#### Publication Year

1998

2004

- This year (0)
- Last 5 years (0)
- Last 10 years (0)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Data Set Used

#### Key Phrases

Learn More

- Steffen Hölldobler, Yvonne Kalinke, Hans-Peter Störr
- Applied Intelligence
- 1999

In [1] we have shown how to construct a 3-layered recurrent neural network that computes the fixed point of the meaning function TP of a given propositional logic program P, which corresponds to the computation of the semantics of P. In this article we consider the first order case. We define a notion of approximation for interpretations and prove that… (More)

In this paper we present a fuzzy description logic , where primitive concepts are modified by means of hedges. is strictly more expressive than Fuzzydefined in [8]. We show that given a linearly ordered set of hedges primitive concepts can be modified to any desired degree by prefixing them with appropriate chains of hedges. Furthermore, we define a… (More)

We present the fuzzy description logic ALCFH where primitive concepts are modified by means of hedges taken from hedge algebras. ALCFH is strictly more expressive than Fuzzy-ALC defined in [9]. We show that given a linearly ordered set of hedges primitive concepts can be modified to any desired degree by prefixing them with appropriate chains of hedges.… (More)

- Hans-Peter Störr
- 2002

We introduce a conservative fuzzy logic extension of the Naive Bayesian classification algorithm. The extension generalizes the algorithm such that the examples are described by a fuzzy set of attributes, instead of a classical set. Thus, an example possesses each attribute to a degree in [0, 1]. We present a new classification algorithm usable with fuzzy… (More)

We present a new classification algorithm that combines three properties: It generates decision trees, which proved a valuable and intelligible tool for classification and generalization of data; it utilizes fuzzy logic, that provides for a fine grained description of classified items adequate for human reasoning; and it is incremental, allowing rapid… (More)

- Steffen Hölldobler, Hans-Peter Störr, Dinh Khang Tran
- JACIII
- 2003

In this paper we present the fuzzy description logic ALCFH introduced, where primitive concepts are modified by means of hedges taken from hedge algebras. ALCFH is strictly more expressive than Fuzzy-ALC defined in [11]. We show that given a linearly ordered set of hedges primitive concepts can be modified to any desired degree by prefixing them with… (More)

- Steffen Hölldobler, Hans-Peter Störr
- Computational Logic
- 2000

The paper is an exercise in formal program development. We rigorously show how planning problems encoded as entailment problems in the uent calculus can be mapped onto satissability problems for propositional formulas, which in turn can be mapped to the problem to nd models using binary decision diagrams. The mapping is shown to be sound and complete.… (More)

We propose a generic web shop system which adapts online to the preferences of a user by observing the user’s behavior and applying machine learning algorithms. We specify the system architecture, identify basic research problems and discuss the current state of our system.

- Hans-Peter Störr, Michael Thielscher
- Computational Logic
- 2000

A new equational foundation is presented for the Fluent Calculus, an established predicate calculus formalism for reasoning about actions. We discuss limitations of the existing axiomatizations of both equality of states and what it means for a fluent to hold in a state. Our new and conceptually even simpler theory is shown to overcome the restrictions of… (More)

- Hans-Peter Störr
- AI Magazine
- 2001

As a part of my group’s activities on the extension of the fluent calculus (Hölldobler and Schneeberger 1990; Thielscher 1998), I’ve been working to provide an efficient inference engine for the fluent calculus by using the efficiency of binary decision diagrams (BDDs) (Bryant 1986). In the past, BDDs have significantly improved the performance of… (More)