Fixed-Parameter Tractability in Artificial Intelligence and Reasoning (FAIR)

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
FAIR
 
Project Title (de) Projekttitel (de)
Fixed-Parameter Tractability in Artificial Intelligence and Reasoning (FAIR)
 
Project Title (en) Projekttitel (en)
Fixed-Parameter Tractability in Artificial Intelligence and Reasoning (FAIR)
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
FWF Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Grant number Förderkennnummer
P25518-N23
 

Publications

Results 61-70 of 70 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
61Kronegger, Martin ; Pfandler, Andreas ; Pichler, Reinhard Conformant Planning as a Benchmark for QBF-SolversKonferenzbeitrag Inproceedings 2013
62Lackner, Martin Single-peaked preference profiles and permutation patterns: A unified perspectivePräsentation Presentation2013
63Bliem, Bernhard ; Pichler, Reinhard ; Woltran, Stefan Applicability of ASP-based Problem Solving on Tree DecompositionsPräsentation Presentation2013
64Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Xiao, Guohui Tractable Queries for Lightweight Description LogicsKonferenzbeitrag Inproceedings 2013
5Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Conjunctive Regular Path Queries in Lightweight Description LogicsKonferenzbeitrag Inproceedings 2013
6Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State MachinesKonferenzbeitrag Inproceedings 2013
7Lackner, Martin Incomplete Preferences in Single-Peaked ElectoratesKonferenzbeitrag Inproceedings 2013
8Kronegger, Martin ; Lackner, Martin ; Pfandler, Andreas ; Pichler, Reinhard A Parameterized Complexity Analysis of Generalized CP-NetsKonferenzbeitrag Inproceedings 2013
9Erdélyi, Gábor ; Lackner, Martin ; Pfandler, Andreas Computational Aspects of Nearly Single-Peaked ElectoratesKonferenzbeitrag Inproceedings 2013
10Bruner, Marie-Louise ; Lackner, Martin The computational landscape of permutation patternsPreprint Preprint2013