Functorial Semantics for Partial Theories.

Ivan Di Liberti Fosco Loregiàn Chad Nester Pawel Sobocinski

Published in: CoRR (2020)

Keyphrases

formal semantics
general theory
theoretical framework
semantic information
cp nets
logic programming
partial information
search engine
natural language
multi agent systems
relational databases
decision theory
operational semantics
reasoning mechanisms
logical formulas
argumentation semantics