Login / Signup
A Rice's Theorem for Abstract Semantics.
Paolo Baldan
Francesco Ranzato
Linpeng Zhang
Published in:
CoRR (2021)
Keyphrases
</>
formal semantics
propositional dynamic logic
logic programming
search engine
high level
real time
natural language
logical language
operational semantics
schema mappings
higher level
xml documents
relational databases
bayesian networks
case study
artificial intelligence
learning algorithm
genetic algorithm
databases