The following pages link to Ilias Tachmazidis (Q2931252):
Displaying 6 items.
- Efficient Computation of the Well-Founded Semantics over Big Data (Q2931253) (← links)
- (Q3455609) (← links)
- A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming (Q4559799) (← links)
- Rethinking Defeasible Reasoning: A Scalable Approach (Q4957204) (← links)
- A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming (Q5140008) (← links)
- (Q5880835) (← links)