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 940 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Fermüller, Christian From Producer-Consumer Games to Substructural CalculiPresentation Vortrag24-May-2023
2Ciabattoni, Agata Normative reasoning: From Sanskrit philosophy to AIPresentation Vortrag16-May-2023
3Dik, Josephine Femke Disambiguating permissions: A contribution from Mīmāṃsā.’Presentation Vortrag17-Dec-2022
4Hatschka, Christian ; Ciabattoni, Agata ; Eiter, Thomas Representing Normative Reasoning in Answer Set Programming Using Weak ConstraintsPresentation Vortrag28-Nov-2022
5Ciabattoni, Agata ; Olivetti, Nicola ; Parent, Xavier Dyadic Obligations: Proofs and Countermodels via HypersequentsInproceedings Konferenzbeitrag 12-Nov-2022
6Fermüller, Christian Finite model theory for many-valued logics - Some challenges and open problemsPresentation Vortrag10-Nov-2022
72022-Public Announcements for Intuitionistic Epistemic Logic IEL-vor.pdf.jpgPavlova, Alexandra Public Announcements for Intuitionistic Epistemic LogicInproceedings Konferenzbeitrag 17-Oct-2022
8Alhazov-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
9Alhazov, Artiom ; Freund, Rudolf ; Ivanov, Sergiu ; Verlan, Sergey Prescribed Teams of Rules Working on Several ObjectsInproceedings Konferenzbeitrag 2-Oct-2022
10Van 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
11Fermüller, Christian Re-visiting Giles's gamePresentation Vortrag9-Aug-2022
12Fermüller, Christian ; Hafner, Johannes ; Sedlar, Igor Revisiting Brandom’s Incompatibility SemanticsBook Contribution Buchbeitrag 1-Aug-2022
13Parent, Xavier New Developments in Dyadic Deontic LogicPresentation Vortrag16-Jul-2022
14Fermüller, Christian From Semantic Games to Analytic CalculiPresentation Vortrag16-Jun-2022
15Alhazov-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
16Fermüller, Christian Fuzzy judgment aggregation – background, observations, ideasPresentation Vortrag9-Jun-2022
17Fermueller-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
18van Berkel, Kees Deontic Explanations by means of Formal ArgumentationPresentation Vortrag31-Mar-2022
19Eisenhofer-2022-Automated Instantiation of Control Flow Tracing Exercises-vor.pdf.jpgEisenhofer, Clemens ; Riener, Martin ; Marcos, Joao ; Neuper, Walther ; Quaresma, Pedro Automated Instantiation of Control Flow Tracing ExercisesInproceedings Konferenzbeitrag 8-Feb-2022
20Parent, Xavier Dyadic deontic logic and the (non-)transitivity of betternessPresentation Vortrag17-Jan-2022