The following pages link to Marie-Laure Mugnier (Q646513):
Displayed 14 items.
- On rules with existential variables: walking the decidability line (Q646515) (← links)
- On the complexity of entailment in existential conjunctive first-order logic with atomic negation (Q714500) (← links)
- Graph-based knowledge representation. Computational foundations of conceptual graphs (Q932109) (← links)
- (Q2754227) (← links)
- Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis (Q2835863) (← links)
- (Q4253837) (← links)
- (Q4411130) (← links)
- On generalization/specialization for conceptual graphs (Q4846732) (← links)
- Characterizing Boundedness in Chase Variants (Q4957209) (← links)
- A Single Approach to Decide Chase Termination on Linear Existential Rules (Q5091131) (← links)
- (Q5282952) (← links)
- Conceptual Structures at Work (Q5313122) (← links)
- Simple Conceptual Graphs with Atomic Negation and Difference (Q5757438) (← links)
- On the k-Boundedness for Existential Rules (Q6104757) (← links)