Zobrazeno 1 - 10
of 88
pro vyhledávání: '"Marc Finthammer"'
Publikováno v:
Entropy, Vol 17, Iss 2, Pp 852-865 (2015)
For conditional probabilistic knowledge bases with conditionals based on propositional logic, the principle of maximum entropy (ME) is well-established, determining a unique model inductively completing the explicitly given knowledge. On the other ha
Externí odkaz:
https://doaj.org/article/a8cde13f27da4aa682d566300410197d
Autor:
Jörg Desel, Marc Finthammer
Publikováno v:
Fundamenta Informaticae. 175:143-172
A transition t stops a place/transition Petri net if each reachable marking of the net enables only finite occurrence sequences without occurrences of t (i.e., every infinite occurrence sequence enabled at this marking contains occurrences of t). Rou
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::19b66ce4a1192495022d369f93b2e266
https://doi.org/10.3233/fi-2020-1951
https://doi.org/10.3233/fi-2020-1951
Autor:
Marc Finthammer
Publikováno v:
KI - Künstliche Intelligenz. 33:97-100
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::247d0707a6f0ac68872434e44b31e599
https://doi.org/10.1007/s13218-018-00572-z
https://doi.org/10.1007/s13218-018-00572-z
Publikováno v:
Application and Theory of Petri Nets and Concurrency ISBN: 9783030518301
Petri Nets
Petri Nets
This paper introduces the tool Cycl\(\mathbf {\circlearrowright }\)n . The core functionality of Cycl\(\mathbf {\circlearrowright }\)n is to determine for a transition t of an unbounded Petri net whether or not t stops the net. A transition t stops t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::11eff0b3aa8cc0bcca8d8e88ff26e6c8
https://doi.org/10.1007/978-3-030-51831-8_20
https://doi.org/10.1007/978-3-030-51831-8_20
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319900490
FoIKS
FoIKS
Maximum entropy distributions serve as favorable models for commonsense reasoning based on probabilistic conditional knowledge bases. Computing these distributions requires solving high-dimensional convex optimization problems, especially if the cond
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f6d24448b117a0b3e2317e2d812db131
https://doi.org/10.1007/978-3-319-90050-6_21
https://doi.org/10.1007/978-3-319-90050-6_21
Publikováno v:
KI - Künstliche Intelligenz. 29:255-262
Combining logic with probability theory provides a solid ground for the representation of and the reasoning with uncertain knowledge. Given a set of probabilistic conditionals like “If A then B with probability x”, a crucial question is how to ex
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d4e4d5b87f149132cfb18cfd4047bcda
https://doi.org/10.1007/s13218-015-0380-1
https://doi.org/10.1007/s13218-015-0380-1
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319675817
SUM
SUM
First-order typed model counting extends first-order model counting by the ability to distinguish between different types of models. In this paper, we exploit this benefit in order to calculate weighted conditional impacts (WCIs) which play a central
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7f05f967028cffdfa50a567ebff1a84e
https://doi.org/10.1007/978-3-319-67582-4_19
https://doi.org/10.1007/978-3-319-67582-4_19
Autor:
Marc Finthammer, Matthias Thimm
Publikováno v:
Logic Journal of IGPL. 20:831-871
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b4eeeabf7492ebfb92fe1558d75181f4
https://doi.org/10.1093/jigpal/jzs009
https://doi.org/10.1093/jigpal/jzs009
Autor:
Jörg Ingo Baumbach, Gabriele Kern-Isberner, Christoph Beierle, Marc Finthammer, Jens Fisseler
Publikováno v:
International Journal for Ion Mobility Spectrometry
Ion Mobility Spectrometry (IMS) provides a means for analyzing the substances a person exhales. In this paper, we report on an approach to support early diagnosis of bronchial carcinoma based on such IMS measurements. Given the peaks in a set of ion
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7d220ba409288798bd33faca76b5cdc7
Publikováno v:
Journal for Language Technology and Computational Linguistics. 23:34-47
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3996bb0eb140e34bfb78207c2300e8c4
https://doi.org/10.21248/jlcl.23.2008.106
https://doi.org/10.21248/jlcl.23.2008.106