![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Fundamenta Informaticae, Volume 113
Volume 113, Number 1, 2011
- Mauricio Osorio, Victor W. Marek:
Preface. - Oscar Chávez-Bosquez
, Pilar Pozos Parra, Flórián Lengyel:
Solving the International Timetabling Competition: a Deterministic Approach. 1-18 - Roberto Confalonieri
, Juan Carlos Nieves:
Nested Preferences in Answer Set Programming. 19-39 - Juan Carlos Nieves, Roberto Confalonieri
:
A Possibilistic Argumentation Decision Making Framework with Default Reasoning. 41-61 - Guillermo De Ita Luna
, José Raymundo Marcial-Romero
, José Antonio Hernández Servín:
A Threshold for a Polynomial Solution of #2SAT. 63-77 - Flavio Omar Everardo Pérez, Fernando Antonio Aguilera Ramírez:
Armin: Automatic Trance Music Composition using Answer Set Programming. 79-96
Volume 113, Number 2, 2011
- Jan Ramon, Fabrizio Costa
, Christophe Costa Florêncio, Joost N. Kok:
Preface. - Jorge M. Arevalillo
, Hilario Navarro
:
Uncovering Bivariate Interactions in High Dimensional Data Using Random Forests with Data Augmentation. 97-115 - Wilhelmiina Hämäläinen:
Efficient Search Methods for Statistical Dependency Rules. 117-150 - Elisa Cilia, Niels Landwehr, Andrea Passerini
:
Relational Feature Mining with Hierarchical Multitask kFOIL. 151-177
Volume 113, Numbers 3-4, 2011
- Johan Lilius
, Wojciech Penczek
:
Preface. - Eike Best, Philippe Darondeau:
Separability in Persistent Petri Nets. 179-203 - Javier Esparza
, Martin Leucker
, Maximilian Schlund:
Learning Workflow Petri Nets. 205-228 - Steve Hostettler, Alexis Marechal, Alban Linard, Matteo Risoldi, Didier Buchs:
High-Level Petri Net Model Checking with AlPiNA. 229-264 - Dai Tri Man Le:
On Three Alternative Characterizations of Combined Traces. 265-293 - Niels Lohmann
, Daniela Weinberg:
Wendy: A Tool to Synthesize Partners for Services. 295-311 - Fernando Rosa-Velardo
, María Martos-Salgado, David de Frutos-Escrig
:
Accelerations for the Coverability Set of Petri Nets with Names. 313-341 - Marc Solé, Josep Carmona
:
Light Region-based Techniques for Process Discovery. 343-376 - Antti Valmari, Henri Hansen
:
Can Stubborn Sets Be Optimal? 377-397 - Matthias Weidlich
, Artem Polyvyanyy
, Jan Mendling
, Mathias Weske:
Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation. 399-435
![](https://dblp1.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.