Zobrazeno 1 - 10
of 39
pro vyhledávání: '"Dylla, Frank"'
Autor:
Dylla, Frank, Lee, Jae Hee, Mossakowski, Till, Schneider, Thomas, Van Delden, André, Van De Ven, Jasper, Wolter, Diedrich
Qualitative Spatial and Temporal Reasoning (QSTR) is concerned with symbolic knowledge representation, typically over infinite domains. The motivations for employing QSTR techniques range from exploiting computational properties that allow efficient
Externí odkaz:
http://arxiv.org/abs/1606.00133
Qualitative spatial and temporal reasoning is based on so-called qualitative calculi. Algebraic properties of these calculi have several implications on reasoning algorithms. But what exactly is a qualitative calculus? And to which extent do the qual
Externí odkaz:
http://arxiv.org/abs/1305.7345
We propose an approximation of the Possible Worlds Semantics (PWS) for action planning. A corresponding planning system is implemented by a transformation of the action specification to an Answer-Set Program. A novelty is support for postdiction wrt.
Externí odkaz:
http://arxiv.org/abs/1304.4925
Autor:
DYLLA, FRANK1 dylla@cs.unibremen.de, JAE HEE LEE1 jaehee.lee@uts.edu.au, MOSSAKOWSKI, TILL2 till@iks.cs.ovgu.de, SCHNEIDER, THOMAS1 ts@cs.unibremen.de, VAN DELDEN, ANDRÉ1 schola@cs.unibremen.de, VAN DE VEN, JASPER1 jasper@cs.unibremen.de, WOLTER, DIEDRICH3 diedrich.wolter@uni-bamberg.de
Publikováno v:
ACM Computing Surveys. Jan2018, Vol. 50 Issue 1, p1-39. 39p. 6 Diagrams, 7 Charts.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Malaka, Rainer, Dylla, Frank, Freksa, Christian, Barkowsky, Thomas, Herrlich, Marc, Kikinis, Ron
Publikováno v:
Anticipation & Medicine; 2017, p269-277, 9p
Autor:
van de Ven, Jasper, Dylla, Frank
Publikováno v:
Privacy Technologies & Policy (9783319447599); 2016, p171-189, 19p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
van de Ven, Jasper, Dylla, Frank
Publikováno v:
KI: Künstliche Intelligenz; Aug2017, Vol. 31 Issue 3, p291-297, 7p