Domain-specific heuristics are an essential technique for solving
combin...
Since the first conference held in Marseille in 1982, ICLP has been the
...
Answer-Set Programming (ASP) is a powerful and expressive knowledge
repr...
Generalising and re-using knowledge learned while solving one problem
in...
Domain-specific heuristics are an important technique for solving
combin...
The traditional ground-and-solve approach to Answer Set Programming (ASP...
The partner units problem (PUP) is an acknowledged hard benchmark proble...
The best currently known interactive debugging systems rely upon some
me...
Efficient ontology debugging is a cornerstone for many activities in the...
Modern ontology debugging methods allow efficient identification and
loc...
Reconfiguration is an important activity for companies selling configura...
Effective debugging of ontologies is an important prerequisite for their...
Debugging of ontologies is an important prerequisite for their wide-spre...