Search Sciweavers | Sciweavers

10568 search results - page 374 / 2114

» Computer Intelligence and Formalization

172

Voted

WOLLIC
2009
Springer

117views Artificial Intelligence» more WOLLIC 2009»

Knowledge, Time, and Logical Omniscience

16 years 1 months ago

Download math.gc.cuny.edu

Ren-June Wang

claim paper

Read More »

135

click to vote

WOLLIC
2009
Springer

140views Artificial Intelligence» more WOLLIC 2009»

Observational Completeness on Abstract Interpretation

16 years 1 months ago

Download www.sci.unich.it

Gianluca Amato, Francesca Scozzari

claim paper

Read More »

125

click to vote

WOLLIC
2007
Springer

106views Artificial Intelligence» more WOLLIC 2007»

Continuation Semantics for Symmetric Categorial Grammar

16 years 24 days ago

Download www.cos.ufrj.br

Raffaella Bernardi, Michael Moortgat

claim paper

Read More »

116

Voted

WOLLIC
2007
Springer

81views Artificial Intelligence» more WOLLIC 2007»

Hybrid Logical Analyses of the Ambient Calculus

16 years 24 days ago

Download www.cos.ufrj.br

Thomas Bolander, René Rydhof Hansen

claim paper

Read More »

136

click to vote

WOLLIC
2007
Springer

83views Artificial Intelligence» more WOLLIC 2007»

Pregroup Calculus as a Logic Functor

16 years 24 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers