default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Hannes Strass
@article{DBLP:journals/corr/abs-2405-09875,
author = {Piotr Gorczyca and
D{\"{o}}rthe Arndt and
Martin Diller and
Pascal Kettmann and
Stephan Mennicke and
Hannes Strass},
title = {A Farewell to Harms: Risk Management for Medical Devices via the Riskman
Ontology {\&} Shapes},
journal = {CoRR},
volume = {abs/2405.09875},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2405.09875},
doi = {10.48550/ARXIV.2405.09875},
eprinttype = {arXiv},
eprint = {2405.09875},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2405-09875.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AlvarezRS23,
author = {Lucía {Gómez Álvarez} and
Sebastian Rudolph and
Hannes Strass},
title = {Tractable Diversity: Scalable Multiperspective Ontology Management
via Standpoint {EL}},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {3258--3267},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/363},
doi = {10.24963/IJCAI.2023/363},
timestamp = {Mon, 28 Aug 2023 17:23:07 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AlvarezRS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jowo/EmmrichAS23,
author = {Florian Emmrich and
Lucía {Gómez Álvarez} and
Hannes Strass},
editor = {Fumiaki Toyoshima and
Megan Katsumi and
Guendalina Righetti and
Stefano De Giorgis and
Maria M. Hedblom and
Oliver Kutz and
Boyan Brodaric and
Michael Gr{\"{u}}ninger and
Torsten Hahmann and
Damion Dooley Simon and
Matthew Lange and
Hande K{\"{u}}{\c{c}}{\"{u}}k{-}McGinty and
Anoosha Sehar Simon and
Rhiannon Cameron and
Bart Gajderowicz and
Daniela Rosu and
Janna Hastings and
Davide Audrito and
Luigi Di Caro and
Francesca Grasso and
Roberto Nai and
Emilio Sulis and
Loris Bozzato and
Cogan Shimizu and
Antoine Zimmermann and
Riccardo Baratella and
Stefano Borgo and
Sergio de Cesare and
Tiago Prince Sales},
title = {Automated Reasoning Support for Standpoint-OWL 2},
booktitle = {Proceedings of the Joint Ontology Workshops 2023 Episode {IX:} The
Quebec Summer of Ontology co-located with the 13th International Conference
on Formal Ontology in Information Systems {(FOIS} 2023), Sherbrooke,
Qu{\'{e}}bec, Canada, July 19-20, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3637},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3637/paper49.pdf},
timestamp = {Sun, 04 Aug 2024 19:43:58 +0200},
biburl = {https://dblp.org/rec/conf/jowo/EmmrichAS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AlvarezRS23,
author = {Lucía {Gómez Álvarez} and
Sebastian Rudolph and
Hannes Strass},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Pushing the Boundaries of Tractable Multiperspective Reasoning: {A}
Deduction Calculus for Standpoint {EL+}},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {333--343},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/33},
doi = {10.24963/KR.2023/33},
timestamp = {Tue, 05 Sep 2023 14:50:36 +0200},
biburl = {https://dblp.org/rec/conf/kr/AlvarezRS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-13187,
author = {Lucía {Gómez Álvarez} and
Sebastian Rudolph and
Hannes Strass},
title = {Tractable Diversity: Scalable Multiperspective Ontology Management
via Standpoint {EL}},
journal = {CoRR},
volume = {abs/2302.13187},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.13187},
doi = {10.48550/ARXIV.2302.13187},
eprinttype = {arXiv},
eprint = {2302.13187},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-13187.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-14323,
author = {Lucía {Gómez Álvarez} and
Sebastian Rudolph and
Hannes Strass},
title = {Pushing the Boundaries of Tractable Multiperspective Reasoning: {A}
Deduction Calculus for Standpoint {EL+}},
journal = {CoRR},
volume = {abs/2304.14323},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.14323},
doi = {10.48550/ARXIV.2304.14323},
eprinttype = {arXiv},
eprint = {2304.14323},
timestamp = {Thu, 04 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-14323.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-00559,
author = {Florian Emmrich and
Lucía {Gómez Álvarez} and
Hannes Strass},
title = {Automated reasoning support for Standpoint-OWL 2},
journal = {CoRR},
volume = {abs/2305.00559},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.00559},
doi = {10.48550/ARXIV.2305.00559},
eprinttype = {arXiv},
eprint = {2305.00559},
timestamp = {Fri, 05 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-00559.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BaumannS22,
author = {Ringo Baumann and
Hannes Strass},
title = {An abstract, logical approach to characterizing strong equivalence
in non-monotonic knowledge representation formalisms},
journal = {Artif. Intell.},
volume = {305},
pages = {103680},
year = {2022},
url = {https://doi.org/10.1016/j.artint.2022.103680},
doi = {10.1016/J.ARTINT.2022.103680},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BaumannS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/AlvarezRS22,
author = {Lucía {Gómez Álvarez} and
Sebastian Rudolph and
Hannes Strass},
editor = {Ofer Arieli and
Martin Homola and
Jean Christoph Jung and
Marie{-}Laure Mugnier},
title = {Modelling Multiple Perspectives by Standpoint-Enhanced DLs (Extended
Abstract)},
booktitle = {Proceedings of the 35th International Workshop on Description Logics
{(DL} 2022) co-located with Federated Logic Conference (FLoC 2022),
Haifa, Israel, August 7th to 10th, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3263},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3263/abstract-10.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/AlvarezRS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/AlvarezRS22,
author = {Lucía {Gómez Álvarez} and
Sebastian Rudolph and
Hannes Strass},
editor = {Ulrike Sattler and
Aidan Hogan and
C. Maria Keet and
Valentina Presutti and
Jo{\~{a}}o Paulo A. Almeida and
Hideaki Takeda and
Pierre Monnin and
Giuseppe Pirr{\`{o}} and
Claudia d'Amato},
title = {How to Agree to Disagree - Managing Ontological Perspectives using
Standpoint Logic},
booktitle = {The Semantic Web - {ISWC} 2022 - 21st International Semantic Web Conference,
Virtual Event, October 23-27, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13489},
pages = {125--141},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19433-7\_8},
doi = {10.1007/978-3-031-19433-7\_8},
timestamp = {Mon, 28 Aug 2023 21:17:23 +0200},
biburl = {https://dblp.org/rec/conf/semweb/AlvarezRS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-06793,
author = {Lucía {Gómez Álvarez} and
Sebastian Rudolph and
Hannes Strass},
title = {How to Agree to Disagree: Managing Ontological Perspectives using
Standpoint Logic},
journal = {CoRR},
volume = {abs/2206.06793},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.06793},
doi = {10.48550/ARXIV.2206.06793},
eprinttype = {arXiv},
eprint = {2206.06793},
timestamp = {Tue, 21 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-06793.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/GagglRS21,
author = {Sarah Alice Gaggl and
Sebastian Rudolph and
Hannes Stra{\ss}},
title = {On the Decomposition of Abstract Dialectical Frameworks and the Complexity
of Naive-based Semantics},
journal = {J. Artif. Intell. Res.},
volume = {70},
pages = {1--64},
year = {2021},
url = {https://doi.org/10.1613/jair.1.11348},
doi = {10.1613/JAIR.1.11348},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/GagglRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/StrassWD19,
author = {Hannes Strass and
Adam Wyner and
Martin Diller},
title = {\emph{EMIL}: Extracting Meaning from Inconsistent Language: Towards
argumentation using a controlled natural language interface},
journal = {Int. J. Approx. Reason.},
volume = {112},
pages = {55--84},
year = {2019},
url = {https://doi.org/10.1016/j.ijar.2019.04.010},
doi = {10.1016/J.IJAR.2019.04.010},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/StrassWD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwcs/DillerWS19,
author = {Martin Diller and
Adam Wyner and
Hannes Strass},
editor = {Simon Dobnik and
Stergios Chatzikyriakidis and
Vera Demberg},
title = {Making Sense of Conflicting (Defeasible) Rules in the Controlled Natural
Language {ACE:} Design of a System with Support for Existential Quantification
Using Skolemization},
booktitle = {Proceedings of the 13th International Conference on Computational
Semantics, {IWCS} 2019, Short Papers, Gothenburg, Sweden, May 23-27,
2019},
pages = {32--37},
publisher = {Association for Computational Linguistics},
year = {2019},
url = {https://doi.org/10.18653/v1/w19-0505},
doi = {10.18653/V1/W19-0505},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwcs/DillerWS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Strass18,
author = {Hannes Strass},
title = {Instantiating rule-based defeasible theories in abstract dialectical
frameworks and beyond},
journal = {J. Log. Comput.},
volume = {28},
number = {3},
pages = {605--627},
year = {2018},
url = {https://doi.org/10.1093/logcom/exv004},
doi = {10.1093/LOGCOM/EXV004},
timestamp = {Mon, 07 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Strass18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BrewkaSWW18,
author = {Gerhard Brewka and
Hannes Strass and
Johannes Peter Wallner and
Stefan Woltran},
editor = {Sheila A. McIlraith and
Kilian Q. Weinberger},
title = {Weighted Abstract Dialectical Frameworks},
booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
(AAAI-18), the 30th innovative Applications of Artificial Intelligence
(IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
2-7, 2018},
pages = {1779--1786},
publisher = {{AAAI} Press},
year = {2018},
url = {https://doi.org/10.1609/aaai.v32i1.11545},
doi = {10.1609/AAAI.V32I1.11545},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BrewkaSWW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-07717,
author = {Gerhard Brewka and
J{\"{o}}rg P{\"{u}}hrer and
Hannes Strass and
Johannes Peter Wallner and
Stefan Woltran},
title = {Weighted Abstract Dialectical Frameworks: Extended and Revised Report},
journal = {CoRR},
volume = {abs/1806.07717},
year = {2018},
url = {http://arxiv.org/abs/1806.07717},
eprinttype = {arXiv},
eprint = {1806.07717},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-07717.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/BrewkaESWW17,
author = {Gerhard Brewka and
Stefan Ellmauthaler and
Hannes Strass and
Johannes Peter Wallner and
Stefan Woltran},
title = {Abstract Dialectical Frameworks. An Overview},
journal = {{FLAP}},
volume = {4},
number = {8},
year = {2017},
url = {http://www.collegepublications.co.uk/downloads/ifcolog00017.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/flap/BrewkaESWW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GagglNST17,
author = {Sarah Alice Gaggl and
Juan Carlos Nieves and
Hannes Strass and
Paolo Torroni},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {155},
number = {3},
pages = {i--iii},
year = {2017},
url = {https://doi.org/10.3233/FI-2017-1583},
doi = {10.3233/FI-2017-1583},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/GagglNST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BaumannS17,
author = {Ringo Baumann and
Hannes Strass},
title = {On the number of bipolar Boolean functions},
journal = {J. Log. Comput.},
volume = {27},
number = {8},
pages = {2431--2449},
year = {2017},
url = {https://doi.org/10.1093/logcom/exx025},
doi = {10.1093/LOGCOM/EXX025},
timestamp = {Tue, 02 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/BaumannS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/StrassW17,
author = {Hannes Strass and
Adam Z. Wyner},
title = {On Automated Defeasible Reasoning with Controlled Natural Language
and Argumentation},
booktitle = {The Workshops of the The Thirty-First {AAAI} Conference on Artificial
Intelligence, Saturday, February 4-9, 2017, San Francisco, California,
{USA}},
series = {{AAAI} Technical Report},
volume = {{WS-17}},
publisher = {{AAAI} Press},
year = {2017},
url = {http://aaai.org/ocs/index.php/WS/AAAIW17/paper/view/15108},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/StrassW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/WynerS17,
author = {Adam Z. Wyner and
Hannes Strass},
editor = {Salem Benferhat and
Karim Tabia and
Moonis Ali},
title = {dARe - Using Argumentation to Explain Conclusions from a Controlled
Natural Language Knowledge Base},
booktitle = {Advances in Artificial Intelligence: From Theory to Practice - 30th
International Conference on Industrial Engineering and Other Applications
of Applied Intelligent Systems, {IEA/AIE} 2017, Arras, France, June
27-30, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10351},
pages = {328--338},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60045-1\_35},
doi = {10.1007/978-3-319-60045-1\_35},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/ieaaie/WynerS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwcs/DillerWS17,
author = {Martin Diller and
Adam Z. Wyner and
Hannes Strass},
editor = {Claire Gardent and
Christian Retor{\'{e}}},
title = {Defeasible AceRules: {A} Prototype},
booktitle = {{IWCS} 2017 - 12th International Conference on Computational Semantics
- Long papers, Montpellier, France, September 19 - 22, 2017},
publisher = {The Association for Computer Linguistics},
year = {2017},
url = {https://aclanthology.org/W17-6805/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwcs/DillerWS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BaumannDLSSW16,
author = {Ringo Baumann and
Wolfgang Dvor{\'{a}}k and
Thomas Linsbichler and
Christof Spanring and
Hannes Strass and
Stefan Woltran},
title = {On rejected arguments and implicit conflicts: The hidden power of
argumentation semantics},
journal = {Artif. Intell.},
volume = {241},
pages = {244--284},
year = {2016},
url = {https://doi.org/10.1016/j.artint.2016.09.004},
doi = {10.1016/J.ARTINT.2016.09.004},
timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/BaumannDLSSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/ThimmVCOSV16,
author = {Matthias Thimm and
Serena Villata and
Federico Cerutti and
Nir Oren and
Hannes Strass and
Mauro Vallati},
title = {Summary Report of The First International Competition on Computational
Models of Argumentation},
journal = {{AI} Mag.},
volume = {37},
number = {1},
pages = {102},
year = {2016},
url = {https://doi.org/10.1609/aimag.v37i1.2640},
doi = {10.1609/AIMAG.V37I1.2640},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aim/ThimmVCOSV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AlvianoFS16,
author = {Mario Alviano and
Wolfgang Faber and
Hannes Strass},
editor = {Dale Schuurmans and
Michael P. Wellman},
title = {Boolean Functions with Ordered Domains in Answer Set Programming},
booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
February 12-17, 2016, Phoenix, Arizona, {USA}},
pages = {879--885},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/aaai.v30i1.10096},
doi = {10.1609/AAAI.V30I1.10096},
timestamp = {Mon, 04 Sep 2023 15:08:28 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AlvianoFS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/EllmauthalerS16,
author = {Stefan Ellmauthaler and
Hannes Strass},
editor = {Pietro Baroni and
Thomas F. Gordon and
Tatjana Scheffler and
Manfred Stede},
title = {{DIAMOND} 3.0 - {A} Native {C++} Implementation of {DIAMOND}},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2016, Potsdam,
Germany, 12-16 September, 2016},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {287},
pages = {471--472},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-686-6-471},
doi = {10.3233/978-1-61499-686-6-471},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/comma/EllmauthalerS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/LinsbichlerPS16,
author = {Thomas Linsbichler and
J{\"{o}}rg P{\"{u}}hrer and
Hannes Strass},
editor = {Gal A. Kaminka and
Maria Fox and
Paolo Bouquet and
Eyke H{\"{u}}llermeier and
Virginia Dignum and
Frank Dignum and
Frank van Harmelen},
title = {A Uniform Account of Realizability in Abstract Argumentation},
booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
29 August-2 September 2016, The Hague, The Netherlands - Including
Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
pages = {252--260},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-252},
doi = {10.3233/978-1-61499-672-9-252},
timestamp = {Tue, 02 Nov 2021 15:59:05 +0100},
biburl = {https://dblp.org/rec/conf/ecai/LinsbichlerPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BaumannS16,
author = {Ringo Baumann and
Hannes Strass},
editor = {Chitta Baral and
James P. Delgrande and
Frank Wolter},
title = {An Abstract Logical Approach to Characterizing Strong Equivalence
in Logic-based Knowledge Representation Formalisms},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fifteenth International Conference, {KR} 2016, Cape Town, South
Africa, April 25-29, 2016},
pages = {525--528},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12834},
timestamp = {Tue, 09 Feb 2021 08:33:50 +0100},
biburl = {https://dblp.org/rec/conf/kr/BaumannS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/comma/2016safa,
editor = {Matthias Thimm and
Federico Cerutti and
Hannes Strass and
Mauro Vallati},
title = {Proceedings of the First International Workshop on Systems and Algorithms
for Formal Argumentation {(SAFA)} co-located with the 6th International
Conference on Computational Models of Argument {(COMMA} 2016), Potsdam,
Germany, September 13, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1672},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1672},
urn = {urn:nbn:de:0074-1672-0},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/comma/2016safa.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LinsbichlerPS16,
author = {Thomas Linsbichler and
J{\"{o}}rg P{\"{u}}hrer and
Hannes Strass},
title = {Characterizing Realizability in Abstract Argumentation},
journal = {CoRR},
volume = {abs/1603.09545},
year = {2016},
url = {http://arxiv.org/abs/1603.09545},
eprinttype = {arXiv},
eprint = {1603.09545},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LinsbichlerPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GagglNS16,
author = {Sarah Alice Gaggl and
Juan Carlos Nieves and
Hannes Strass},
title = {Proceedings of the First International Workshop on Argumentation in
Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016)},
journal = {CoRR},
volume = {abs/1611.02439},
year = {2016},
url = {http://arxiv.org/abs/1611.02439},
eprinttype = {arXiv},
eprint = {1611.02439},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GagglNS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/StrassW15,
author = {Hannes Strass and
Johannes Peter Wallner},
title = {Analyzing the computational complexity of abstract dialectical frameworks
via approximation fixpoint theory},
journal = {Artif. Intell.},
volume = {226},
pages = {34--74},
year = {2015},
url = {https://doi.org/10.1016/j.artint.2015.05.003},
doi = {10.1016/J.ARTINT.2015.05.003},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/StrassW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/Strass15,
author = {Hannes Strass},
title = {Expressiveness of Two-Valued Semantics for Abstract Dialectical Frameworks},
journal = {J. Artif. Intell. Res.},
volume = {54},
pages = {193--231},
year = {2015},
url = {https://doi.org/10.1613/jair.4879},
doi = {10.1613/JAIR.4879},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/Strass15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Strass15,
author = {Hannes Strass},
editor = {Blai Bonet and
Sven Koenig},
title = {The Relative Expressiveness of Abstract Argumentation and Logic Programming},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {1625--1631},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9392},
doi = {10.1609/AAAI.V29I1.9392},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Strass15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/EiterSTW14,
author = {Thomas Eiter and
Hannes Strass and
Miroslaw Truszczynski and
Stefan Woltran},
editor = {Thomas Eiter and
Hannes Strass and
Miroslaw Truszczynski and
Stefan Woltran},
title = {A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence},
booktitle = {Advances in Knowledge Representation, Logic Programming, and Abstract
Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion
of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9060},
pages = {1--16},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-14726-0\_1},
doi = {10.1007/978-3-319-14726-0\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/EiterSTW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BaumannS14a,
author = {Ringo Baumann and
Hannes Strass},
editor = {Thomas Eiter and
Hannes Strass and
Miroslaw Truszczynski and
Stefan Woltran},
title = {Open Problems in Abstract Argumentation},
booktitle = {Advances in Knowledge Representation, Logic Programming, and Abstract
Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion
of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9060},
pages = {325--339},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-14726-0\_22},
doi = {10.1007/978-3-319-14726-0\_22},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BaumannS14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GagglRS15,
author = {Sarah Alice Gaggl and
Sebastian Rudolph and
Hannes Strass},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {On the Computational Complexity of Naive-Based Semantics for Abstract
Dialectical Frameworks},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {2985--2991},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/422},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/GagglRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/DeneckerBS15,
author = {Marc Denecker and
Gerhard Brewka and
Hannes Strass},
editor = {Francesco Calimeri and
Giovambattista Ianni and
Miroslaw Truszczynski},
title = {A Formal Theory of Justifications},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9345},
pages = {250--264},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23264-5\_22},
doi = {10.1007/978-3-319-23264-5\_22},
timestamp = {Sun, 02 Jun 2019 21:23:45 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/DeneckerBS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2014brewka,
editor = {Thomas Eiter and
Hannes Strass and
Miroslaw Truszczynski and
Stefan Woltran},
title = {Advances in Knowledge Representation, Logic Programming, and Abstract
Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion
of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9060},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-14726-0},
doi = {10.1007/978-3-319-14726-0},
isbn = {978-3-319-14725-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2014brewka.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/EllmauthalerS14,
author = {Stefan Ellmauthaler and
Hannes Strass},
editor = {Simon Parsons and
Nir Oren and
Chris Reed and
Federico Cerutti},
title = {The {DIAMOND} System for Computing with Abstract Dialectical Frameworks},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2014, Atholl
Palace Hotel, Scottish Highlands, UK, September 9-12, 2014},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {266},
pages = {233--240},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-436-7-233},
doi = {10.3233/978-1-61499-436-7-233},
timestamp = {Thu, 10 Aug 2023 14:30:52 +0200},
biburl = {https://dblp.org/rec/conf/comma/EllmauthalerS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/GagglS14,
author = {Sarah Alice Gaggl and
Hannes Strass},
editor = {Simon Parsons and
Nir Oren and
Chris Reed and
Federico Cerutti},
title = {Decomposing Abstract Dialectical Frameworks},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2014, Atholl
Palace Hotel, Scottish Highlands, UK, September 9-12, 2014},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {266},
pages = {281--292},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-436-7-281},
doi = {10.3233/978-1-61499-436-7-281},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/comma/GagglS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/CeruttiOSTV14,
author = {Federico Cerutti and
Nir Oren and
Hannes Strass and
Matthias Thimm and
Mauro Vallati},
editor = {Simon Parsons and
Nir Oren and
Chris Reed and
Federico Cerutti},
title = {A Benchmark Framework for a Computational Argumentation Competition},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2014, Atholl
Palace Hotel, Scottish Highlands, UK, September 9-12, 2014},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {266},
pages = {459--460},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-436-7-459},
doi = {10.3233/978-1-61499-436-7-459},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/comma/CeruttiOSTV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/Strass14,
author = {Hannes Strass},
editor = {Simon Parsons and
Nir Oren and
Chris Reed and
Federico Cerutti},
title = {Implementing Instantiation of Knowledge Bases in Argumentation Frameworks},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2014, Atholl
Palace Hotel, Scottish Highlands, UK, September 9-12, 2014},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {266},
pages = {475--476},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-436-7-475},
doi = {10.3233/978-1-61499-436-7-475},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/comma/Strass14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BaumannDLSW14,
author = {Ringo Baumann and
Wolfgang Dvor{\'{a}}k and
Thomas Linsbichler and
Hannes Strass and
Stefan Woltran},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {Compact Argumentation Frameworks},
booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
18-22 August 2014, Prague, Czech Republic - Including Prestigious
Applications of Intelligent Systems {(PAIS} 2014)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {263},
pages = {69--74},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-69},
doi = {10.3233/978-1-61499-419-0-69},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BaumannDLSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/JiS14,
author = {Jianmin Ji and
Hannes Strass},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {From Default and Autoepistemic Logics to Disjunctive Answer Set Programs
via the Logic of {GK}},
booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
18-22 August 2014, Prague, Czech Republic - Including Prestigious
Applications of Intelligent Systems {(PAIS} 2014)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {263},
pages = {1039--1040},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-1039},
doi = {10.3233/978-1-61499-419-0-1039},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/JiS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/StrassW14,
author = {Hannes Strass and
Johannes Peter Wallner},
editor = {Chitta Baral and
Giuseppe De Giacomo and
Thomas Eiter},
title = {Analyzing the Computational Complexity of Abstract Dialectical Frameworks
via Approximation Fixpoint Theory},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
July 20-24, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7917},
timestamp = {Tue, 09 Feb 2021 08:33:43 +0100},
biburl = {https://dblp.org/rec/conf/kr/StrassW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BaumannDLSW14,
author = {Ringo Baumann and
Wolfgang Dvor{\'{a}}k and
Thomas Linsbichler and
Hannes Strass and
Stefan Woltran},
title = {Compact Argumentation Frameworks},
journal = {CoRR},
volume = {abs/1404.7734},
year = {2014},
url = {http://arxiv.org/abs/1404.7734},
eprinttype = {arXiv},
eprint = {1404.7734},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BaumannDLSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Strass14,
author = {Hannes Strass},
title = {On the Relative Expressiveness of Argumentation Frameworks, Normal
Logic Programs and Abstract Dialectical Frameworks},
journal = {CoRR},
volume = {abs/1405.0805},
year = {2014},
url = {http://arxiv.org/abs/1405.0805},
eprinttype = {arXiv},
eprint = {1405.0805},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Strass14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JiS14,
author = {Jianmin Ji and
Hannes Strass},
title = {Implementing Default and Autoepistemic Logics via the Logic of {GK}},
journal = {CoRR},
volume = {abs/1405.0809},
year = {2014},
url = {http://arxiv.org/abs/1405.0809},
eprinttype = {arXiv},
eprint = {1405.0809},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JiS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Strass13,
author = {Hannes Strass},
title = {Approximating operators and semantics for abstract dialectical frameworks},
journal = {Artif. Intell.},
volume = {205},
pages = {39--70},
year = {2013},
url = {https://doi.org/10.1016/j.artint.2013.09.004},
doi = {10.1016/J.ARTINT.2013.09.004},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Strass13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/StrassT13,
author = {Hannes Strass and
Michael Thielscher},
title = {A general first-order solution to the ramification problem with cycles},
journal = {J. Appl. Log.},
volume = {11},
number = {3},
pages = {289--308},
year = {2013},
url = {https://doi.org/10.1016/j.jal.2013.05.003},
doi = {10.1016/J.JAL.2013.05.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/StrassT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/Strass13,
author = {Hannes Strass},
editor = {Jo{\~{a}}o Leite and
Tran Cao Son and
Paolo Torroni and
Leon van der Torre and
Stefan Woltran},
title = {Instantiating Knowledge Bases in Abstract Dialectical Frameworks},
booktitle = {Computational Logic in Multi-Agent Systems - 14th International Workshop,
{CLIMA} XIV, Corunna, Spain, September 16-18, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8143},
pages = {86--101},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40624-9\_6},
doi = {10.1007/978-3-642-40624-9\_6},
timestamp = {Fri, 09 Apr 2021 18:38:27 +0200},
biburl = {https://dblp.org/rec/conf/clima/Strass13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BrewkaSEWW13,
author = {Gerhard Brewka and
Hannes Strass and
Stefan Ellmauthaler and
Johannes Peter Wallner and
Stefan Woltran},
editor = {Francesca Rossi},
title = {Abstract Dialectical Frameworks Revisited},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {803--809},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6551},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BrewkaSEWW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/PagnuccoRST13,
author = {Maurice Pagnucco and
David Rajaratnam and
Hannes Strass and
Michael Thielscher},
editor = {Pedro Cabalar and
Tran Cao Son},
title = {Implementing Belief Change in the Situation Calculus and an Application},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
{LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {439--451},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_44},
doi = {10.1007/978-3-642-40564-8\_44},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/PagnuccoRST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tafa/BaumannS13,
author = {Ringo Baumann and
Hannes Strass},
editor = {Elizabeth Black and
Sanjay Modgil and
Nir Oren},
title = {On the Maximal and Average Numbers of Stable Extensions},
booktitle = {Theory and Applications of Formal Argumentation - Second International
Workshop, {TAFA} 2013, Beijing, China, August 3-5, 2013, Revised Selected
papers},
series = {Lecture Notes in Computer Science},
volume = {8306},
pages = {111--126},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-54373-9\_8},
doi = {10.1007/978-3-642-54373-9\_8},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/tafa/BaumannS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EllmauthalerS13,
author = {Stefan Ellmauthaler and
Hannes Strass},
title = {The {DIAMOND} System for Argumentation: Preliminary Report},
journal = {CoRR},
volume = {abs/1312.6140},
year = {2013},
url = {http://arxiv.org/abs/1312.6140},
eprinttype = {arXiv},
eprint = {1312.6140},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EllmauthalerS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/StrassT12,
author = {Hannes Strass and
Michael Thielscher},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {A Language for Default Reasoning about Actions},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {527--542},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_36},
doi = {10.1007/978-3-642-30743-0\_36},
timestamp = {Fri, 15 Jan 2021 08:33:38 +0100},
biburl = {https://dblp.org/rec/conf/birthday/StrassT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/BaumannS12,
author = {Ringo Baumann and
Hannes Strass},
editor = {Bart Verheij and
Stefan Szeider and
Stefan Woltran},
title = {Default Reasoning about Actions via Abstract Argumentation},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2012, Vienna,
Austria, September 10-12, 2012},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {245},
pages = {297--309},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-111-3-297},
doi = {10.3233/978-1-61499-111-3-297},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/comma/BaumannS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/Munoz-HernandezCS11,
author = {Susana Mu{\~{n}}oz{-}Hern{\'{a}}ndez and
Victor Pablos Ceruelo and
Hannes Strass},
title = {RFuzzy: Syntax, semantics and implementation details of a simple and
expressive fuzzy tool over Prolog},
journal = {Inf. Sci.},
volume = {181},
number = {10},
pages = {1951--1970},
year = {2011},
url = {https://doi.org/10.1016/j.ins.2010.07.033},
doi = {10.1016/J.INS.2010.07.033},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/Munoz-HernandezCS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/PagnuccoRST11,
author = {Maurice Pagnucco and
David Rajaratnam and
Hannes Strass and
Michael Thielscher},
title = {How to Plan When Being Deliberately Misled},
booktitle = {Automated Action Planning for Autonomous Mobile Robots, Papers from
the 2011 {AAAI} Workshop, San Francisco, California, USA, August 7,
2011},
series = {{AAAI} Technical Report},
volume = {{WS-11-09}},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/WS/AAAIW11/paper/view/3821},
timestamp = {Tue, 05 Sep 2023 08:59:27 +0200},
biburl = {https://dblp.org/rec/conf/aaai/PagnuccoRST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BaumannBSTZ10,
author = {Ringo Baumann and
Gerhard Brewka and
Hannes Strass and
Michael Thielscher and
Vadim Zaslawski},
editor = {Fangzhen Lin and
Ulrike Sattler and
Miroslaw Truszczynski},
title = {State Defaults and Ramifications in the Unifying Action Calculus},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Twelfth International Conference, {KR} 2010, Toronto, Ontario,
Canada, May 9-13, 2010},
publisher = {{AAAI} Press},
year = {2010},
url = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1247},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BaumannBSTZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/StrassT10,
author = {Hannes Strass and
Michael Thielscher},
editor = {Andrei Voronkov and
Geoff Sutcliffe and
Matthias Baaz and
Christian G. Ferm{\"{u}}ller},
title = {Default Reasoning in Action Domains with Conditional, Non-Local Effect
Actions},
booktitle = {Short papers for 17th International Conference on Logic for Programming,
Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta,
Indonesia, October 10-15, 2010},
series = {EPiC Series in Computing},
volume = {13},
pages = {58--63},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/xz7v},
doi = {10.29007/XZ7V},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/StrassT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/StrassT09,
author = {Hannes Strass and
Michael Thielscher},
editor = {Ann E. Nicholson and
Xiaodong Li},
title = {Simple Default Reasoning in Theories of Action},
booktitle = {{AI} 2009: Advances in Artificial Intelligence, 22nd Australasian
Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5866},
pages = {31--40},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10439-8\_4},
doi = {10.1007/978-3-642-10439-8\_4},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/StrassT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusflat/StrassMC09,
author = {Hannes Strass and
Susana Mu{\~{n}}oz{-}Hern{\'{a}}ndez and
Victor Pablos Ceruelo},
editor = {Jo{\~{a}}o Paulo Carvalho and
Didier Dubois and
Uzay Kaymak and
Jo{\~{a}}o Miguel da Costa Sousa},
title = {Operational Semantics for a Fuzzy Logic Programming System with Defaults
and Constructive Answers},
booktitle = {Proceedings of the Joint 2009 International Fuzzy Systems Association
World Congress and 2009 European Society of Fuzzy Logic and Technology
Conference, Lisbon, Portugal, July 20-24, 2009},
pages = {1827--1832},
year = {2009},
url = {http://www.eusflat.org/proceedings/IFSA-EUSFLAT\_2009/pdf/tema\_1827.pdf},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eusflat/StrassMC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwann/Munoz-HernandezCS09,
author = {Susana Mu{\~{n}}oz{-}Hern{\'{a}}ndez and
Victor Pablos Ceruelo and
Hannes Strass},
editor = {Joan Cabestany and
Francisco Sandoval Hern{\'{a}}ndez and
Alberto Prieto and
Juan M. Corchado},
title = {RFuzzy: An Expressive Simple Fuzzy Compiler},
booktitle = {Bio-Inspired Systems: Computational and Ambient Intelligence, 10th
International Work-Conference on Artificial Neural Networks, {IWANN}
2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {5517},
pages = {270--277},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02478-8\_34},
doi = {10.1007/978-3-642-02478-8\_34},
timestamp = {Fri, 06 Dec 2019 09:55:14 +0100},
biburl = {https://dblp.org/rec/conf/iwann/Munoz-HernandezCS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/StrassT09,
author = {Hannes Strass and
Michael Thielscher},
editor = {B{\"{a}}rbel Mertsching and
Marcus Hund and
Muhammad Zaheer Aziz},
title = {On Defaults in Action Theories},
booktitle = {{KI} 2009: Advances in Artificial Intelligence, 32nd Annual German
Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5803},
pages = {298--305},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04617-9\_38},
doi = {10.1007/978-3-642-04617-9\_38},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/StrassT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0903-2188,
author = {Victor Pablos Ceruelo and
Susana Mu{\~{n}}oz{-}Hern{\'{a}}ndez and
Hannes Strass},
title = {Rfuzzy framework},
journal = {CoRR},
volume = {abs/0903.2188},
year = {2009},
url = {http://arxiv.org/abs/0903.2188},
eprinttype = {arXiv},
eprint = {0903.2188},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0903-2188.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-13 21:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
