Institut für Logic and Computation

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E192 - Institut für Logic and Computation
 
Code Kennzahl
E192
 
Type of Organization Organisationstyp
Institute
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 101-120 of 1049 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
101Aumayr, Lukas ; Moreno-Sanchez, Pedro ; Kate, Aniket ; Maffei, Matteo Blitz: Secure Multi-Hop Payments Without Two-Phase CommitsPresentation Vortrag26-May-2021
102Aumayr, Lukas ; Moreno-Sanchez, Pedro ; Kate, Aniket ; Maffei, Matteo Blitz: Secure Multi-Hop Payments Without Two-Phase CommitsPresentation Vortrag27-Apr-2021
103Aumayr, Lukas ; Moreno-Sanchez, Pedro ; Kate, Aniket ; Maffei, Matteo Blitz: Secure Multi-Hop Payments Without Two-Phase CommitsPresentation Vortrag24-Feb-2021
104Fermüller, Christian Revisting Brandom's Incompatibility SemanticsPräsentation Presentation2021
105Chen, Jiehua ; Hermelin, Danny ; Sorge, Manuel Computational aspects of multiwinner approval voting via p-norm Hamming distance vectorsPräsentation Presentation2021
106Dvorak, Wolfgang ; König, Matthias ; Rapberger, Anna ; Wallner, Johannes Peter ; Woltran, Stefan ASPARTIX-V - A Solver for Argumentation Tasks Using ASPPräsentation Presentation2021
107Pavlova, Alexandra Game Approach to Logical Validity: A Case of Mezhirov's Provability GamePräsentation Presentation2021
108Dvorak, Wolfgang ; König, Matthias ; Ulbricht, Markus ; Woltran, Stefan A Reduct-Driven Study of Argumentation Frameworks With Collective AttacksPräsentation Presentation2021
109Keshavarzi Zafarghandi, Atefeh ; Dvorak, Wolfgang ; Verbrugge, Rineke ; Verheij, Bart Computational Complexity of Strong Admissibility for Abstract Dialectical FrameworksPräsentation Presentation2021
110Wiesnet, Franziskus An algorithmic version of Zariski's lemmaPräsentation Presentation2021
111van Berkel, Kees What is the (potential) role of proof theory for normative reasoning?Präsentation Presentation2021
112Wiesnet, Franziskus A case study of proof mining in analysisPräsentation Presentation2021
113Jatschka, Thomas ; Rodemann, Tobias ; Raidl, Günther A Large Neighborhood Search for a Cooperative Optimization Approach to Distribute Service Points in Mobility ApplicationsPräsentation Presentation2021
114Dalmonte, Tiziano Proof-theory of agency logics of bringing-it-aboutPräsentation Presentation2021
115Ciabattoni, Agata Normative reasoning in Mīmāṃsā: A deontic logic approachPräsentation Presentation2021
116van Berkel, Kees What is the (potential) role of proof theory for normative reasoning?Präsentation Presentation2021
117van Berkel, Kees ; Sartor, G Using formal argumentation to clarify structures of legal reasoningPräsentation Presentation2021
118Chen, Jiehua Fractional Matchings under Preferences: Stability and OptimalityPräsentation Presentation2021
119Pavlova, Alexandra Public Announcement for Intuitionistic Epistemic LogicPräsentation Presentation2021
120Bartocci, Ezio ; Kovacs, Laura ; Bura, Efstathia ProbInG: Distribution Recovery for Invariant Generation of Probabilistic ProgramsPräsentation Presentation2020