Abstract is missing.
- On the Extension of Learning for Max-SATAndré Abramé, Djamal Habet. 1-10 [doi]
- A Two-Levels Local Search Algorithm for Random SAT Instances with Long ClausesAndré Abramé, Djamal Habet, Donia Toumi. 11-20 [doi]
- Computing Subjective Expected Utility using Probabilistic Description LogicsErman Acar. 21-30 [doi]
- Towards modeling surprise in economics and finance: a cognitive science perspectiveDavi Baccan, Luis Macedo, Elton Sbruzzi. 31-40 [doi]
- Temporal Plan Quality Improvement and Repair using Local SearchJosef Bajada, Maria Fox, Derek Long. 41-50 [doi]
- HiPOP: Hierarchical Partial-Order PlanningPatrick Bechon, Magali Barbier, Guillaume Infantes, Charles Lesire, Vincent Vidal. 51-60 [doi]
- Value Iteration for Relational MDPs in Rewriting LogicLenz Belzner. 61-70 [doi]
- On Evaluating Interestingness Measures for Closed ItemsetsAleksey Buzmakov, Sergei O. Kuznetsov, Amedeo Napoli. 71-80 [doi]
- Learning Probabilistic CP-nets from Observations of Optimal ItemsDamien Bigot, Jérôme Mengin, Bruno Zanuttini. 81-90 [doi]
- A Logic of Part and Whole for Buffered GeometriesHeshan Du, Natasha Alechina. 91-100 [doi]
- Computing Optimal Policies for Attack Graphs with Action Failures and CostsKarel Durkota, Viliam Lisy. 101-110 [doi]
- Semantifying Triples from Open Information Extraction SystemsArnab Dutta, Christian Meilicke, Heiner Stuckenschmidt. 111-120 [doi]
- Towards the Usage of Advanced Behavioral Simulations for Simultaneous Tracking and Activity RecognitionArsène Fansi Tchango, Vincent Thomas, Olivier Buffet, Fabien Flacher, Alain Dutech. 121-130 [doi]
- Human Speech Processing for Pedestrian Assistance: Towards Cognitive Error Handling in Spoken Dialogue SystemsMartin Hacker. 131-140 [doi]
- A! - A Cooperative Heuristic Search AlgorithmAntti Halme. 141-150 [doi]
- Run-time Plan Repair for AUV MissionsCatherine Harris, Richard Dearden. 151-160 [doi]
- Embedding a Card Game Language into a General Game Playing LanguageJakub Kowalski. 161-170 [doi]
- Effective and Efficient Identification of Persistent-state Hidden (semi-) Markov ModelsTingting Liu, Jan Lemeire. 171-180 [doi]
- Supervised Separation of Speech from Background Piano Music using a Nonnegative Matrix Factorization ApproachA. Martinez-Colón, Francisco J. Cañadas-Quesada, Pedro Vera-Candeas, Nicolás Ruiz-Reyes, F. Moreno-Fuentes. 181-190 [doi]
- Practical Defeasible Reasoning for Description LogicsKodylan Moodley, Thomas Meyer, Uli Sattler. 191-200 [doi]
- Integration of Temporal abstraction and Dynamic Bayesian Networks for Coronary Heart DiagnosisKalia Orphanou, Athena Stassopoulou, Elpida Keravnou. 201-210 [doi]
- Clause Simplifications in Search-Space Decomposition-Based Sat SolversTobias Philipp. 211-219 [doi]
- Multi-objective learning of accurate and comprehensible classifiers - A case studyRok Piltaver, Mitja Lustrek, Matjaz Gams. 220-229 [doi]
- Predicting Players Behavior in Games with MicrotransactionsOndrej Pluskal, Jan Sedivý. 230-239 [doi]
- Extension-Based Semantics of Abstract Dialectical FrameworksSylwia Polberg. 240-249 [doi]
- The Margin of Victory in Schulze, Cup, and Copeland Elections: Complexity of the Regular and Exact VariantsYannick Reisch, Jörg Rothe, Lena Schend. 250-259 [doi]
- Electronic Tourist Guides: User-friendly Editing of Automatically Planned RoutesRichard Schaller. 260-269 [doi]
- A Cost-Based Relaxed Planning Graph Heuristic for Enhanced Metric SensitivityMichal Sroka, Derek Long. 270-279 [doi]
- Towards Learning and Classifying Spatio-Temporal Activities in a Stream Processing FrameworkMattias Tiger, Fredrik Heintz. 280-289 [doi]
- Empirical Study of Classification Models for Web Page CategorizationTomás Tunys, Jan Sedivý. 290-299 [doi]