Project Acronym Projekt Kurzbezeichnung
DK - Logic
 
Project Title (de) Projekttitel (de)
Doctorate's College
 
Project Title (en) Projekttitel (en)
Doctorate's College
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 
Funder/Funding Agency Fördergeber
FWF - Österr. Wissenschaftsfonds
Grant number Förderkennnummer
W 1255-N23
 

Results 1-19 of 19 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Schidler-2023-ACM Journal on Experimental Algorithmics-vor.pdf.jpgSchidler, Andre ; Szeider, Stefan SAT-boosted tabu search for coloring massive graphsArticle Artikel Dec-2023
2Hozzova-2023-Program Synthesis inSaturation-vor.pdf.jpgHozzova, Petra ; Kovács, Laura ; Norman, Chase ; Voronkov, Andrei Program Synthesis in SaturationInproceedings Konferenzbeitrag 2-Sep-2023
3Correa-2023-Grounding Planning Tasks Using Tree Decompositions and Iterat...-vor.pdf.jpgCorrêa, Augusto ; Hecher, Markus ; Helmert, Malte ; Longo, Davide Mario ; Pommerening, Florian ; Woltran, Stefan Grounding Planning Tasks Using Tree Decompositions and Iterated SolvingInproceedings Konferenzbeitrag 1-Jul-2023
4Bernreiter-2023-The Effect of Preferences in Abstract Argumentation under...-vor.pdf.jpgBernreiter, Michael ; Dvorak, Wolfgang ; Rapberger, Anna ; Woltran, Stefan The Effect of Preferences in Abstract Argumentation under a Claim-Centric ViewInproceedings Konferenzbeitrag 26-Jun-2023
5Hozzova-2023-Overapproximation of Non-Linear Integer Arithmetic for Smart...-vor.pdf.jpgHozzová, Petra ; Bendík, Jaroslav ; Nutz, Alexander ; Rodeh, Yoav Overapproximation of Non-Linear Integer Arithmetic for Smart Contract VerificationInproceedings Konferenzbeitrag 3-Jun-2023
6BOZZATO-2023-Contextual Reasoning for Scene Generation Technical Report-vor.pdf.jpgBozzato, Loris ; Eiter, Thomas ; Kiesel, Rafael Peter David ; Stepanova, Daria Contextual Reasoning for Scene Generation. Technical ReportReport Bericht 3-May-2023
7Schidler-2023-Computing Twin-width with SAT and Branch  Bound-vor.pdf.jpgSchidler, André ; Szeider, Stefan Computing Twin-width with SAT and Branch & BoundInproceedings Konferenzbeitrag 2023
8BOZZATO-2023-Semantically Guided Scene Generation via Contextual Reasonin...-vor.pdf.jpgBozzato, Loris ; Eiter, Thomas ; Kiesel, Rafael Peter David ; Stepanova, Daria Semantically Guided Scene Generation via Contextual Reasoning and Algebraic MeasuresInproceedings Konferenzbeitrag 2023
9Kiesel-2023-Knowledge Compilation and More with SharpSAT-TD-vor.pdf.jpgKiesel, Rafael ; Eiter, Thomas Knowledge Compilation and More with SharpSAT-TDInproceedings Konferenzbeitrag 2023
10Hajdu-2022-Getting Saturated withInduction-am.pdf.jpgHajdu, Márton ; Hozzová, Petra ; Kovács, Laura ; Reger, Giles ; Voronkov, Andrei Getting Saturated with InductionBook Contribution Buchbeitrag 29-Dec-2022
11Bhayat-2022-Lemmaless Induction inTrace Logic-am.pdf.jpgBhayat, Ahmed ; Georgiou, Pamina ; Eisenhofer, Clemens ; Kovács, Laura ; Reger, Giles Lemmaless Induction in Trace LogicInproceedings Konferenzbeitrag 2022
12Saribatur, Zeynep G. ; Eiter, Thomas ; Schüller, Peter Abstraction for non-ground answer set programsArtikel Article 2021
13Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael Treewidth-Aware Cycle Breaking for Algebraic Answer Set CountingKonferenzbeitrag Inproceedings 2021
14Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael Treewidth-Aware Cycle Breaking for Algebraic Answer Set CountingKonferenzbeitrag Inproceedings 2021
15Saribatur, Zeynep Gözen ; Wallner, Johannes Peter ; Woltran, Stefan Explaining Non-Acceptability in Abstract ArgumentationKonferenzbeitrag Inproceedings 2020
16Dvorak, Wolfgang ; Gaggl, Sarah Alice ; Rapberger, Anna ; Wallner, Johannes Peter ; Woltran, Stefan The ASPARTIX system suiteKonferenzbeitrag Inproceedings 2020
17Dvořák, Wolfgang ; Rapberger, Anna ; Woltran, Stefan Argumentation Semantics under a Claim-centric View: Properties, Expressiveness and Relation to SETAFsKonferenzbeitrag Inproceedings 2020
18Haret, Adrian ; Lackner, Martin ; Pfandler, Andreas ; Wallner, Johannes P. Proportional Belief MergingKonferenzbeitrag Inproceedings 2020
19Diller, Martin ; Keshavarzi Zafarghandi, Atefeh ; Linsbichler, Thomas ; Woltran, Stefan Investigating subclasses of abstract dialectical frameworksArtikel Article 2020