The following pages link to Jean-François Baget (Q646511):
Displayed 11 items.
- On rules with existential variables: walking the decidability line (Q646515) (← links)
- Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin (Q1653439) (← links)
- (Q2754236) (← links)
- Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis (Q2835863) (← links)
- A Datatype Extension for Simple Conceptual Graphs and Conceptual Graphs Rules (Q3608741) (← links)
- (Q4411130) (← links)
- $$\exists $$ -ASP for Computing Repairs with Existential Ontologies (Q5268421) (← links)
- (Q5282952) (← links)
- Simple Conceptual Graphs and Simple Concept Graphs (Q5757436) (← links)
- Rules Dependencies in Backward Chaining of Conceptual Graphs Rules (Q5757441) (← links)
- Conceptual Structures for Knowledge Creation and Communication (Q5900610) (← links)