Name Card

Full name Familienname, Vorname
Doherty, Patrick
 

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Xiao, Guohui ; Ma, Yue Inconsistency Measurement based on Variables in Minimal Unsatisfiable SubsetsKonferenzbeitrag Inproceedings 2012
2Lackner, Martin ; Pfandler, Andreas Fixed-Parameter Algorithms for Closed World ReasoningKonferenzbeitrag Inproceedings 2012
3Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Traxler, Patrick ; Woltran, Stefan Replacements in Non-Ground Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2006
4Lukasiewicz, Thomas ; Schellhase, Joerg Variable-Strength Conditional Preferences for Matchmaking in Description LogicsKonferenzbeitrag Inproceedings 2006