Partial Proof Trees, Resource Sensitive Logics, and Syntactic Constraints.

Aravind K. Joshi Seth Kulick

Published in: LACL (1996)

Keyphrases

resource constraints
expressive power
constraint satisfaction
proof theoretic
decision trees
natural language
tree structure
resource allocation
proof theory
semantic constraints
sequent calculi
knowledge base
tree automata
decision procedures
constraint networks
constrained optimization
theorem prover
modal logic