Doktoratskolleg

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
DK - Logic
 
Project Title (de) Projekttitel (de)
Doktoratskolleg
 
Project Title (en) Projekttitel (en)
Doctorate's College
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Grant number Förderkennnummer
W1255-N23
 
OA Mandate OA Mandat
 
Currency Währung
EUR
 

Publications

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1PruningExternalMinimalityChecking.pdf.jpgEiter, Thomas ; Kaminski, Tobias Dietmar ; Balduccini, Marcello ; Lierler, Yuliya ; Woltran, Stefan Pruning External Minimality Checking for ASP Using Semantic DependenciesInproceedings Konferenzbeitrag 12-May-2019
2Hajdu - 2020 - Induction with generalization in superposition reasoning.pdf.jpgHajdú, Márton ; Hozzova, Petra ; Kovacs, Laura ; Schoisswohl, Johannes ; Voronkov, Andrei Induction with Generalization in Superposition ReasoningInproceedings Konferenzbeitrag 26-Jul-2020