6355 search results - page 105 / 1271 » From Logic to Games |
148
click to vote
ENTCS
2006
15 years 6 months ago
2006
We describe an ongoing project in which we attempt to describe a neutral approach to proof and refutation. In particular, we present a language of neutral expressions which contai...
144
click to vote
TACAS
2007
Springer
16 years 15 days ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
136
click to vote
COLING
1996
15 years 7 months ago
1996
This paper presents a method for generating multiple paraphrases from ambiguous logical forms. The method is based on a chart structure with edges indexed on semantic information ...
177
click to vote
ACL
2009
15 years 4 months ago
2009
We consider the problem of learning context-dependent mappings from sentences to logical form. The training examples are sequences of sentences annotated with lambda-calculus mean...
435
click to vote
LICS
2012
IEEE
13 years 8 months ago
2012
IEEE
—A novel countermodel-producing decision procedure that applies to several multi-modal logics, both intuitionistic and classical, is presented. Based on backwards search in label...