The following pages link to Shahab Tasharrofi (Q2835875):
Displayed 5 items.
- Writing Declarative Specifications for Clauses (Q2835876) (← links)
- Speed-Up Techniques for Negation in Grounding (Q3066087) (← links)
- A Semantic Account for Modularity in Multi-language Modelling of Search Problems (Q3172899) (← links)
- Stable-unstable semantics: Beyond NP with normal logic programs (Q4593043) (← links)
- PBINT, A Logic for Modelling Search Problems Involving Arithmetic (Q4933335) (← links)