Desirable sets of things and their logic.

Gert de Cooman Arthur Van Camp Jasper De Bock

Published in: ISIPTA (2023)

Keyphrases

decision trees
machine learning
logic programming
modal logic
truth values
social networks
case study
search algorithm
natural language
classical logic
digital circuits
set theoretic
deontic logic
asynchronous circuits
linear logic
definite clause