Search Sciweavers | Sciweavers

10568 search results - page 374 / 2114

» Computer Intelligence and Formalization

137

click to vote

WOLLIC
2009
Springer

117views Artificial Intelligence» more WOLLIC 2009»

Knowledge, Time, and Logical Omniscience

15 years 11 months ago

Download math.gc.cuny.edu

Ren-June Wang

claim paper

Read More »

106

click to vote

WOLLIC
2009
Springer

140views Artificial Intelligence» more WOLLIC 2009»

Observational Completeness on Abstract Interpretation

15 years 11 months ago

Download www.sci.unich.it

Gianluca Amato, Francesca Scozzari

claim paper

Read More »

click to vote

WOLLIC
2007
Springer

106views Artificial Intelligence» more WOLLIC 2007»

Continuation Semantics for Symmetric Categorial Grammar

15 years 10 months ago

Download www.cos.ufrj.br

Raffaella Bernardi, Michael Moortgat

claim paper

Read More »

click to vote

WOLLIC
2007
Springer

81views Artificial Intelligence» more WOLLIC 2007»

Hybrid Logical Analyses of the Ambient Calculus

15 years 10 months ago

Download www.cos.ufrj.br

Thomas Bolander, René Rydhof Hansen

claim paper

Read More »

110

click to vote

WOLLIC
2007
Springer

83views Artificial Intelligence» more WOLLIC 2007»

Pregroup Calculus as a Logic Functor

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers