Logics for Computer Science Program at TU Wien


Project Acronym Projekt Kurzbezeichnung
LogiCS@TUWien
 
Project Title (de) Projekttitel (de)
Logics for Computer Science Program at TU Wien
 
Project Title (en) Projekttitel (en)
Logics for Computer Science Program at TU Wien
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 
Funder/Funding Agency Fördergeber
European Commission
Grant number Förderkennnummer
101034440
 

Results 1-11 of 11 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Niessen-2024-Finding counterexamples to  hyperproperties-am.pdf.jpgNießen, Tobias ; Weissenbacher, Georg Finding counterexamples to ∀∃ hyperpropertiesPresentation Vortrag 16-Jan-2024
2Solda-2023-Journal of Logic and Computation-vor.pdf.jpgSoldà, Davide ; Fabiano, Francesco ; Dovier, Agostino ECHO: A hierarchical combination of classical and multi-agent epistemic planning problemsArticle Artikel Dec-2023
3Buraglio-2023-Constrained Derivation in Assumption-Based Argumentation-vor.pdf.jpgBuraglio, Giovanni ; Dvorak, Wolfgang ; Rapberger, Anna ; Woltran, Stefan Constrained Derivation in Assumption-Based ArgumentationInproceedings Konferenzbeitrag 12-Nov-2023
4Ahmetaj-2023-Reconciling SHACL and Ontologies Semantics and Validation vi...-vor.pdf.jpgAhmetaj, Shqiponja ; Ortiz de la Fuente, Maria Magdalena ; Oudshoorn, Anouk Michelle ; Simkus, Mantas Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract)Inproceedings Konferenzbeitrag 23-Oct-2023
5Aguilar, Edgar A ; Bartocci, Ezio ; Mateis, Cristinel ; Nesterini, Eleonora ; Nickovic, Dejan Mining Specification Parameters for Multi-class ClassificationInproceedings Konferenzbeitrag 1-Oct-2023
6Ahmetaj, Shqiponja ; Ortiz, Magdalena ; Oudshoorn, Anouk ; Šimkus, Mantas Reconciling SHACL and Ontologies: Semantics and Validation via RewritingInproceedings Konferenzbeitrag 28-Sep-2023
7Zhang-2023-Searching for Smallest Universal Graphs and Tournaments with SAT-vor.pdf.jpgZhang, Tianwei ; Szeider, Stefan Searching for Smallest Universal Graphs and Tournaments with SATInproceedings Konferenzbeitrag 22-Sep-2023
8Andriushchenko, Roman ; Bartocci, Ezio ; Češka, Milan ; Pontiggia, Francesco ; Sallinger, Sarah Sophie Deductive Controller Synthesis for Probabilistic HyperpropertiesInproceedings Konferenzbeitrag 15-Sep-2023
9Chiari-2023-ACM Transactions on Programming Languages and Systems-vor.pdf.jpgChiari, Michele ; Mandrioli, Dino ; Pontiggia, Francesco ; Pradella, Matteo A model checker for operator precedence languagesArticle Artikel Sep-2023
10Kovács, Laura ; Varonka, Anton What Else is Undecidable About Loops?Inproceedings Konferenzbeitrag 2023
11Soldà, Davide ; Lopez-Miguel, Ignacio D. ; Bartocci, Ezio ; Eiter, Thomas Progression for Monitoring in Temporal ASPInproceedings Konferenzbeitrag 2023