Volume 147; Issue 1

Main
Fundamenta Informaticae
Volume 147; Issue 1

Fundamenta Informaticae

Volume 147; Issue 1

1

Shift Design with Answer Set Programming*

Abseher, Michael, Gebser, Martin, Musliu, Nysret, Schaub, Torsten, Woltran, Stefan, Inclezan, Daniela, Maratea, Marco, Marek, Victor

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 320 KB

english, 2016

2

D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy

Bliem, Bernhard, Charwat, Günther, Hecher, Markus, Woltran, Stefan, Inclezan, Daniela, Maratea, Marco, Marek, Victor

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 565 KB

english, 2016

3

Answer Set Programming Modulo Acyclicity*

Bomanson, Jori, Gebser, Martin, Janhunen, Tomi, Kaufmann, Benjamin, Schaub, Torsten, Inclezan, Daniela, Maratea, Marco, Marek, Victor

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 446 KB

english, 2016

4

Towards Deriving Conclusions from Cause-effect Relations

Fandinno, Jorge, Inclezan, Daniela, Maratea, Marco, Marek, Victor

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 445 KB

english, 2016

5

Logic Programming with Graded Introspection

Zhang, Zhizheng, Wang, Bin, Zhang, Shutao, Inclezan, Daniela, Maratea, Marco, Marek, Victor

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 306 KB

english, 2016

6

Preface

Inclezan, Daniela, Maratea, Marco, Marek, Victor, Inclezan, Daniela, Maratea, Marco, Marek, Victor

Journal:

Fundamenta Informaticae

Year:

2016

File:

PDF, 37 KB

2016