Sciweavers

321 search results - page 3 / 65

» Heterogeneous Reasoning

32

ICCS
1993
Springer

104views Applied Computing» more ICCS 1993»

Heterogeneous Reasoning

14 years 3 months ago

Heterogeneous Reasoning

Download ggww2.stanford.edu

Jon Barwise

claim paper

Read More »

21

JETAI
2006

56views more JETAI 2006»

Models and heterogeneous reasoning

13 years 10 months ago

Models and heterogeneous reasoning

Download mentalmodels.princeton.edu

Philip N. Johnson-Laird

claim paper

Read More »

17

JETAI
2006

43views more JETAI 2006»

Heterogeneous reasoning in learning to model

13 years 10 months ago

Heterogeneous reasoning in learning to model

Download education.indiana.edu

Keith Stenning, Melissa Gresalfi

claim paper

Read More »

35

ENTCS
2008

136views more ENTCS 2008»

Multimodal Separation Logic for Reasoning About Operational Semantics

13 years 11 months ago

Multimodal Separation Logic for Reasoning About Operational Semantics

Download www.cs.princeton.edu

We show how to reason, in the proof assistant Coq, about realistic programming languages using a combination of separation logic and heterogeneous multimodal logic. A heterogeneou...

Robert Dockins, Andrew W. Appel, Aquinas Hobor

claim paper

Read More »

20

ICLP
2005
Springer

93views Automated Reasoning» more ICLP 2005»

A Temporal Programming Language for Heterogeneous Information Systems

14 years 4 months ago

A Temporal Programming Language for Heterogeneous Information Systems

Download www.di.uevora.pt

Vítor Nogueira

claim paper

Read More »

« Prev « First page 3 / 65 Last » Next »