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 21-40 of 1049 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
21Dik, Josephine Femke Disambiguating permissions: A contribution from MimamsaPresentation Vortrag9-Jun-2023
22Pichler, Dominik First-order modal logic, Extensionality in an alethic-deontic settingPresentation Vortrag2-Jun-2023
23Fermüller, Christian From Producer-Consumer Games to Substructural CalculiPresentation Vortrag24-May-2023
24Ciabattoni, Agata Normative reasoning: From Sanskrit philosophy to AIPresentation Vortrag16-May-2023
25BOZZATO-2023-Contextual Reasoning for Scene Generation Technical Report-vor.pdf.jpgBozzato, Loris ; Eiter, Thomas ; Kiesel, Rafael Peter David ; Stepanova, Daria Contextual Reasoning for Scene Generation. Technical ReportReport Bericht 3-May-2023
26Szeider, Stefan Isomorph-Free Generation of Combinatorial Objects with SAT Modulo SymmetriesPresentation Vortrag18-Apr-2023
27Parent, Xavier Mechanizing normative reasoning: proof-theory or semantics? Part 2Presentation Vortrag12-Apr-2023
28Parent, Xavier Mechanising normative reasoning: proof-theory or semantics? Part 1Presentation Vortrag11-Apr-2023
29Aumayr, Lukas ; Abbaszadeh, Kasra ; Maffei, Matteo Thora: Atomic and Privacy-Preserving Multi-Channel UpdatesPresentation Vortrag28-Feb-2023
30Aumayr, Lukas ; Sri AravindaKrishnan Thyagarajan ; Giulio Malavolta ; Moreno-Sanchez, Pedro ; Maffei, Matteo Sleepy Channels: Bi-directional Payment Channels without WatchtowersPresentation Vortrag28-Feb-2023
31Pichler, Dominik Extensionality for Dyadic ObligationsPresentation Vortrag11-Feb-2023
32Freiman, Robert From Semantic Games to Analytic CalculiPresentation Vortrag6-Feb-2023
33Parent, Xavier Logics for normative reasoning and their proof theoryPresentation Vortrag26-Jan-2023
34Dik, Josephine Femke Disambiguating permissions: A contribution from Mīmāṃsā.’Presentation Vortrag17-Dec-2022
35Eiter, Thomas Enhancing AI Capabilities by Rules: Challenges and OpportunitiesPresentation Vortrag13-Dec-2022
36Kovacs, Laura First-Order Theorem Proving and VampirePresentation Vortrag6-Dec-2022
37Rawson, Michael Linear Refutation and Clause SplittingPreprint Preprint5-Dec-2022
38Wang, Yisong ; Eiter, Thomas ; Yuanlin Zhang ; Lin, Fangzhen Witnesses for Answer Sets of Logic ProgramsPresentation Vortrag29-Nov-2022
39Eiter, Thomas ; Higuera Ruiz, Nelson Nicolas Elaboration for Neurosymbolic CompuationPresentation Vortrag29-Nov-2022
40Hatschka, Christian ; Ciabattoni, Agata ; Eiter, Thomas Representing Normative Reasoning in Answer Set Programming Using Weak ConstraintsPresentation Vortrag28-Nov-2022