The Next 700 Semantics: A Research Challenge.

Shriram Krishnamurthi Benjamin S. Lerner Liam Elberty

Published in: SNAPL (2019)

Keyphrases

formal semantics
logic programming
conceptual graphs
semantic information
operational semantics
update semantics
model theoretic
semantic representation
decision trees
real time
logic programs
deductive databases
video sequences
website
logical framework
real world
database