Name Card

Full name Familienname, Vorname
Herzig, Andreas
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-5 of 5 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kuznets, Roman ; Prosperi, Laurent ; Schmid, Ulrich ; Fruzsa, Krisztina Epistemic Reasoning with Byzantine-Faulty AgentsKonferenzbeitrag Inproceedings 2019
2Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Weidinger, Gerald ; Weinzierl, Antonius OMiGA : An Open Minded Grounding On-The-Fly Answer Set SolverKonferenzbeitrag Inproceedings 2012
3Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter Exploiting Unfounded Sets for HEX-Program EvaluationKonferenzbeitrag Inproceedings 2012
4Beck, Harald ; Eiter, Thomas ; Krennwallner, Thomas Inconsistency Management for Traffic Regulations: Formalization and Complexity ResultsKonferenzbeitrag Inproceedings 2012
5Faber, Wolfgang ; Woltran, Stefan Manifold Answer-Set Programs for Meta-ReasoningKonferenzbeitrag Inproceedings2009