Search Sciweavers | Sciweavers

11436 search results - page 23 / 2288

» Modeling Real Reasoning

click to vote

TPHOL
1998
IEEE

91views Automated Reasoning» more TPHOL 1998»

Formalizing Basic First Order Model Theory

14 years 3 months ago

Download www.cl.cam.ac.uk

John Harrison

claim paper

Read More »

click to vote

KR
1998
Springer

133views Automated Reasoning» more KR 1998»

The Complexity of Model Checking in Modal Event Calculi with Quantifiers

14 years 3 months ago

Download users.dimi.uniud.it

Iliano Cervesato, Massimo Franceschet, Angelo Mont...

claim paper

Read More »

click to vote

LICS
1996
IEEE

95views Automated Reasoning» more LICS 1996»

Order-Incompleteness and Finite Lambda Models (Extended Abstract)

14 years 3 months ago

Download www.mathstat.dal.ca

Peter Selinger

claim paper

Read More »

click to vote

LICS
1996
IEEE

121views Automated Reasoning» more LICS 1996»

A Fully Abstract Domain Model for the pi-Calculus

14 years 3 months ago

Download homepages.inf.ed.ac.uk

Ian Stark

claim paper

Read More »

click to vote

KR
1994
Springer

101views Automated Reasoning» more KR 1994»

Belief Ascription and Mental-Level Modelling

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers