Travelled to:1 × Germany
1 × USA
1 × United Kingdom
Collaborated with:R.Rolland ∅
Talks about:circumscript (3) equival (2) preferenti (1) smallest (1) proposit (1) pointwis (1) sometim (1) formula (1) complet (1) predic (1)
Person: Yves Moinard
DBLP: Moinard:Yves
Contributed to:
2000
1994
1988Wrote 3 papers:
- CL-2000-MoinardR #finite #set
- Smallest Equivalent Sets for Finite Propositional Formula Circumscription (YM, RR), pp. 897–911.
- KR-1994-MoinardR
- Preferential Entailments for Circumscriptions (YM, RR), pp. 461–472.
- JICSCP-1988-Moinard88
- Pointwise Circumscription is Equivalent to Predicate Completion (Sometimes) (YM), pp. 1097–1105.