Sciweavers

4617 search results - page 15 / 924
» Automation of Diagrammatic Reasoning
Sort
View
103
Voted
CORR
2006
Springer
111views Education» more  CORR 2006»
15 years 1 months ago
Raisonner avec des diagrammes : perspectives cognitives et computationnelles
ABSTRACT. Reasoning with diagrams: cognitive and computational perspectives. Diagrammatic, analogical or iconic representations are often contrasted with linguistic or logical repr...
Catherine Recanati
70
Voted
LICS
2002
IEEE
15 years 6 months ago
Semantic Subtyping
Alain Frisch, Giuseppe Castagna, Véronique ...
76
Voted
LICS
2002
IEEE
15 years 6 months ago
Separability, Expressiveness, and Decidability in the Ambient Logic
Daniel Hirschkoff, Étienne Lozes, Davide Sa...
81
Voted
LICS
2002
IEEE
15 years 6 months ago
Games on Graphs and Sequentially Realizable Functionals
Martin Hyland, Andrea Schalk