Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Johannes Marti"'
Autor:
Paolo Galeazzi, Johannes Marti
Following the decision-theoretic approach to game theory, we extend the analysis of Epstein & Wang and of Di Tillio from hierarchies of preference relations to hierarchies of choice functions. We then construct the universal choice structure containi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::35f8e780a9030140237d8034e54940a6
Autor:
Johannes Marti
Publikováno v:
The Review of Symbolic Logic. 16:529-552
We prove completeness of preferential conditional logic with respect to convexity over finite sets of points in the Euclidean plane. A conditional is defined to be true in a finite set of points if all extreme points of the set interpreting the antec
Publikováno v:
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science.
Algorithms for solving computational problems related to the modal µ-calculus generally do not take the formulas themselves as input, but operate on some kind of representation of formulas. This representation is usually based on a graph structure t
Publikováno v:
GandALF
A key result in the theory of the modal mu-calculus is the disjunctive normal form theorem by Janin & Walukiewicz, stating that every mu-calculus formula is semantically equivalent to a so-called disjunctive formula. These disjunctive formulas have g
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1deac29f44128430f73326b331c0660b
http://arxiv.org/abs/2109.08310
http://arxiv.org/abs/2109.08310
Autor:
Johannes Marti, Riccardo Pinosio
Publikováno v:
Order. 37:151-171
In this paper we present a duality between nonmonotonic consequence relations and well-founded convex geometries. On one side of the duality we consider nonmonotonic consequence relations satisfying the axioms of an infinitary variant of System P, wh
Publikováno v:
IJCAI
We study complete approximations of an ontology formulated in a non-Horn description logic (DL) such as $\mathcal{ALC}$ in a Horn DL such as~$\mathcal{EL}$. We provide concrete approximation schemes that are necessarily infinite and observe that in t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9e150e75d81a6b2c4558c58f1033487e
http://arxiv.org/abs/2001.07754
http://arxiv.org/abs/2001.07754
Publikováno v:
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019): Vancouver, British Columbia, Canada, 24-27 June 2019, 307-319
STARTPAGE=307;ENDPAGE=319;TITLE=2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019)
LICS
34th ACM/IEEE Symposium on Logic in Computer Science, LICS 2019
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, 2019-June
STARTPAGE=307;ENDPAGE=319;TITLE=2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019)
LICS
34th ACM/IEEE Symposium on Logic in Computer Science, LICS 2019
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, 2019-June
Game logic was introduced by Rohit Parikh in the 1980s as a generalisation of propositional dynamic logic (PDL) for reasoning about outcomes that players can force in determined 2-player games. Semantically, the generalisation from programs to games
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::55700bc3ee825efbaa0d43b2b81ba3bc
https://doi.org/10.1109/LICS.2019.8785676
https://doi.org/10.1109/LICS.2019.8785676
Autor:
Johannes Marti, Yde Venema
Publikováno v:
Journal of Computer and System Sciences, 81(5), 880-900. Academic Press Inc.
We discuss the use of relation lifting in the theory of set-based coalgebra and coalgebraic logic. On the one hand we prove that the neighborhood functor does not extend to a relation lifting of which the associated notion of bisimilarity coincides w
Autor:
Vibeke Backer, Andreas Porsborg, Victor Hansen, Tina Skjold, Johannes Martin Schmid, Mette Kehlet, Christian Torp-Pedersen, Kristian Aasbjerg
Publikováno v:
BMC Pulmonary Medicine, Vol 22, Iss 1, Pp 1-10 (2022)
Abstract Background Chronic cough, more than 8 weeks, can either be without co-morbidity called unexplained chronic cough (UCC) or with co-morbidity called refractory chronic cough (RCC). Using datasets from the Danish National Prescription Registry
Externí odkaz:
https://doaj.org/article/074079e218a04e519c4415c8e23735e0
Autor:
Marianne Baastrup Soendergaard, Susanne Hansen, Anne-Sofie Bjerrum, Ole Hilberg, Sofie Lock-Johansson, Kjell Erik Julius Håkansson, Truls Sylvan Ingebrigtsen, Claus Rikard Johnsen, Linda Makowska Rasmussen, Anna von Bülow, Karin Dahl Assing, Johannes Martin Schmid, Charlotte Suppli Ulrik, Celeste Porsbjerg
Publikováno v:
ERJ Open Research, Vol 8, Iss 4 (2022)
Background Phase III regulatory trials show that anti-interleukin (IL)-5 biologics efficiently reduce exacerbations and the use of maintenance oral corticosteroids (mOCS) in patients with severe eosinophilic asthma. However, patients eligible for the
Externí odkaz:
https://doaj.org/article/4293216c4f3647dfa111775ed9cb83cf