Name Card

Full name Familienname, Vorname
Bessiere, Christian
 

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Cuteri, Bernardo ; Dodaro, Carmine ; Ricca, Francesco ; Schüller, Peter Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become PropagatorsKonferenzbeitrag Inproceedings 2021
2Shen, Yi-Dong ; Eiter, Thomas Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract)Konferenzbeitrag Inproceedings 2021
3Xiao, Guohui ; Ma, Yue Inconsistency Measurement based on Variables in Minimal Unsatisfiable SubsetsKonferenzbeitrag Inproceedings 2012
4Lackner, Martin ; Pfandler, Andreas Fixed-Parameter Algorithms for Closed World ReasoningKonferenzbeitrag Inproceedings 2012