Fundamenta Informaticae - Tom Vol. 140, nr 3/4 (2015) - BazTech - Yadda

Tom - szczegóły

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ć.