Transition of Consistency and Satisfiability under Language Extensions.

Julian J. Schlöder Peter Koepke

Published in: Formaliz. Math. (2012)

Keyphrases

language learning
programming language
terminological reasoning
np complete
operational semantics
natural language
satisfiability problem
aggregate functions
search algorithm
efficient implementation
constraint networks
language processing
consistency checking
presburger arithmetic