PL
|
EN
Szukaj
Przeglądaj
Pomoc
O bazie
test
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Tom - szczegóły
Adres strony
Kopiuj
Tytuł artykułu
Vol. 159, nr 1/2
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
2018
Identyfikatory
Zawartość wolumenu
Vol. 159, nr 1/2
artykuł:
Commitment-based Agent Interaction in JaCaMo+
(
Baldoni M.
,
Baroglio C
,
Capuzzimati F.
,
Micalizio R.
), s. 1--33
artykuł:
Evaluating Compliance : From LTL to Abductive Logic Programming
(
Chesani F.
,
Gavanelli M.
,
Lamma E.
,
Mello P.
,
Montali M.
), s. 35--63
artykuł:
Reasoning on Datalog± Ontologies with Abductive Logic Programming
(
Gavanelli M.
,
Lamma E.
,
Riguzzi F.
,
Bellodi E.
,
Zese R.
,
Cota G.
), s. 65--93
artykuł:
Towards a Rational Closure for Expressive Description Logics : the Case of SHIQ
(
Giordano L.
,
Gliozzi V.
,
Olivetti N.
), s. 95--122
artykuł:
The Impact of Active Domain Predicates on Guarded Existential Rules
(
Gottlob G.
,
Pieris A.
,
Šimkus M.
), s. 123--146
artykuł:
A Granular Computing Method for OWL Ontologies
(
Lisi F. A.
,
Mencar C.
), s. 147--174
artykuł:
Additional Winning Strategies in Reachability Games
(
Malvone V.
,
Murano A.
,
Sorrentino L.
), s. 175--195
rozwiń roczniki
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.