The following pages link to Yann Loyer (Q1039574):
Displaying 15 items.
- Approximate well-founded semantics, query answering and generalized normal logic programs over lattices (Q1039575) (← links)
- Parametrized semantics of logic programs -- a unifying framework (Q1884892) (← links)
- Any-world assumptions in logic programming (Q2566297) (← links)
- (Q4218853) (← links)
- (Q4409157) (← links)
- (Q4536447) (← links)
- (Q4708597) (← links)
- (Q4708924) (← links)
- (Q4812987) (← links)
- (Q4941889) (← links)
- Logic Programming (Q5191498) (← links)
- Hypothesis-based semantics of logic programs in multivalued logics (Q5277706) (← links)
- Mathematical Foundations of Computer Science 2004 (Q5311125) (← links)
- Mathematical Foundations of Computer Science 2003 (Q5431342) (← links)
- Epistemic foundation of stable model semantics (Q5492048) (← links)
