Projects per year
Original language | English |
---|---|
Title of host publication | Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 14th European Conference, ECSQARU 2017 Lugano, Switzerland, July 10–14, 2017 Proceedings |
Editors | Alessandro Antonucci, Laurence Cholvy, Odile Papini |
Number of pages | 12 |
Place of Publication | Cham |
Publisher | Springer International Publishing AG |
Publication date | 2017 |
Pages | 57-68 |
ISBN (Print) | 978-3-319-61580-6 |
ISBN (Electronic) | 978-3-319-61581-3 |
DOIs | |
Publication status | Published - 2017 |
MoE publication type | A4 Article in conference proceedings |
Event | European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty - Lugano, Switzerland Duration: 10 Jul 2017 → 14 Jul 2017 Conference number: 14 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 10369 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Fields of Science
- 113 Computer and information sciences
Projects
- 2 Finished
-
Harnessing Constraint Reasoning for Structure Discovery
01/01/2015 → 31/12/2018
Project: University of Helsinki Three-Year Research Project
-
Decision Procedures for the Polynomial Hierarchy, Boolean Optimization, and Model Counting
01/09/2014 → 31/08/2019
Project: Research project