Non Normal Logics: Semantic Analysis and Proof Theory.

Jinsheng Chen Giuseppe Greco Alessandra Palmigiano Apostolos Tzimoulis

Published in: WoLLIC (2019)

Keyphrases

proof theory
semantic analysis
default reasoning
proof theoretic
natural language
natural language processing
semantic information
automated reasoning
reasoning problems
database
databases
artificial intelligence