Forschungsbereich Theory and Logic

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

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Pichler, Dominik ; Parent, Xavier ; Maranhão, Juliano ; Peterson, Clayton ; Straßer, Christian ; van der Torre, Leendert Perspectival obligation and extensionality in an alethic-deontic settingInproceedings Konferenzbeitrag 28-Aug-2023
2Ciabattoni, Agata ; Dik, Josephine Femke ; Freschi Elisa ; Maranha'o, Juliano ; Peterson, Clayton ; Strasser, Christian ; van der Torre, Leendert Disambiguating Permissions: A Contribution from MimamsaInproceedings Konferenzbeitrag 28-Aug-2023
3Dik, Josephine Femke Disambiguating Permissions: A Contribution from MimamsaPresentation Vortrag23-Jun-2023
4Fermüller, Christian From Producer-Consumer Games to Substructural CalculiPresentation Vortrag24-May-2023
5Ciabattoni, Agata Normative reasoning: From Sanskrit philosophy to AIPresentation Vortrag16-May-2023
6Dik, Josephine Femke Disambiguating permissions: A contribution from Mīmāṃsā.’Presentation Vortrag17-Dec-2022
7Hatschka, Christian ; Ciabattoni, Agata ; Eiter, Thomas Representing Normative Reasoning in Answer Set Programming Using Weak ConstraintsPresentation Vortrag28-Nov-2022
8Ciabattoni, Agata ; Olivetti, Nicola ; Parent, Xavier Dyadic Obligations: Proofs and Countermodels via HypersequentsInproceedings Konferenzbeitrag 12-Nov-2022
9Fermüller, Christian Finite model theory for many-valued logics - Some challenges and open problemsPresentation Vortrag10-Nov-2022
102022-Public Announcements for Intuitionistic Epistemic Logic IEL-vor.pdf.jpgPavlova, Alexandra Public Announcements for Intuitionistic Epistemic LogicInproceedings Konferenzbeitrag 17-Oct-2022
11Alhazov-2022-P versus B P Systems as a Formal Framework for Controllabili...-vor.pdf.jpgAlhazov, Artiom ; Freund, Rudolf ; Ivanov, Sergiu ; Bordihn, Henning ; Horváth, Géza ; Vaszil, György P versus B: P Systems as a Formal Framework for Controllability of Boolean NetworksInproceedings Konferenzbeitrag 2-Oct-2022
12Alhazov, Artiom ; Freund, Rudolf ; Ivanov, Sergiu ; Verlan, Sergey Prescribed Teams of Rules Working on Several ObjectsInproceedings Konferenzbeitrag 2-Oct-2022
13Van 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
14Fermüller, Christian Re-visiting Giles's gamePresentation Vortrag9-Aug-2022
15Fermüller, Christian ; Hafner, Johannes ; Sedlar, Igor Revisiting Brandom’s Incompatibility SemanticsBook Contribution Buchbeitrag 1-Aug-2022
16Parent, Xavier New Developments in Dyadic Deontic LogicPresentation Vortrag16-Jul-2022
17Fermüller, Christian From Semantic Games to Analytic CalculiPresentation Vortrag16-Jun-2022
18Alhazov-2022-Theoretical Computer Science-vor.pdf.jpgAlhazov, Artiom ; Freund, Rudolf ; Ivanov, Sergiu ; Oswald, Marion Variants of derivation modes for which purely catalytic {P} systemsare computationally completeArticle Artikel 12-Jun-2022
19Fermüller, Christian Fuzzy judgment aggregation – background, observations, ideasPresentation Vortrag9-Jun-2022
20Fermueller-2022-Logica Universalis-vor.pdf.jpgFermüller, Christian ; Lang, Timo Achim ; Pavlova, Alexandra From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel LogicArticle Artikel Jun-2022