Sciweavers

1061 search results - page 19 / 213
» Dependently Sorted Logic
Sort
View
DEON
2004
Springer
15 years 5 months ago
Obligation Change in Dependence Logic and Situation Calculus
Robert Demolombe, Andreas Herzig
ACL
2011
14 years 5 months ago
Learning Dependency-Based Compositional Semantics
Compositional question answering begins by mapping questions to logical forms, but training a semantic parser to perform this mapping typically requires the costly annotation of t...
Percy Liang, Michael I. Jordan, Dan Klein
CADE
2006
Springer
16 years 2 months ago
Automatic Termination Proofs in the Dependency Pair Framework
Jürgen Giesl, Peter Schneider-Kamp, Ren&eacut...