Login / Signup
SEVENTEENTH ASIAN LOGIC CONFERENCE AN OFFICIAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Nankai University Tianjin, China October 9-13, 2023.
Published in:
Bull. Symb. Log. (2024)
Keyphrases
</>
logic programming
hong kong
modal logic
automated reasoning
selected papers
predicate logic
classical logic
data sets
e learning
machine learning
case study
international workshop
advances in artificial intelligence
defeasible logic
asynchronous circuits