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 1-20 of 1049 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Georgiou-2024-Saturating Sorting without Sorts-smur.pdf.jpgGeorgiou, Pamina ; Hajdu, Marton ; Kovacs, Laura Saturating Sorting without SortsPreprint Preprint 6-Mar-2024
2Tesi, Matteo Constructive theories through a modal lensPresentation Vortrag15-Feb-2024
3Tesi, Matteo Subintuitionistic logics and their modal companions: a nested approachPresentation Vortrag18-Jan-2024
4Niessen-2024-Finding counterexamples to hyperproperties-am.pdf.jpgNießen, Tobias ; Weissenbacher, Georg Finding counterexamples to ∀∃ hyperpropertiesPresentation Vortrag 16-Jan-2024
5Fermüller, Christian Games in LogicPresentation Vortrag15-Jan-2024
6Dik, Josephine Femke Permission in Deontic Logic: from Sanskrit Philosophy to AIPresentation Vortrag15-Jan-2024
7Bauer-2023-Neuro-Symbolic Visual Graph Question Answering with LLMs for L...-vor.pdf.jpgBauer, Jakob Johannes ; Eiter, Thomas ; Higuera Ruiz, Nelson Nicolas ; Oetsch, Johannes Neuro-Symbolic Visual Graph Question Answering with LLMs for Language ParsingPresentation Vortrag 21-Nov-2023
8Chen, Jiehua Advancing Stability in Matching Markets: Multi-Modal Preferences and BeyondPresentation Vortrag6-Nov-2023
9Dik, Josephine Femke Exploring preferenced permissions: From Sanskrit Philosophy to AIPresentation Vortrag30-Oct-2023
10Fermüller, Christian Judgment Aggregation with Graded Deontic LogicsPresentation Vortrag28-Oct-2023
11Aumayr, Lukas Virtual Payment Channel Networks in CryptocurrenciesPresentation Vortrag12-Oct-2023
12Parent, Xavier Nonstandard betterness and conditional obligationPresentation Vortrag27-Sep-2023
13Fermüller, Christian ; Freiman, Robert ; Lang, Timo Achim Game Models of Producer-Consumer Interactions and Substructural Sequent SystemsPresentation Vortrag27-Sep-2023
14Freiman, Robert ; Bernreiter, Michael Truth and Preferences - A Game Approach for Choice LogicsPresentation Vortrag14-Sep-2023
152023-Chrisimos A useful Proof-of-Work for finding Minimal Dominating Set o...-ao.pdf.jpgChatterjee, Diptendu ; Banerjee, Prabal ; Subhra Mazumdar Chrisimos: A useful Proof-of-Work for finding Minimal Dominating Set of a graphPreprint Preprint 13-Sep-2023
16Aumayr, Lukas ; Moreno-Sanchez, Pedro ; Kate, Aniket ; Maffei, Matteo Breaking and Fixing Virtual Channels: Domino Attack and DonnerPresentation Vortrag6-Sep-2023
17Aumayr, Lukas ; Sri AravindaKrishnan Thyagarajan ; Giulio Malavolta ; Moreno-Sanchez, Pedro ; Maffei, Matteo Sleepy Channels: Bitcoin-Compatible Bi-directional Payment Channels without WatchtowersPresentation Vortrag30-Aug-2023
18Aumayr, Lukas ; Abbaszadeh, Kasra ; Maffei, Matteo Thora: Atomic and Privacy-Preserving Multi-Channel UpdatesPresentation Vortrag30-Aug-2023
19Fermüller, Christian G. Logic and Implication – An Introduction to the General Algebraic Study of Non-classical Logics, Petr Cintula, Carles Noguera , in: Trends in Logic, vol. 57, Springer (2021), 465 p., €120.99 for hardcover, ISBN: 978-3-030-85675-5Special Contribution Spezialbeitrag15-Aug-2023
20Dik, Josephine Femke Disambiguating Permissions: A Contribution from MimamsaPresentation Vortrag23-Jun-2023