Travelled to:1 × Austria
1 × Canada
1 × France
1 × Italy
1 × United Kingdom
Collaborated with:P.Marquis D.L.Berre S.Konieczny J.Lang C.Devred F.Letombe J.Mailly M.A.Ouali P.Liberatore H.Fargier
Talks about:argument (4) framework (2) quantifi (2) formula (2) paraconsist (1) represent (1) constrain (1) succinct (1) proposit (1) languag (1)
Person: Sylvie Coste-Marquis
DBLP: Coste-Marquis:Sylvie
Contributed to:
201420122006
200520042002Wrote 7 papers:
- KR-2014-Coste-MarquisKMM #on the
- On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses (SCM, SK, JGM, PM).
- KR-2012-Coste-MarquisKMO #framework
- Weighted Attacks in Argumentation Frameworks (SCM, SK, PM, MAO).
- KR-2006-Coste-MarquisDM #framework
- Constrained Argumentation Frameworks (SCM, CD, PM), pp. 112–122.
- KR-2006-Coste-MarquisFLBM #policy #quantifier #representation
- Representing Policies for Quantified Boolean Formulae (SCM, HF, JL, DLB, PM), pp. 286–297.
- SAT-2005-Coste-MarquisBL #branch #heuristic #quantifier
- A Branching Heuristics for Quantified Renamable Horn Formulas (SCM, DLB, FL), pp. 393–399.
- KR-2004-Coste-MarquisLLM #representation
- Expressive Power and Succinctness of Propositional Languages for Preference Representation (SCM, JL, PL, PM), pp. 203–212.
- KR-2002-Coste-MarquisM #complexity
- Complexity Results for Paraconsistent Inference Relations (SCM, PM), pp. 61–72.