publications2.bib

@inproceedings{EllmauthalerS16,
  author = {Stefan Ellmauthaler and Hannes Strass},
  title = {{DIAMOND} 3.0 - {A} Native {C++} Implementation of
                  {DIAMOND}},
  booktitle = {6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam, Germany, 12-16 September,
                  2016.},
  abstract = {We present a reimplementation of the DIAMOND system
                  for computing with abstract dialectical
                  frameworks. The original DIAMOND was a script-based
                  tool that called an external ASP solver. This
                  reimplementation uses the clingo library in a native
                  C++ environment and thus avoids communication
                  overhead.},
  pages = {471--472},
  year = 2016,
  url = {https://doi.org/10.3233/978-1-61499-686-6-471},
  volume = 287,
  publisher = {{IOS} Press},
  doi = {10.3233/978-1-61499-686-6-471},
  series = {Frontiers in Artificial Intelligence and
                  Applications},
  timestamp = {Tue, 23 May 2017 01:12:16 +0200},
  biburl = {http://dblp.dagstuhl.de/rec/bib/conf/comma/EllmauthalerS16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{BrewkaEGKLP2016a,
  author = {Gerhard Brewka and Stefan Ellmauthaler and Ricardo
                  Gon{\c{c}}alves and Matthias Knorr and Jo{\~{a}}o
                  Leite and J{\"{o}}rg P{\"{u}}hrer},
  title = {Inconsistency Management in Reactive Multi-context
                  Systems},
  booktitle = {15th European Conferenceon Logics in Artificial Intelligence (JELIA 2016) },
  year = 2016,
  editor = {Loizos Michael and Antonis C. Kakas},
  volume = 10021,
  series = {Lecture Notes in Computer Science},
  pages = {529--535},
  doi = {10.1007/978-3-319-48758-8_35},
  abstract = {We address the problem of global inconsistency in
                  reactive multi-context systems (rMCSs), a framework
                  for reactive reasoning in the presence of
                  heterogeneous knowledge sources that can deal with
                  continuous input streams. Their semantics is given
                  in terms of equilibria streams. The occurrence of
                  inconsistencies, where rMCSs fail to have an
                  equilibria stream, can render the entire system
                  useless. We discuss various methods for handling
                  this problem, following different strategies such as
                  repairing the rMCS, or even relaxing the notion of
                  equilibria stream so that it can go through
                  inconsistent states.  }
}
@inproceedings{EllmauthalerP2016,
  author = {Stefan Ellmauthaler and J{\"{o}}rg P{\"{u}}hrer},
  title = {Stream Packing for Asynchronous Multi-Context
                  Systems using {ASP}},
  booktitle = {Proceedings of the Workshop on Trends and
                  Applications of Answer Set Programming (TAASP 2016)},
  url = {http://arxiv.org/abs/1611.05640},
  biburl = {http://dblp.dagstuhl.de/rec/bib/journals/corr/EllmauthalerP16},
  year = 2016,
  editor = {Thomas Eiter and Wolfgang Faber and Stefan Woltran},
  abstract = {When a processing unit relies on data from external
                  streams, we may face the problem that the stream
                  data needs to be rearranged in a way that allows the
                  unit to perform its task(s). On arrival of new data,
                  we must decide whether there is sufficient
                  information available to start processing or whether
                  to wait for more data. Furthermore, we need to
                  ensure that the data meets the input specification
                  of the processing step. In the case of multiple
                  input streams it is also necessary to coordinate
                  which data from which incoming stream should form
                  the input of the next process instantiation. In this
                  work, we propose a declarative approach as an
                  interface between multiple streams and a processing
                  unit. The idea is to specify via answer-set
                  programming how to arrange incoming data in packages
                  that are suitable as input for subsequent
                  processing. Our approach is intended for use in
                  asynchronous multi-context systems (aMCSs), a
                  recently proposed framework for loose coupling of
                  knowledge representation formalisms that allows for
                  online reasoning in a dynamic environment. Contexts
                  in aMCSs process data streams from external sources
                  and other contexts.}
}
@inproceedings{BrewkaEGKLP2016b,
  author = {Gerhard Brewka and Stefan Ellmauthaler and Ricardo
                  Gon{\c{c}}alves and Matthias Knorr and Jo{\~{a}}o
                  Leite and J{\"{o}}rg P{\"{u}}hrer},
  title = {Towards Inconsistency Management in Reactive
                  Multi-Context Systems},
  booktitle = {Proceedings of the International Workshop on
                  Defeasible and Ampliative Reasoning (DARe-16)
                  co-located with the 22th European Conference on
                  Artificial Intelligence {(ECAI} 2016), The Hague,
                  Holland, August 29, 2016.},
  year = 2016,
  editor = {Richard Booth and Giovanni Casini and Szymon Klarman
                  and Gilles Richard and Ivan Jos{\'{e}} Varzincza},
  url = {http://ceur-ws.org/Vol-1626/DARe-16_5.pdf},
  series = {{CEUR} Workshop Proceedings},
  year = 2016,
  publisher = {CEUR-WS.org},
  timestamp = {Thu, 17 Nov 2016 19:38:24 +0100},
  biburl = {http://dblp.dagstuhl.de/rec/bib/conf/ecai/BrewkaE0KLP16},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  abstract = {In this paper, we begin by introducing reactive
                  multicontext systems (rMCSs), a framework for
                  reactive reasoning in the presence of heterogeneous
                  knowledge sources. In particular, we show how to
                  integrate data streams into multi-context systems
                  (MCSs) and how to model the dynamics of the systems,
                  based on two types of bridge rules. We then discuss
                  various methods for handling inconsistencies, a
                  problem that occurs with reasoning based on multiple
                  knowledge sources that need to be integrated, with a
                  special focus on non-existence of equilibria.}
}
@inproceedings{Ellmauthaler2015,
  title = {Asynchronous Multi-Context Systems},
  author = {Stefan Ellmauthaler and J\"org P\"uhrer},
  booktitle = {Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday},
  year = 2015,
  editor = {Thomas Eiter and Hannes Strass and Miroslaw Truszczynski and Stefan Woltran},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = 9060,
  doi = {10.1007/978-3-319-14726-0_10},
  file = {:mcs/amcs_brewkabday.pdf:PDF},
  url = {http://dx.doi.org/10.1007/978-3-319-14726-0_10},
  abstract = {We present asynchronous multi-context systems
                  (aMCSs), a framework for loosely coupling different
                  knowledge representation formalisms that allows for
                  online reasoning in a dynamic environment. An aMCS
                  interacts with the outside world via input and
                  output streams and may therefore react to a
                  continuous flow of external information. In contrast
                  to recent proposals, contexts in an aMCS communicate
                  with each other in an asynchronous way which fits
                  the needs of many application domains and is
                  beneficial for scalability. The federal semantics of
                  aMCSs renders our framework an integration approach
                  rather than a knowledge representation formalism
                  itself. We illustrate the introduced concepts by
                  means of an example scenario dealing with rescue
                  services. In addition, we compare aMCSs to reactive
                  multi-context systems and describe how to simulate
                  the latter with our novel approach.}
}
@inproceedings{Ellmauthaler2014,
  title = {Asynchronous Multi-Context Systems},
  author = {Stefan Ellmauthaler and J\"org P\"uhrer},
  booktitle = {International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014)},
  year = 2014,
  editor = {Stefan Ellmauthaler and J{\"o}rg P{\"u}hrer},
  pages = {31--38},
  abstract = {In this work, we present \define{asynchronous
                  multi-context systems} (aMCSs), which provide a
                  framework for loosely coupling different knowledge
                  representation formalisms that allows for online
                  reasoning in a dynamic environment.  Systems of this
                  kind may interact with the outside world via input
                  and output streams and may therefore react to an
                  continuous flow of external information.  In
                  contrast to recent proposals, contexts in an aMCS
                  communicate with each other in an asynchronous way
                  which fits the needs of many application domains and
                  results is beneficial for scalability.  The federal
                  semantics of aMCSs render our framework an
                  integration approach rather than a knowledge
                  representation formalism itself.  We illustrate the
                  introduced concepts by means of an example scenario
                  dealing with rescue services.  In addition we
                  compare aMCSs to reactive multi-context systems and
                  describe how to simulate the latter with our novel
                  approach.},
  url = {http://arxiv.org/abs/1505.05367}
}
@inproceedings{Brewka2014a,
  title = {Mulit-Context Systems for Reactive Reasoning in
                  Dynamic Environments},
  author = {Gerhard Brewka and Stefan Ellmauthaler and J\"org
                  P\"uhrer},
  booktitle = {International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014)},
  year = 2014,
  editor = {Stefan Ellmauthaler and J{\"o}rg P{\"u}hrer},
  pages = {23--30},
  abstract = {We show in this paper how managed multi-context
                  systems (mMCS) can be turned into a reactive
                  formalism suitable for continuous reasoning in
                  dynamic environments. We extend mMCS with (abstract)
                  sensors and define the notion of a run of the
                  extended systems. We then show how typical problems
                  arising in online reasoning can be addressed:
                  handling potentially inconsistent sensor input,
                  modeling intelligent forms of forgetting, selective
                  integration of knowledge, and controlling the
                  reasoning effort spent by contexts, like setting
                  contexts to an idle mode. We also investigate the
                  complexity of some important related decision
                  problems and discuss different design choices which
                  are given to the knowledge engineer.},
  url = {http://arxiv.org/abs/1505.05366}
}
@inproceedings{Brewka2014,
  title = {Multi-Context Systems for Reactive Reasoning in
                  Dynamic Environments},
  author = {Gerhard Brewka and Stefan Ellmauthaler and J\"org
                  P\"uhrer},
  booktitle = {21st European Conference on Artificial Intelligence (ECAI 2014)},
  year = 2014,
  editor = {Torsten Schaub and Gerhard Friedrich and Barry O'Sullivan},
  pages = {159--164},
  publisher = {{IOS} Press},
  series = {Frontiers in Artificial Intelligence and Applications},
  volume = 263,
  abstract = {We show in this paper how managed multi-context
                  systems (mMCS) can be turned into a reactive
                  formalism suitable for continuous reasoning in
                  dynamic environments. We extend mMCS with (abstract)
                  sensors and define the notion of a run of the
                  extended systems. We then show how typical problems
                  arising in online reasoning can be addressed:
                  handling potentially inconsistent sensor input,
                  modeling intelligent forms of forgetting, and
                  controlling the reasoning effort spent by
                  contexts. We also investigate the complexity of some
                  important related decision problems.},
  doi = {10.3233/978-1-61499-419-0-159}
}
@inproceedings{Ellmauthaler2014a,
  title = {The {DIAMOND} System for Computing with Abstract
                  Dialectical Frameworks},
  author = {Stefan Ellmauthaler and Hannes Strass},
  booktitle = {5th International Conference on Computational Models of Argument (COMMA 2014)},
  year = 2014,
  editor = {Simon Parsons and Nir Oren and Chris Reed and Federico Cerutti},
  month = sep,
  pages = {233--240},
  publisher = {{IOS} Press},
  series = {Frontiers in Artificial Intelligence and Applications},
  volume = 266,
  abstract = {We present diamond, an implementation of Brewka and
                  Woltran's abstract dialectical frameworks
                  (ADFs). The system uses answer set programming
                  encodings to compute interpretations of ADFs
                  according to various semantics. We evaluate the
                  performance of the system using an actual reasoning
                  problem as opposed to using randomly generated
                  frameworks.},
  doi = {10.3233/978-1-61499-436-7-233},
  pdf = {2014/comma27.pdf}
}
@inproceedings{Brewka2013,
  title = {Abstract Dialectical Frameworks Revisited},
  author = {Gerhard Brewka and Stefan Ellmauthaler and Hannes
                  Strass and Johannes Peter Wallner and Stefan
                  Woltran},
  booktitle = {Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013)},
  year = 2013,
  editor = {Francesca Rossi},
  month = aug,
  publisher = {IJCAI/AAAI},
  abstract = {We present various new concepts and results related
                  to abstract dialectical frameworks ({\sc adf}s), a
                  powerful generalization of Dung's argumentation
                  frameworks ({\sc af}s). In particular, we show how
                  the existing definitions of stable and preferred
                  semantics which are restricted to the subcase of
                  so-called bipolar {\sc adf}s can be improved and
                  generalized to arbitrary frameworks. Furthermore, we
                  introduce preference handling methods for {\sc
                  adf}s, allowing for both reasoning with and about
                  preferences. Finally, we present an implementation
                  based on an encoding in answer set programming.},
  file = {:argu/IJCAI13-199.pdf:PDF},
  location = {Beijing, China},
  pdf = {2013/IJCAI13-199.pdf},
  url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6551}
}
@inproceedings{Ellmauthaler2013a,
  title = {Generalizing Multi-Context Systems for Reactive
                  Stream Reasoning Applications},
  author = {Stefan Ellmauthaler},
  booktitle = {Proceedings of the 2013 Imperial College Computing Student Workshop (ICCSW 2013)},
  year = 2013,
  editor = {Andrew V. Jones and Nicholas Ng},
  month = sep,
  pages = {17--24},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  series = {OpenAccess Series in Informatics (OASIcs)},
  abstract = {In the field of artificial intelligence (AI), the
                  subdomain of knowledge representation (KR) has the
                  aim to represent, integrate, and exchange knowledge
                  in order to do some reasoning about the given
                  information. During the last decades many different
                  KR-languages were proposed for a variety of certain
                  applications with specific needs. The concept of a
                  managed Multi-Context System (mMCS) was introduced
                  to provide adequate formal tools to interchange and
                  integrate knowledge between different KR-approaches.
                  Another arising field of interest in computer
                  science is the design of online applications, which
                  react directly to (possibly infinite) streams of
                  information. This paper presents a genuine approach
                  to generalize mMCS for online applications with
                  continuous streams of information. Our major goal is
                  to find a good tradeoff between expressiveness and
                  computational complexity.},
  doi = {10.4230/OASIcs.ICCSW.2013.19},
  file = {:mcs/rmmcs-iccsw13.pdf:PDF},
  pdf = {2013/ICCSW-6.pdf},
  url = {http://drops.dagstuhl.de/opus/volltexte/2013/4267}
}
@inproceedings{Ellmauthaler2013,
  title = {The {DIAMOND} System for Argumentation:
                  {P}reliminary Report},
  author = {Stefan Ellmauthaler and Hannes Strass},
  booktitle = {Proceedings of the 6th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013)},
  year = 2013,
  editor = {Michael Fink and Yuliya Lierler},
  month = sep,
  volume = {abs/1312.6140},
  abstract = {Abstract dialectical frameworks (ADFs) are a
                  powerful generalisation of Dung's abstract
                  argumentation frameworks. In this paper we present
                  an answer set programming based software system,
                  called DIAMOND (DIAlectical MOdels eNcoDing). It
                  translates ADFs into answer set programs whose
                  stable models correspond to models of the ADF with
                  respect to several semantics (i.e.\ admissible,
                  complete, stable, grounded).},
  journal = {CoRR},
  pdf = {2013/ASPOCP13-6.pdf}
}
@mastersthesis{Ellmauthaler2012,
  title = {Abstract {D}ialectical {F}rameworks: {P}roperties,
                  {C}omplexity, and {I}mplementation},
  author = {Stefan Ellmauthaler},
  school = {Technische Universit\"at Wien, Institut f\"ur
                  Informationssysteme},
  year = 2012,
  abstract = {Over the last two decades the interest for Abstract
                  Argumentationsteadily raised in the field of
                  Artificial Intelligence. The concept of Dung's
                  Argumentation Frameworks (AFs), where arguments and
                  their relations are represented in a directed
                  graph-structure, is a well-known, simple, and
                  powerful concept. This framework is used to find
                  acceptable sets of arguments, which have specific
                  properties (e.g. being conflict free), defined by
                  several semantics. Recently Abstract Dialectical
                  Frameworks (ADFs) were introduced, a generalization
                  of Dung's approach, to overcome the limitation of
                  attack-relations being the only type of native
                  relations. To reach this goal, in addition to the
                  relations, total functions are used to decide the
                  acceptance of an argument. These functions are so
                  called acceptance conditions. Due to the high
                  expressiveness of this newly proposed theory, some
                  semantics were only generalized for the restricted
                  bipolar ADFs yet. This work will give an exhaustive
                  overview on ADFs. The restriction to bipolar ADFs
                  for some of the semantics is not desired, so we try
                  to develop a solution to gain the generalized stable
                  model semantics. This semantics is particularly
                  important because the other semantics which are
                  restricted to bipolar ADFs, depend on stable
                  models. To gain such a generalization, we will try
                  to connect the foundations of ADFs to other fields
                  of computer science. So we may relate subclasses of
                  these fields to the bipolar ADF to overcome this
                  obstacle. This connection also makes ADFs more
                  accessible to other fields of computer science. We
                  will concentrate mainly on the introduction of the
                  alternative representation of propositional-formula
                  ADFs (pForm-ADFs), but we will also show that ADFs
                  can be represented as hyper-graphs. Based on the new
                  representation a transformation from ADFs to
                  pForm-ADFs, together with a generalization of the
                  stable model semantics will be presented. In
                  addition some properties between semantics will be
                  investigated and an overview of complexity results,
                  enriched with new ones is given. Currently there is
                  no software system available to compute semantics
                  for ADFs. So in addition to the formal results we
                  also present an Answer Set Programming (ASP) based
                  implementation to solve these highly complex
                  computations. We will also present preliminary
                  empirical experiments.},
  ee = {http://media.obvsg.at/AC07813997-2001},
  file = {:argu/ellmauthaler.pdf:PDF},
  url = {http://media.obvsg.at/AC07813997-2001}
}
@inproceedings{Ellmauthaler2012a,
  title = {Evaluating {Abstract} {Dialectical} {Frameworks}
                  with {ASP}},
  author = {Stefan Ellmauthaler and Johannes Peter Wallner},
  booktitle = {4th International Conference on Computational Models of Argument (COMMA 2012)},
  year = 2012,
  editor = {Bart Verheij and Stefan Szeider and Stefan Woltran},
  pages = {505--506},
  publisher = {IOS Press},
  volume = 245,
  file = {:argu/FAIA245-0505.pdf:PDF},
  pdf = {2012/FAIA245-0505.pdf}
}

This file was generated by bibtex2html 1.98.