![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Fundamenta Informaticae, Volume 147
Volume 147, Number 1, 2016
- Daniela Inclezan, Marco Maratea, Victor W. Marek:
Preface. v-vii
- Michael Abseher, Martin Gebser, Nysret Musliu
, Torsten Schaub
, Stefan Woltran:
Shift Design with Answer Set Programming. 1-25 - Bernhard Bliem, Günther Charwat, Markus Hecher, Stefan Woltran:
D-FLAT2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy. 27-61 - Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub
:
Answer Set Programming Modulo Acyclicity. 63-91 - Jorge Fandinno:
Towards Deriving Conclusions from Cause-effect Relations. 93-131 - Zhizheng Zhang, Bin Wang
, Shutao Zhang
:
Logic Programming with Graded Introspection. 133-158
Volume 147, Numbers 2-3, 2016
- Ludwik Czaja, Wojciech Penczek
, Krzysztof Stencel:
Preface. i-iii
- Fawaz Alsolami
, Talha Amin, Igor Chikalov, Mikhail Moshkov
, Beata Zielosko
:
Dynamic Programming Approach for Construction of Association Rule Systems. 159-171 - Roberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo
:
Specialized Predictor for Reaction Systems with Context Properties. 173-191 - Sylwia Buregwa-Czuma, Jan G. Bazan, Lech Zareba
, Stanislawa Bazan-Socha, Barbara Rewerska, Przemyslaw Wiktor Pardel, Lukasz Dydo:
The Method for Describing Changes in the Perception of Stenosis in Blood Vessels Caused by an Additional Drug. 193-207 - Ludwik Czaja:
Remarks on Memory Consistency Description. 209-221 - Adam Grabowski
:
Lattice Theory for Rough Sets - A Case Study with Mizar. 223-240 - Maciej Kopczynski
, Tomasz Grzes
, Jaroslaw Stepaniuk
:
Core for Large Datasets: Rough Sets on FPGA. 241-259 - Linh Anh Nguyen:
ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic. 261-288 - Artur Niewiadomski
, Jaroslaw Skaruz, Piotr Switalski
, Wojciech Penczek
:
Concrete Planning in PlanICS Framework by Combining SMT with GEO and Simulated Annealing. 289-313 - Vladislav V. Podymov:
An Efficient Equivalence-checking Algorithm for a Model of Programs with Commutative and Absorptive Statements. 315-336 - Lech T. Polkowski
, Bartosz A. Nowak:
Betweenness, Łukasiewicz Rough Inclusions, Euclidean Representations in Information Systems, Hyper-granules and Conflict Resolution. 337-352 - Malgorzata Przybyla-Kasperek
:
Selected Methods of Combining Classifiers, when Predictions are Stored in Probability Vectors, in a Dispersed Decision-making System. 353-370 - Andrzej Skowron, Andrzej Jankowski:
Rough Sets and Interactive Granular Computing. 371-385
Volume 147, Number 4, 2016
- Jan Magott, Pawel Skrobanek:
Semantics and Execution Time of New Timed Statecharts. 387-414 - Xindong Peng
, Huiyong Yuan:
Fundamental Properties of Pythagorean Fuzzy Aggregation Operators. 415-446 - Darja Rupnik Poklukar
, Janez Zerovnik
:
Reliability Hosoya-Wiener Polynomial of Double Weighted Trees. 447-456 - Xiawei Zhang, Qingzhao Kong:
On Four Types of Multi-Covering Rough Sets. 457-476 - Yan-Lan Zhang, Jinjin Li
, Changqing Li:
Topological Structure of Relation-based Generalized Rough Sets. 477-491
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.