The following pages link to Marco Calautti (Q2035469):
Displaying 8 items.
- Semi-oblivious chase termination: the sticky case (Q2035470) (← links)
- Query answering over inconsistent knowledge bases: a probabilistic approach (Q2084950) (← links)
- Preference-based inconsistency-tolerant query answering under existential rules (Q2093372) (← links)
- Checking termination of bottom-up evaluation of logic programs with function symbols (Q4593017) (← links)
- Using linear constraints for logic program termination analysis (Q4593032) (← links)
- Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols (Q4608717) (← links)
- (Q5091130) (← links)
- Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks (Q6080638) (← links)
