BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Coste-Marquis:Sylvie

Contributed to:

KR 20142014
KR 20122012
KR 20062006
SAT 20052005
KR 20042004
KR 20022002

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.