Fundamenta Informaticae - Tom Vol. 147, nr 1 (2016) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 147, nr 1

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2016

Identyfikatory

Zawartość wolumenu

Vol. 147, nr 1
- artykuł: Shift Design with Answer Set Programming (Abseher M., Musliu N., Woltran S., Gebser M., Schaub T.), s. 1--25
- artykuł: D-FLAT^2 : Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy (Bliem B., Charwat G., Hecher M., Woltran S.), s. 27--61
- artykuł: Answer Set Programming Modulo Acyclicity (Bomanson J., Janhunen T., Schaub T., Gebser M., Kaufmann B.), s. 63--91
- artykuł: Towards Deriving Conclusions from Cause-effect Relations (Fandinno J.), s. 93--131
- artykuł: Logic Programming with Graded Introspection (Zhang Z., Wang B., Zhang S.), s. 133--158

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