Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts


Project Acronym Projekt Kurzbezeichnung
RTD-Indian
 
Project Title (de) Projekttitel (de)
Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts
 
Project Title (en) Projekttitel (en)
Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 
Funder/Funding Agency Fördergeber
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
Grant number Förderkennnummer
MA16-028
 

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

PreviewAuthor(s)TitleTypeIssue Date
1Ciabattoni, Agata ; Dik, Josephine Femke ; Freschi Elisa Disambiguating Permissions: A Contribution from MimamsaInproceedings Konferenzbeitrag 28-Aug-2023
2Dik, Josephine Femke Disambiguating Permissions: A Contribution from MimamsaPresentation Vortrag23-Jun-2023
3Dik, Josephine Femke Disambiguating permissions: A contribution from MimamsaPresentation Vortrag9-Jun-2023
4van Berkel-2022-Journal of Logic, Language and Information-vor.pdf.jpgvan Berkel, Kees ; Ciabattoni, Agata ; Freschi, Elisa ; Gulisano, Francesca ; Olszewski, Maya Deontic Paradoxes in Mīmāṃsā Logics: There and Back AgainArticle Artikel Jan-2023
5Dik, Josephine Femke Disambiguating permissions: A contribution from Mīmāṃsā.’Presentation Vortrag17-Dec-2022
6Van Berkel-2022-Reasoning With and About Norms in Logical Argumentation-vor.pdf.jpgvan Berkel, Kees ; Straßer, Christian Reasoning With and About Norms in Logical ArgumentationInproceedings Konferenzbeitrag Sep-2022
7Neufeld, Emery A. ; Bartocci, Ezio ; Ciabattoni, Agata On Normative Reinforcement Learning via Safe Reinforcement LearningInproceedings Konferenzbeitrag 2022
8Neufeld-2022-Ethics and Information Technology-vor.pdf.jpgNeufeld, Emery A. ; Bartocci, Ezio ; Ciabattoni, Agata ; Governatori, Guido Enforcing ethical goals over reinforcement-learning policiesArticle Artikel 2022
9Girlando, Marianna ; Lellmann, Björn ; Olivetti, Nicola Nested Sequents for the Logic of Conditional BeliefKonferenzbeitrag Inproceedings 2019