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


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
 
Funder/Funding Agency Fördergeber
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Grant number Förderkennnummer
P25518-N23
 

Publications

Results 1-20 of 54 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Pfandler, Andreas ; Endres, Markus Workshop Präferenzen und Personalisierung in der Informatik (PPI17)Konferenzbeitrag Inproceedings2017
2Csar, Theresa ; Lackner, Martin ; Pichler, Reinhard ; Sallinger, Emanuel Winner Determination in Huge Elections with MapReduce. AAAI 2017: 451-458Konferenzbeitrag Inproceedings2017
3Csar, Theresa ; Lackner, Martin ; Pichler, Reinhard ; Sallinger, Emanuel ; Endres, Markus ; Mattei, Nicholas ; Pfandler, Andreas Winner Determination in Huge Elections with MapReduceKonferenzbeitrag Inproceedings 2016
4Kronegger, Martin ; Pfandler, Andreas ; Ordyniak, Sebastian ; Bonet, Blai ; Koenig, Sven Variable-Deletion Backdoors to PlanningKonferenzbeitrag Inproceedings 2015
5Eiter, Thomas ; Schneider, Patrik ; Simkus, Mantas ; Xiao, Guohui Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners 51-57Konferenzbeitrag Inproceedings 2014
6Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Xiao, Guohui ; Rossi, Francesca Tractable Queries for Lightweight Description LogicsKonferenzbeitrag Inproceedings 2013
7Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Xiao, Guohui ; Eiter, Thomas ; Glimm, Birte ; Kazakov, Yevgeny ; Krötzsch, Markus Tractability Guarantees for DL-Lite Query AnsweringKonferenzbeitrag Inproceedings 2013
8Bellomarini, Luigi ; Gottlob, Georg ; Pieris, Andreas ; Sallinger, Emanuel Swift Logic for Big Data and Knowledge GraphsKonferenzbeitrag Inproceedings2017
9Ortiz, Magdalena ; Šimkus, Mantas ; Kontchakov, Roman ; Mugnier, Marie-Laure Revisiting the Hardness of Query Answering in Expressive Description LogicsKonferenzbeitrag Inproceedings 2014
10Ahmetaj, Shqiponja ; Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Rosati, Riccardo ; Simkus, Mantas Planning Problems for Graph Structured Data in Description LogicsKonferenzbeitrag Inproceedings 2014
11Ahmetaj, Shqiponja ; Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Gottlob, Georg ; Perez, Jorge Planning and Change in Graph Structured Data under Description Logics ConstraintsKonferenzbeitrag Inproceedings 2014
12Kronegger, Martin ; Pfandler, Andreas ; Pichler, Reinhard ; Rossi, Francesca Parameterized Complexity of Optimal Planning: A Detailed MapKonferenzbeitrag Inproceedings 2013
13Ganian, Robert ; Kronegger, Martin ; Pfandler, Andreas ; Popa, Alexandru ; Jain, Rahul ; Jain, Sanjay ; Stephan, Frank Parameterized Complexity of Asynchronous Border MinimizationKonferenzbeitrag Inproceedings 2015
14Pfandler, Andreas ; Rümmele, Stefan ; Wallner, Johannes Peter ; Woltran, Stefan ; Yang, Qiang ; Wooldridge, Michael On the Parameterized Complexity of Belief RevisionKonferenzbeitrag Inproceedings 2015
15Creignou, Nadia ; Kröll, Markus ; Pichler, Reinhard ; Skritek, Sebastian ; Vollmer, Heribert On the Complexity of Hard Enumeration ProblemsKonferenzbeitrag Inproceedings2017
16Lackner, Martin ; Aziz, Haris ; Elkind, Edith ; Huang, Shenwei ; Sánchez-Fernández, Luis ; Skowron, Piotr On the Complexity of Extended and Proportional Justified RepresentationKonferenzbeitrag Inproceedings 2018
17Kröll, Markus ; Pichler, Reinhard ; Woltran, Stefan On the Complexity of Enumerating the Extensions of Abstract Argumentation FrameworksKonferenzbeitrag Inproceedings2017
18Bienvenu, Meghyn ; Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Gottlob, Georg ; Perez, Jorge Nested Regular Path Queries in Description Logics (Extended Abstract)Konferenzbeitrag Inproceedings 2014
19Bienvenu, Meghyn ; Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Baral, Chitta ; De Giacomo, Giuseppe ; Eiter, Thomas Nested Regular Path Queries in Description LogicsKonferenzbeitrag Inproceedings 2014
20Lackner, Martin ; Bredereck, Robert ; Faliszewski, Piotr ; Igarashi, Ayumi ; Skowron, Piotr Multiwinner Elections With Diversity ConstraintsKonferenzbeitrag Inproceedings 2018