Dealing with Biology Systems in the Framework of Answer Set Programming.

Tarek Khaled Belaid Benhamou

Published in: KES (2020)

Keyphrases

answer set programming
logic programs
modulo theories
answer sets
expert systems
logic programming
answer set solvers
database
search space
knowledge representation
search strategy
propositional logic
reasoning tasks