I agree that this site is using cookies. You can find further informations here.
X
Ellmauthaler, Stefan
22  results:
Search for persons X
?
1

Representing Abstract Dialectical Frameworks with Binary De..:

, In: Logic Programming and Nonmonotonic Reasoning; Lecture Notes in Computer Science,
Ellmauthaler, Stefan ; Gaggl, Sarah Alice ; Rusovac, Dominik. - p. 177-189 , 2022
Link: https://doi.org/10.1007/..
 
?
2

Introduction to the TPLP Special Issue on User-oriented Log..:

ELLMAUTHALER, STEFAN ; SCHULZ, CLAUDIA
Theory and Practice of Logic Programming.  19 (2019)  2 - p. 109-113 , 2019
Link: https://doi.org/10.1017/..
 
?
3

Multi-Context Reasoning in Continuous Data-Flow Environment:

Ellmauthaler, Stefan
KI - Künstliche Intelligenz.  33 (2018)  1 - p. 101-104 , 2018
Link: https://doi.org/10.1007/..
 
?
4

Advanced Solving Technology for Dynamic and Reactive Applic..:

Brewka, Gerhard ; Ellmauthaler, Stefan ; Kern-Isberner, Gabriele...
KI - Künstliche Intelligenz.  32 (2018)  2-3 - p. 199-200 , 2018
Link: https://doi.org/10.1007/..
 
?
5

Reactive multi-context systems: Heterogeneous reasoning in ..:

Brewka, Gerhard ; Ellmauthaler, Stefan ; Gonçalves, Ricardo...
Artificial Intelligence.  256 (2018)  - p. 68-104 , 2018
Link: https://doi.org/10.1016/..
 
?
6

Nemo: First Glimpse of a New Rule Engine:

Ivliev, Alex ; Ellmauthaler, Stefan ; Gerlach, Lukas...
http://arxiv.org/abs/2308.15897.  , 2023
Link: http://arxiv.org/abs/230..
 
?
7

Preliminary Evaluation Data for adf-bdd v 0.2.4-beta.1:

Ellmauthaler, Stefan ; Gaggl, Sarah Alice ; Rusovac, Dominik.
doi:10.5281/zenodo.6498234.  , 2022
Link: https://zenodo.org/recor..
 
?
8

Preliminary Evaluation Data for adf-bdd v 0.2.4-beta.1:

Ellmauthaler, Stefan ; Gaggl, Sarah Alice ; Rusovac, Dominik.
doi:10.5281/zenodo.6498234.  , 2022
Link: https://zenodo.org/recor..
 
?
9

Answering Queries with Negation over Existential Rules:

Ellmauthaler, Stefan ; Krötzsch, Markus ; Mennicke, Stephan
http://arxiv.org/abs/2112.07376.  , 2021
Link: http://arxiv.org/abs/211..
 
?
10

Abstract Dialectical Frameworks : properties, complexity, a..:

Ellmauthaler, Stefan
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-46394.  , 2020
Link: https://resolver.obvsg.a..
 
?
11

Abstract Dialectical Frameworks. An Overview:

Brewka, Gerhard ; Ellmauthaler, Stefan ; Strass, Hannes..
IfCoLog Journal of Logics and their Applications.  , 2020
Link: https://resolver.obvsg.a..
 
?
12

Reactive multi-context systems ; Heterogeneous reasoning in..:

Brewka, Gerhard ; Ellmauthaler, Stefan ; Gonçalves, Ricardo...
info:eu-repo/grantAgreement/FCT/5876/147279/PT.  , 2018
Link: http://hdl.handle.net/10..
 
?
13

Multi-Context Reasoning in Continuous Data-Flow Environment:

Ellmauthaler, Stefan
urn:nbn:de:bsz:15-qucosa2-214577.  , 2018
Link: https://nbn-resolving.or..
 
?
14

Stream Packing for Asynchronous Multi-Context Systems using..:

Ellmauthaler, Stefan ; Pührer, Jörg
http://arxiv.org/abs/1611.05640.  , 2016
Link: http://arxiv.org/abs/161..
 
?
15

Inconsistency Management in Reactive Multi-context Systems:

Brewka, Gerhard ; Ellmauthaler, Stefan ; Gonçalves, Ricardo...
info:eu-repo/grantAgreement/FCT/5876/147279/PT.  , 2016
Link: http://hdl.handle.net/10..
 
1-15