Refine
Year of publication
Document Type
- Article (38)
- Postprint (5)
- Conference Proceeding (1)
- Doctoral Thesis (1)
- Other (1)
Language
- English (46)
Keywords
- answer set programming (6)
- Answer Set Programming (4)
- Answer set programming (4)
- bioinformatics (2)
- consistency (2)
- diagnosis (2)
- loop formulas (2)
- stable model semantics (2)
- unfounded sets (2)
- Algorithmen (1)