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. 161, nr 1/2
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
2018
Identyfikatory
Zawartość wolumenu
Vol. 161, nr 1/2
artykuł:
From Constructivism to Logic Programming : an Homage to Mario Ornaghi
(
Ferrari M.
,
Fiorentini C.
,
Momigliano A.
), s. 1--7
artykuł:
Constraint Logic Programming with Polynomial Constraints over Finite Domains
(
Bergenti F.
,
Monica S.
,
Rossi G.
), s. 9--27
artykuł:
ASP Based Generation of Information Terms for Constructive EL
(
Bozzato L.
), s. 29--51
artykuł:
Extending Logic Programming with Labelled Variables : Model and Semantics
(
Calegari R.
,
Denti E.
,
Dovier A.
,
Omicini A.
), s. 53--74
artykuł:
Compliance in Business Processes with Incomplete Information and Time Constraints : a General Framework based on Abductive Reasoning
(
Chesani F.
,
Mello P.
,
Montali M.
,
Tessaris S.
,
De Masellis R.
,
Di Francescomarino C.
,
Ghidini C.
), s. 75--111
artykuł:
Logic-based Verification of the Distributed Dining Philosophers Protocol
(
Delzanno G.
), s. 113--133
artykuł:
Defeasible Reasoning in SROEL : from Rational Entailment to Rational Closure
(
Giordano L.
,
Dupré D. T.
), s. 135--161
artykuł:
Revision of Ontologies to Accommodate Exceptions : a Typicality-based Approach
(
Micalizio R.
,
Pozzato G. L.
), s. 163--189
artykuł:
Multi-Agent Dialogues and Dialogue Sequents for Proof Search and Scheduling in Intuitionistic Logic and the Modal Logic S4
(
Sticht M.
), s. 191--218
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ć.