A fast logically-complete preferential reasoner for the assessment of critical situations

von Grégoire, Éric
Veröffentlicht in Soft computing for risk evaluation and management (2013)

Special issue: Managing and reasoning in the presence of inconsistency

Veröffentlicht 2011

Using local search to find MSSes and MUSes

von Grégoire, Éric
Veröffentlicht in European journal of operational research (2009)

Special issue on A. I. applications of SAT technology

Veröffentlicht 2018

Special issue on CSP technologies in artificial intelligence : [... SAT and CSP technologies track at IEEE ICTAI 2013]

Veröffentlicht 2015

2010 22nd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2010) : Arras, France, 27 - 29 October 2010 ; [proceedings]

2010 22nd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2010) : Arras, France, 27 - 29 October 2010; [proceedings]

Veröffentlicht 2010

2010 22nd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2010) : Arras, France, 27 - 29 October 2010; [proceedings]

Veröffentlicht 2010

Special issue on selected papers from the 22nd Annual IEEE International Conference on Tools with Artificial Intelligence (ICTAI-2010) : [Arras, France, October 27 - 29, 2010]

Veröffentlicht 2011