Forschungsbereich Theory and Logic

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E192-05 - Forschungsbereich Theory and Logic
 
Code Kennzahl
E192-05
 
Type of Organization Organisationstyp
Research Division
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 1-20 of 1040 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Lyon, Tim S. ; van Berkel, Kees Proof Theory and Decision Procedures for Deontic STIT LogicsArticle Artikel 6-Dec-2024
2Hu-2024-IEEE Robotics and Automation Letters-am.pdf.jpgHu, Rui ; Kogler, Jürgen ; Gelautz, Margrit ; Lin, Min ; Xia, Yuanqing A Dynamic Calibration Framework for the Event-Frame Stereo Camera SystemArticle Artikel Dec-2024
3van Berkel, Kees AI Alignment and Normative ReasoningPresentation Vortrag26-Nov-2024
4Fermüller, Christian Probabilistic interpretations of argumentative attacks: logical and experimental foundationsPresentation Vortrag8-Nov-2024
5Gao, Han ; Lorini, Emiliano ; Olivetti, Nicola ; Tesi, Matteo A Proof Calculus for Ethical ReasoningInproceedings Konferenzbeitrag Nov-2024
6van Berkel, Kees Deontic Explanations Through Dialogue and 5 Key ChallengesPresentation Vortrag16-Oct-2024
7Parent, Xavier Defeasible conditional ought in 2-DPresentation Vortrag16-Oct-2024
8Istenic Urh, Blaz What is there to explain? Some initial remarks on deontic explanationsPresentation Vortrag16-Oct-2024
9Dik, Josephine Femke Exploring Nuanced Permissions within AI and Judicial Decision-makingPresentation Vortrag15-Oct-2024
10Dong, Huimin Permissible Shared KnowledgePresentation Vortrag15-Oct-2024
11Cignarale, Giorgio ; Kuznets, Roman A priori Belief Updates as a Method for Agent Self-recoveryArticle Artikel9-Oct-2024
12Istenic Urh, Blaz Breaking the Cycle. Preference-Based Aggregation for Cyclic Argumentation FrameworksPresentation Vortrag19-Sep-2024
13Dik, Josephine Femke Mīmāṁsā on 'Better-Not' PermissionsPresentation Vortrag12-Sep-2024
14Mahler, Stella Proof Schemata and Primitive Recursive ArithmeticPresentation Vortrag12-Sep-2024
15Dong, Huimin Permissible Knowledge SharingPresentation Vortrag11-Sep-2024
16Wang, Yi N. ; Dong, Huimin Stability and Balance in Weighted NetworksArticle Artikel 10-Sep-2024
17Ciabattoni, Agata Proof surgeries in non-classical logicsPresentation VortragSep-2024
18Straßer, Christian ; van Berkel, Kees Logical Argumentation: A Tutorial.Presentation VortragSep-2024
19Dong, Huimin Epistemic Positions: Towards a Formal Theory of Epistemic InjusticePresentation Vortrag20-Aug-2024
20DiAngelo, Monika ; Mohr, Rafael ; Salzer, Gernot Systematic Study of Compilers and Vulnerability Scanners Using the Example of Integer BugsInproceedings Konferenzbeitrag Aug-2024