Card

Organization Name (de) Name der Organisation (de)
E192-05 - Forschungsbereich Theory and Logic
 
Parent OrgUnit Übergeordnete Organisation
 

OrgUnit funded Projects


Results 1-13 of 13 (Search time: 0.0 seconds).

ProjectPrinciple InvestigatorCoordinating Department
A Logical Framework for Dialogue Games Fermüller, Christian  E192-05 - Forschungsbereich Theory and Logic 
Acquring and explainingnorms for AI Systems Ciabattoni, Agata  E192-05 - Forschungsbereich Theory and Logic 
Axiomatisierung des Schließens mit normativen Konditionalen Parent, Xavier  E192-05 - Forschungsbereich Theory and Logic 
Beweisanalyse und autom. Deduktion für rekursive Strukturen Salzer, Gernot  E192-05 - Forschungsbereich Theory and Logic 
Ein logischer Rahmen für graduiertes deontisches Schließen Fermüller, Christian  E192-05 - Forschungsbereich Theory and Logic 
From Semantic Games to Analytic Calculi – and Back Fermüller, Christian  E192-05 - Forschungsbereich Theory and Logic 
Logical methods for Deontic Explanations Ciabattoni, Agata  E192-05 - Forschungsbereich Theory and Logic 
Modeling vague quantifiers in mathematical fuzzy logic Fermüller, Christian  E192-05 - Forschungsbereich Theory and Logic 
Mosaic -- modal logics Ciabattoni, Agata  E192-05 - Forschungsbereich Theory and Logic 
Nested Sequents for Interpolation and Realization Kuznets, Roman  E192-05 - Forschungsbereich Theory and Logic 
Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts Ciabattoni, Agata  E192-05 - Forschungsbereich Theory and Logic 
TICAMORE: Translating and discovering calculi for modal and related logics Ciabattoni, Agata  E192-05 - Forschungsbereich Theory and Logic 
Training and Guiding AI Agents with Ethical Rules Ciabattoni, Agata  E192-05 - Forschungsbereich Theory and Logic