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:
  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
  

Last update Tue May 21 14:27:00 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page