Wyniki wyszukiwania - Biblioteka Nauki

Ten serwis zostanie wyłączony 2025-02-11.

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:

Amphibians and squamate reptiles from the early Upper Pleistocene of Bois Roche Cave [Charente, Southwestern France]

100%

Blain H. A. , Villa P.

Acta Zoologica Cracoviensia. Ser.A Vertebrata

2006

tom 49A

nr 1-2

Actions Over a Constructive Semantics for Description Logics

80%

Bozzato L. , Ferrari M. , Villa P.

Fundamenta Informaticae

2009

tom Vol. 96, nr 3

253-269

Following the approaches given in recent works about action languages over description logics, we propose an action formalism based on a constructive information terms semantics for ALC. We discuss how a notion of state can be naturally encoded by this semantics. We address the problems of determining executability of an action, building the state obtained by an action application and checking its consistency: we present an algorithm to solve the latter two problems.