Research Explorer

Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.

Researcher

Kim Bauters

Awards & Distinctions

12 Results

2015

Characterizing and extending answer set semantics using possibility theory

Kim BautersSteven SchockaertMartine De CockDirk Vermeir

A1 Journal Article in THEORY AND PRACTICE OF LOGIC PROGRAMMING

2014

Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions

Kim BautersSteven SchockaertMartine De CockDirk Vermeir

A1 Journal Article in INTERNATIONAL JOURNAL OF APPROXIMATE REASONING

2013

Answer set programs with optional rules: a possibilistic approach

Kim BautersSteven SchockaertMartine De CockDirk Vermeir

Epistemic extensions of answer set programming

Kim BautersMartine De CockDirk VermeirSteven Schockaert

Expressiveness of communication in answer set programming

Kim BautersSteven SchockaertJeroen JanssenDirk VermeirMartine De Cock

A1 Journal Article in THEORY AND PRACTICE OF LOGIC PROGRAMMING

2012

Possible and necessary answer sets of possibilistic answer set programs

Kim BautersSteven SchockaertMartine De CockDirk Vermeir

2011

Communicating ASP and the polynomial hierarchy

Kim BautersSteven SchockaertDirk VermeirMartine De Cock

Modeling negotiation using multi-focused answer sets

Weak and strong disjunction in possibilistic ASP

Kim BautersSteven SchockaertMartine De CockDirk Vermeir

2010

Communicating answer set programs

Kim BautersJeroen JanssenSteven SchockaertMartine De CockDirk Vermeir

Possibilistic answer set programming revisited

Kim BautersSteven SchockaertMartine De CockDirk Vermeir

Towards possibilistic fuzzy answer set programming

Kim BautersSteven SchockaertJeroen JanssenDirk VermeirMartine De Cock