Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta 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
a service of 
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.
last updated on 2024-06-10 21:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
