Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta 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
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-04-22 20:02 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:
