Peter Störr und Steffen Hölldobler - Info zur Person

(1 - 11 von 14

)

[cs ] BDD-based reasoning in the fluent calculus - first...

arxiv.org

Authors: Steffen Hoelldobler, Hans-Peter Stoerr. (Submitted on 9 Mar 2000). Abstract: The paper reports on first preliminary results and insights gained in a project aiming at implementing the fluent calculus using methods and techniques based on binary decision diagrams. After reporting on an initial ...

Lifted Relational Neural Networks - CEUR Workshop Proceedings

ceur-ws.org

94(1):81–104, [7] Christoph Helma, Ross D. King, Stefan Kramer, and Ashwin Srinivasan. The predictive toxi- cology challenge 2000– Bioinformatics, 17(1):107–108, [8] Steffen Hölldobler, Yvonne Kalinke, and Hans Peter Störr. Approximating the semantics of logic programs by recurrent neural networks.

Handling Imprecise Knowledge with Fuzzy Description Logic

ceur-ws.org

data-type support and on implementations. References. [1] Steffen Hölldobler, Tran Dinh Khang, and Hans-Peter Störr. A fuzzy description logic with hedges as ...

Transforming Fuzzy Description Logic ALCFL into Classical ...

ceur-ws.org

Steffen Hölldobler, Hans-Peter Störr, and Dinh Khang Tran. The fuzzy description logic ALCFH with hedge algebras as concept modifiers. Journal of Advanced ...

User Adaptation in a Web Shop System – International Center for...

iccl.inf.tu-dresden.de

Sven-Erik Bornscheuer, Yvonne McIntyre, Steffen Hölldobler, Hans-Peter Störr User Adaptation in a Web Shop System In M. H. Hamza, eds., Proceedings of the IASTED ...

A Fuzzy Description Logic with Hedges as Concept Modifiers –...

iccl.inf.tu-dresden.de

Steffen Hölldobler, Tran Dinh Khang, Hans-Peter Störr. A Fuzzy Description Logic with Hedges as Concept Modifiers. In Nguyen Hoang Phuong and Hung T....

Publications of Group Wissensverarbeitung - International Center for...

iccl.inf.tu-dresden.de

Steffen Hölldobler, Hans-Peter Störr, Tran Dinh Khang UniversitÃ¤t Bremen / UniversitÃ¤t Freiburg, Germany Logic Programming, Potsdam, Germany, March 2004, volume 327 of Technical Report, Bayerische Julius-Maximilians-Universit{\"a}t W{\"u}rzburg, Institut f{\"u}r InformatikMarch 2004

The Fuzzy Description Logic ALC_FH with Hedge Algebras as Concept...

iccl.inf.tu-dresden.de

Steffen Hölldobler, Hans-Peter Störr, Tran Dinh Khang The Fuzzy Description Logic ALC_FH with Hedge Algebras as Concept Modifiers

Alle Infos zum Namen "Peter Störr"

CL Accepted Papers

www.doc.ic.ac.uk

Katsumi Inoue; A New Equational Foundation for the Fluent Calculus Hans-Peter Stoerr and Michael Thielscher; Solving the Entailment Problem in the Fluent Calculus using Binary Decision Diagrams Steffen Hoelldobler and Hans Peter Stoerr Thursday 27th July, ; Decidability Results for the Propositional Fluent ...

[loginf] 2nd Call for Participation: KI th Germ. Conf. on AI

lists.tcs.ifi.lmu.de

... Steffen Hölldobler, Hans-Peter Störr (TU Dresden) Learning from Multiple Bayesian Networks for the Revision and Refinement ...

Workshop on Action and Causality

www.cs.utexas.edu

May 30, :00 Michael Thielscher. From situation calculus to fluent calculus. 11:30 Steffen Hoelldobler and Hans-Peter Stoerr. Reasoning about complex actions. 12:00 Javier Pinto. Causality, indirect effects and triggers. 12:30 Lunch. 2:00 Josefina Sierra. Declarative formalization of strategies for action selection.

Verwandte Suchanfragen zu Peter Störr

Michael Thielscher
Hans Beimler
Jenny Polenz

Dirk Störr
Katrin Polenz
Dominik Störr

Helga Lammerich
Jennifer Runde

Personen
Vorname "Peter" (123603)
Name "Störr" (97)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Peter Störr und Steffen Hölldobler Person-Info