Search results
From MaRDI portal
- description logics 2018-07-12 Paper Probabilistic Description Logics for Subjective Uncertainty 2017-01-11 Paper Description logics of context 2016-10-07...10 bytes (15 words) - 11:51, 7 October 2023
- Szymon Klarman (section List of research outcomes)Date of Publication Type Ontology Learning from Interpretations in Lightweight Description Logics 2016-10-19 Paper Description logics of context 2016-10-07...10 bytes (15 words) - 08:14, 25 September 2023
- Dov Gabbay (section List of research outcomes)2000-11-05 Paper Products of modal logics, part 1 2000-07-30 Paper Products of modal logics. Part 2: relativised quantifiers in classical logic 2000-07-27 Paper...10 bytes (16 words) - 01:43, 9 December 2023
- Martin Lange (section List of research outcomes)Paper On the expressive power of hybrid branching-time logics 2020-04-21 Paper Model checking for hybrid branching-time logics 2020-01-31 Paper Specifying...10 bytes (13 words) - 02:46, 25 September 2023
- Manfred Droste (section List of research outcomes)Characterization by Weighted Logics 2015-09-22 Paper Logics for Weighted Timed Pushdown Automata 2015-09-22 Paper Weighted Automata and Logics on Graphs 2015-09-16...10 bytes (13 words) - 09:20, 9 December 2023
- Dirk Pattinson (section List of research outcomes)Coalgebraic Hybrid Logic 2012-01-23 Paper Coalgebraic semantics of modal logics: an overview 2011-09-22 Paper On the Fusion of Coalgebraic Logics 2011-09-02 Paper...10 bytes (13 words) - 18:52, 6 October 2023
- Lluís Godo (section List of research outcomes)2019-01-31 Paper On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics 2019-01-08 Paper Logics of formal inconsistency...10 bytes (15 words) - 14:59, 7 December 2023
- Valentin Goranko (section List of research outcomes)classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases 2016-04-07 Paper Secure aggregation of distributed...10 bytes (14 words) - 01:45, 10 December 2023
- Tim S. Lyon (section List of research outcomes)sequents for intermediate logics: the case of Gödel-Dummett logics 2023-08-16 Paper Derivation-Graph-Based Characterizations of Decidable Existential Rule...10 bytes (15 words) - 17:48, 13 December 2023
- Ewa Orłowska (section List of research outcomes)Presentation of Non-classical Logics 2009-01-20 Paper Relational Approach to Order-of-Magnitude Reasoning 2009-01-20 Paper Relational Logics and Their Applications...10 bytes (14 words) - 07:17, 9 December 2023
- Thomas Eiter (section List of research outcomes)Finding explanations of inconsistency in multi-context systems 2014-10-13 Paper Answering regular path queries in expressive description logics via alternating...10 bytes (15 words) - 11:36, 8 December 2023
- Jouko Väänänen (section List of research outcomes)Decidability of Some Logics with Free Quantifier Variables 1981-01-01 Paper The Hanf Number of L ω 1 ω 1 1980-01-01 Paper On the Axiomatizability of the Notion...10 bytes (16 words) - 13:12, 10 December 2023
- Roberto Giuntini (section List of research outcomes)Partial and unsharp quantum logics. 2011-06-08 Paper On the structure of pseudo BL-algebras and pseudo hoops in quantum logics 2011-05-13 Paper Entanglement...10 bytes (14 words) - 11:25, 11 December 2023
- Benedikt Bollig (section List of research outcomes)Publication Date of Publication Type On the satisfiability of local first-order logics with data 2024-09-04 Paper Round- and context-bounded control of dynamic...10 bytes (13 words) - 11:42, 7 October 2023
- Luciano Serafini (section List of research outcomes)Agents 2007-11-01 Paper Comparing formal theories of context in AI 2006-02-07 Paper Modeling and Using Context 2005-12-15 Paper https://portal.mardi4nfdi.de/entity/Q4808708...10 bytes (15 words) - 13:41, 6 October 2023
- Björn Lellmann (section List of research outcomes)automated deduction: the case of bounded contraction 2018-04-23 Paper VINTE: an implementation of internal calculi for Lewis' logics of counterfactual reasoning...10 bytes (15 words) - 11:37, 28 January 2024
- Juha Kontinen (section List of research outcomes)semantics 2018-04-06 Paper Complexity of Propositional Logics in Team Semantic 2018-03-22 Paper Decidability of predicate logics with team semantics 2018-03-21...10 bytes (15 words) - 01:08, 10 December 2023
- Ross T. Brady (section List of research outcomes)relevant logics without distribution. II 1997-05-25 Paper Gentzenizations of relevant logics without distribution. I 1996-10-07 Paper Gentzenizations of relevant...10 bytes (15 words) - 22:59, 11 December 2023
- Anna Zamansky (section List of research outcomes)Support for the Investigation of Paraconsistent and Other Logics 2015-12-11 Paper Taming Paraconsistent (and Other) Logics 2015-09-17 Paper Finite-valued...10 bytes (13 words) - 06:38, 7 October 2023
- Heiko Vogler (section List of research outcomes)multi-valued logics over arbitrary bounded lattices 2012-03-13 Paper Weighted logics for unranked tree automata 2011-04-01 Paper Determinization of weighted...10 bytes (13 words) - 08:57, 8 December 2023
