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. 140, nr 3/4
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
2015
Identyfikatory
Uwagi
Special Issue on the Italian Conference on Computational Logic : CILC 2013
Zawartość wolumenu
Vol. 140, nr 3/4
artykuł:
A Theoretical Perspective of Coinductive Logic Programming
(
Ancona D.
,
Dovier A.
), s. 221--246
artykuł:
A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic
(
Avellone A.
,
Fiorentini C.
,
Momigliano A.
), s. 247--262
artykuł:
A Comparative Test on the Enumeration of Extensions in Abstract Argumentation
(
Bistarelli S.
,
Rossi F.
,
Santini F.
), s. 263--278
artykuł:
Negation as a Resource: a Novel View on Answer Set Semantics
(
Costantini S.
,
Formisano A.
), s. 279--305
artykuł:
Mapping Sets and Hypersets into Numbers
(
D’Agostino G.
,
Omodeo E. G.
,
Policriti A.
,
Tomescu A. I.
), s. 307--328
artykuł:
A Rule-based Verification Strategy for Array Manipulating Programs
(
De Angelis E.
,
Fioravanti F.
,
Pettorossi A.
,
Proietti M.
), s. 329--355
artykuł:
Explicit Constructive Logic ECL : a New Representation of Construction and Selection of Logical Information by an Epistemic Agent
(
Gentilini P.
,
Martelli M.
,
Rosolini G.
), s. 357--372
artykuł:
Learning in Description Logics with Fuzzy Concrete Domains
(
Lisi F. A.
,
Straccia U.
), s. 373--391
artykuł:
Nondeterministic Programming in Java with JSetL
(
Rossi G.
,
Bergenti F.
), s. 393--412
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ć.