Bilateral Artificial Intelligence

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
BILAI
 
Project Title (de) Projekttitel (de)
Bilateral Artificial Intelligence
 
Project Title (en) Projekttitel (en)
Bilateral Artificial Intelligence
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
FWF - Österr. Wissenschaftsfonds
Grant number Förderkennnummer
COE 12
 

Publications

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

PreviewAuthor(s)TitleTypeIssue Date
1Bilal-2026-IEEE Access-vor.pdf.jpgBilal, Mohammad ; Ehrenmüller, Katrin ; Steindl, Gernot ; Zheng, Zhuoxun ; Ahmetaj, Shqiponja ; Soylu, Ahmet ; Sallinger, Emanuel ; Kastner, Wolfgang Modeling State Causality in Energy Centred Cyber-Physical-Human Systems With OntoUMLArticle Artikel 22-Apr-2026
2Ahmetaj, Shqiponja ; David, Robert ; Polleres, Axel ; Simkus, Mantas A Logic Programming Approach to Repairing SHACL Constraint ViolationsArticle Artikel 10-Dec-2025
3Geibinger-2025-Why This andNot That A Logic-Based Framework forContrasti...-smur.pdf.jpgGeibinger, Tobias ; Jaakkola, Reijo ; Kuusisto, Antti ; Liu, Xinghan ; Vilander, Miikka Why This and Not That? A Logic-Based Framework for Contrastive ExplanationsInproceedings Konferenzbeitrag 2-Sep-2025
4Eiter, Thomas ; Geibinger, Tobias A Sequent Calculus for Answer Set EntailmentInproceedings Konferenzbeitrag2025
5Lopez-Miguel, Ignacio D. ; Adam, Sebastian Philipp ; Bartocci, Ezio ; Eiter, Thomas ; Tappler, Martin OFTEN-DEEPRL: On-the-Fly Teaching of Ethical Norms to Deep Reinforcement Learning AgentsInproceedings Konferenzbeitrag 2025
6Lasy, Ilya ; Knees, Peter ; Woltran, Stefan Understanding Verbatim Memorization in LLMs Through Circuit DiscoveryInproceedings Konferenzbeitrag 2025
7Beiser, Alexander ; Penz, David ; Musliu, Nysret Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic ReasoningInproceedings Konferenzbeitrag 2025
8Geibinger, Tobias ; Saribatur, Zeynep G. ; Woltran, Stefan A Novel Equivalence Notion to Compare Answer-Set Programs over Multi-Layered InputsInproceedings Konferenzbeitrag 2025
9Dvorak, Wolfgang ; Saribatur, Zeynep G. ; Woltran, Stefan Simple Guess-and-Check Programs: Strong and Uniform Equivalence Meet AgainInproceedings Konferenzbeitrag 2025