Name Card

Full name Familienname, Vorname
Sattler, Ulrike
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-14 of 14 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bozzato, Loris ; Eiter, Thomas ; Serafini, Luciano Reasoning with Justifiable Exceptions in $$\mathcal{E}\mathcal{L}_\bot $$ Contextualized Knowledge RepositoriesBuchbeitrag Book Contribution 2019
2Ciabattoni, Agata ; Rusnok, Pavel On the Classical Content of Monadic G with Involutive Negation and its Application to a Fuzzy Medical Expert SystemsKonferenzbeitrag Inproceedings2010
3Oikarinen, Emilia ; Woltran, Stefan Characterizing Strong Equivalence for Argumentation FrameworksKonferenzbeitrag Inproceedings2010
4Dvorak, Wolfgang ; Pichler, Reinhard ; Woltran, Stefan Towards Fixed-Parameter Tractable Algorithms for ArgumentationKonferenzbeitrag Inproceedings2010
5Pichler, Reinhard ; Rümmele, Stefan ; Szeider, Stefan ; Woltran, Stefan Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not EnoughKonferenzbeitrag Inproceedings2010
6Brewka, Gerd ; Woltran, Stefan Abstract Dialectical FrameworksKonferenzbeitrag Inproceedings2010
7Ortiz de la Fuente, M.Magdalena ; Rudolph, Sebastian ; Simkus, Mantas Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2Konferenzbeitrag Inproceedings 2010
8Eiter, Thomas ; Fink, Michael ; Moura, Joao Paracoherent Answer Set ProgrammingKonferenzbeitrag Inproceedings 2010
9Xiao, Guohui ; Lin, Zuoquan ; Ma, Yue ; Qi, Guilin Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT SolversKonferenzbeitrag Inproceedings 2010
10Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Distributed Nonmonotonic Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
11Lukasiewicz, Thomas ; Ragone, Azzurra A Combination of Boolean Games with Description Logics for Automated Multi-Attribute NegotiationKonferenzbeitrag Inproceedings 2009
12Cali, Andrea ; Gottlob, Georg ; Lukasiewicz, Thomas Tractable Query Answering over Ontologies with Datalog+-Konferenzbeitrag Inproceedings 2009
13Ortiz de la Fuente, M.Magdalena ; Calvanese, Diego ; Eiter, Thomas Data Complexity of Answering Unions of Conjunctive Queries in SHIQKonferenzbeitrag Inproceedings 2006
14Eiter, Thomas ; Ianni, Giovambattista ; Polleres, Axel Florian ; Schindlauer, Roman ; Tompits, Hans Reasoning with Rules and OntologiesKonferenzbeitrag Inproceedings2006