Picture for Emmanuel Papadakis

Emmanuel Papadakis

A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming

Add code
Aug 04, 2020
Viaarxiv icon