Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics.

Ximeng Li Qianying Zhang Guohui Wang Zhiping Shi Yong Guan

Published in: SETTA (2021)

Keyphrases

semantic information
objective function
logic programming
probabilistic knowledge
complete axiomatization
data sets
deductive databases
multi step
conceptual model
big data
default reasoning
qualitative reasoning
abstract argumentation