2722 search results - page 396 / 545 » Automating Language Evolution |
151
click to vote
CSL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. By introducing a parallel extension rule that is aware of independence of the introduced extension variables, a calculus for quantified propositional logic is obtained w...
161
click to vote
CSL
2007
Springer
16 years 1 months ago
2007
Springer
A game semantics of the (−−∗, →)-fragment of the logic of bunched implications, BI, is presented. To date, categorical models of BI have been restricted to two kinds: funct...
172
click to vote
ECML
2007
Springer
16 years 1 months ago
2007
Springer
A general game player is an agent capable of taking as input a description of a game’s rules in a formal language and proceeding to play without any subsequent human input. To do...
162
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
Automated event extraction remains a very difficult challenge requiring information analysts to manually identify key events of interest within massive, dynamic data. Many techniq...
165
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
We propose a novel technique that maps decision problems in WS1S (weak monadic second-order logic with n successors) to the problem of query evaluation of Complex-value Datalog que...