Mosaic -- modal logics

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
Mosaic
 
Project Title (de) Projekttitel (de)
Mosaic -- modal logics
 
Project Title (en) Projekttitel (en)
Mosaic -- modal logics
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
European Commission
Grant number Förderkennnummer
101007627
 

Publications

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

PreviewAuthor(s)TitleTypeIssue Date
1Neufeld, Emery Learning Normative Behaviour Through Automated Theorem ProvingArticle Artikel Aug-2024
2Neufeld-2024-Norm Compliance in Reinforcement Learning Agents via Restrai...-vor.pdf.jpgNeufeld, Emery ; Ciabattoni, Agata ; Tulcan, Radu Florin Norm Compliance in Reinforcement Learning Agents via Restraining BoltsInproceedings Konferenzbeitrag 2024
3Ciabattoni, Agata ; Olivetti, Nicola ; Parent, Xavier ; Ramanayake, Don Revantha Shiyan ; Rozplokhas, Dmitrii Analytic Proof Theory for Aqvist's System FInproceedings Konferenzbeitrag 28-Aug-2023
4Pichler, Dominik First-order modal logic, Extensionality in an alethic-deontic settingPresentation Vortrag2-Jun-2023
5Pichler, Dominik Extensionality for Dyadic ObligationsPresentation Vortrag11-Feb-2023