Distinctive features of the contradiction separation based dynamic automated deduction

Yang Xu, Shuwei Chen, Jun Liu, Xiaomei Zhong, Xingxing He

Research output: Contribution to conferencePaperpeer-review

Original languageEnglish
Pages725-732
Number of pages8
DOIs
Publication statusPublished - 21 Aug 2018
Event13th International FLINS Conference (FLINS 2018) on Data Science and Knowledge Engineering for Sensing Decision Support (FLINS 2018) - Belfast, Northern Ireland, UK, 21 – 24 August 2018, Belfast, United Kingdom
Duration: 21 Aug 201824 Aug 2018

Conference

Conference13th International FLINS Conference (FLINS 2018) on Data Science and Knowledge Engineering for Sensing Decision Support (FLINS 2018)
Abbreviated titleFLINS2018
CountryUnited Kingdom
CityBelfast
Period21/08/1824/08/18

Keywords

  • Resolution
  • automated deduction
  • contradiction
  • contradiction separation

Cite this