Sofie De Clercq

Contact


Ghent University
Dept. of Applied Mathematics, Computer Science & Statistics
Krijgslaan 281 (Building S9, Room 40.09.120.031)
9000 Gent
Belgium

Phone: +32 9 264.47.65
E-mail: SofieR.DeClercq@UGent.be

Short biography


Sofie De Clercq graduated as a Master of Science in Mathematics at Ghent University in 2012. Since August 2012 she is working on a joined project between Ghent University and the Vrije Universiteit Brussels, financed by FWO Flanders (fund for scientific research). Answer set programming, representation of and reasoning about knowledge and matching problems are part of her research field.

Publications

Papers in International Journals Listed in SCI - Science Citation Index

  1. Exact and Heuristic Methods for Solving Boolean Games [PDF]
    Sofie De Clercq, Kim Bauters, Steven Schockaert, Mihail Mihaylov, Ann Nowé, Martine De Cock
    (2015) Autonomous Agents and Multi-Agent Systems, 10.1007/s10458-015-9313-5

  2. Solving Stable Matching Problems using Answer Set Programming [PDF]
    Sofie De Clercq, Steven Schockaert, Martine De Cock, Ann Nowé
    (2016) Theory and Practice of Logic Programming, volume 16, Special issue 03, pp. 247-268

Papers in Proceedings

  1. Modeling Stable Matching Problems with Answer Set Programming [PDF]
    Sofie De Clercq, Steven Schockaert, Martine De Cock, Ann Nowé
    (2013) Proc. RuleML '13, Lecture Notes in Computer Science. 8035. p.68-83

  2. Decentralized computation of Pareto optimal pure Nash equilibria of Boolean games with privacy concerns [PDF]
    Sofie De Clercq, Kim Bauters, Steven Schockaert, Mihail Mihaylov, Martine De Cock, Ann Nowé
    (2014) Proc. ICAART '14 Vol. 2. p.50-59 (on the shortlist for Best Student Paper Award)

  3. Using Answer Set Programming for Solving Boolean Games [PDF]
    Sofie De Clercq, Kim Bauters, Steven Schockaert, Martine De Cock, Ann Nowé
    (2014) Proc. KR '14 p.602-605

  4. Possibilistic Boolean Games: Strategic Reasoning under Incomplete Information [PDF]
    Sofie De Clercq, Steven Schockaert, Martine De Cock, Ann Nowé
    (2014) Proc. JELIA '14 p.196-209

  5. Multilateral negotiation in Boolean games with incomplete information using generalized possibilistic logic [PDF]
    Sofie De Clercq, Steven Schockaert, Ann Nowé, Martine De Cock
    (2015) Proc. IJCAI '15 p.2890-2896

  6. Formalizing Commitment-based Deals in Boolean Games
    Sofie De Clercq, Steven Schockaert, Ann Nowé, Martine De Cock
    (2016) Proc. ECAI '16

Abstracts

  1. Reasoning about Knowledge with Fuzzy Modal Epistemic Logic
    Sofie De Clercq, Marjon Blondeel, Martine De Cock
    Workshop on Logic Engineering (LogE2012), 28 February 2012, Vrije Universiteit Brussel

  2. Modelling variants of the Stable Marriage Problem with Communicating Answer Set Programming [slides] [abstract]
    Sofie De Clercq, Steven Schockaert, Martine De Cock, Ann Nowé
    Workshop on Logic Engineering (LogE2012bis), 21 December 2012, Ghent University

  3. A Multilateral Negotiation Protocol in Boolean Games with Incomplete Information using Generalized Possibilistic Logic [slides] [abstract]
    Sofie De Clercq, Steven Schockaert, Ann Nowé, Martine De Cock
    Workshop on Logic Engineering (LogE2015), 24 June 2015, Ghent University

Online Appendices

  1. Formalizing Commitment-based Deals in Boolean Games (Proofs) [PDF]
    Sofie De Clercq, Steven Schockaert, Ann Nowé, Martine De Cock
    2016

Theses

  1. Reasoning about Knowledge using Fuzzy Modal Epistemic Logic [PDF]
    Sofie De Clercq
    Master Thesis, Universiteit Gent, 2012

Implementations

  1. Boolean Games solver

Conferences

  1. 7th International Web Rule Symposium (RuleML '13), July 11-13, 2013, Seattle, Washington, US
  2. 27th AAAI Conference on Artificial Intelligence (AAAI '13), July 14–18, 2013, Bellevue, Washington, US
  3. 6th International Conference on Agents and Artificial Intelligence (ICAART '14), March 6-8, 2014, ESEO, Angers, Loire Valley, France
  4. 13th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS '14), May 5-9, 2014, Paris, France
  5. 14th International Conference on Principles of Knowledge Representation and Reasoning (KR '14), Vienna Summer of Logic (VSL), July 20-24, 2014, Vienna, Austria
  6. 14th European Conference on Logics in Artificial Intelligence (JELIA '14), September 24-26, 2014, Funchal, Madeira, Portugal
  7. 24th International Joint Conference on Artificial Intelligence (IJCAI '15), July 25-31, 2015, Buenos Aires, Argentina
  8. 22nd European Conference on Artificial Intelligence (ECAI '15), August 29 - September 2, 2015, The Hague, the Netherlands

Summer Schools and Workshops

  1. 9th ReasoningWeb Summer School (RW '13), July 30 - August 2, 2013, Mannheim, Germany
  2. 7th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS '14), May 5, 2014, Paris, France
  3. EpiCenter Spring Course in Epistemic Game Theory, Maastricht University, June 8–19, 2015, Maastricht, the Netherlands
Website Computational Web Intelligence TeamComputational Web Intelligence