Name Card

Full name Familienname, Vorname
Wooldridge, Michael
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-10 of 10 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Diller, Martin ; Haret, Adrian ; Linsbichler, Thomas ; Rümmele, Stefan ; Woltran, Stefan An extension-based approach to belief revision in abstract argumentationKonferenzbeitrag Inproceedings 2015
2Haret, Adrian ; Rümmele, Stefan ; Woltran, Stefan Merging in the Horn FragmentKonferenzbeitrag Inproceedings 2015
3Pfandler, Andreas ; Sallinger, Emanuel Distance-Bounded Consistent Query AnsweringKonferenzbeitrag Inproceedings 2015
4Elkind, Edith ; Lackner, Martin Structure in Dichotomous PreferencesKonferenzbeitrag Inproceedings 2015
5de Haan, Ronald ; Kronegger, Martin ; Pfandler, Andreas Fixed-parameter Tractable Reductions to SAT for PlanningKonferenzbeitrag Inproceedings 2015
6Dusberger, Frederico ; Abseher, Michael ; Musliu, Nysret ; Woltran, Stefan Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine LearningKonferenzbeitrag Inproceedings 2015
7Pfandler, Andreas ; Rümmele, Stefan ; Wallner, Johannes Peter ; Woltran, Stefan On the Parameterized Complexity of Belief RevisionKonferenzbeitrag Inproceedings 2015
8Niemelä, Ilkka ; Janhunen, Tomi ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans On Testing Answer-Set ProgramsKonferenzbeitrag Inproceedings 2010
9Heymans, Stijn ; Korf, Roman ; Erdmann, Michael ; Puehrer, Joerg ; Eiter, Thomas F-Logic#: Loosely Coupling F-Logic Rules and OntologiesKonferenzbeitrag Inproceedings 2010
10Heymans, Stijn ; Eiter, Thomas ; Xiao, Guohui Tractable Reasoning with DL-Programs over Datalog-rewritable Description LogicsKonferenzbeitrag Inproceedings 2010