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. 124, nr 4
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
2013
Identyfikatory
Zawartość wolumenu
Vol. 124, nr 4
artykuł:
The CHR-based Implementation of the SCIFF Abductive System
(
Alberti M.
,
Gavanelli M.
,
Lamma E.
), s. 365--381
artykuł:
Coalitions of Arguments : An Approach with Constraint Programming
(
Bistarelli S.
,
Santini F.
), s. 383--401
artykuł:
Product and Production Process Modeling and Configuration
(
Campagna D.
,
Formisano A.
), s. 403--425
artykuł:
On the Satisfiability Problem for a 4-level Quantified Syllogistic and Some Applications to Modal Logic
(
Cantone D.
,
Asmundo M. N.
), s. 427--448
artykuł:
Nested Weight Constraints in ASP
(
Costantini S.
,
Formisano A.
), s. 449--464
artykuł:
On Modal μ-Calculus in S5 and Applications
(
D'Agostino G.
,
Lenzi G.
), s. 465--482
artykuł:
Controlling Polyvariance for Specialization-based Verification
(
Fioravanti F.
,
Pettorossi A.
,
Proietti M.
,
Senni V.
), s. 483--502
artykuł:
A Logic-based Computational Method for the Automated Induction of Fuzzy Ontology Axioms
(
Lisi F. A.
,
Straccia U.
), s. 503--519
artykuł:
MCINTYRE : A Monte Carlo System for Probabilistic Logic Programming
(
Riguzzi F.
), s. 521--541
artykuł:
Logic-based Reasoning Support for SBVR
(
Solomakhin D.
,
Franconi E.
,
Mosca A.
), s. 543--560
artykuł:
A Tabled Prolog Program for Solving Sokoban
(
Zhou N.-F.
,
Dovier A.
), s. 561--575
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ć.