Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Cryoprotective activity of thermal hysteresis protein in evergreen plants

100%

Pukacki P. , Jarzabek M. , Jozwiak W. , Lutz C.

Acta Biologica Cracoviensia. Series Botanica. Supplement

2009

tom 51

nr 1

From Tableaux to Automata for Description Logics

100%

Baader F. , Hladik J. , Lutz C. , Wolter F.

Fundamenta Informaticae

2003

tom Vol. 57, nr 2-4

247--279

This paper investigates the relationship between automata- and tableau-based inference procedures for description logics. To be more precise, we develop an abstract notion of what a tableau-based algorithm is, and then show, on this abstract level, how tableau-based algorithms can be converted into automata-based algorithms. In particular, this allows us to characterize a large class of tableau-based algorithms that imply an ExpTime upper-bound for reasoning in the description logics for which such an algorithm exists.