Sciweavers

8337 search results - page 37 / 1668

» Reasoning With Characteristic Models

17

KR
1994
Springer

101views Automated Reasoning» more KR 1994»

Belief Ascription and Mental-Level Modelling

14 years 17 days ago

Belief Ascription and Mental-Level Modelling

Download u.cs.biu.ac.il

Ronen I. Brafman, Moshe Tennenholtz

claim paper

Read More »

34

TPHOL
1992
IEEE

110views Automated Reasoning» more TPHOL 1992»

Modelling Generic Hardware Structures by Abstract Datatypes

14 years 16 days ago

Modelling Generic Hardware Structures by Abstract Datatypes

Download rsg.informatik.uni-kl.de

Klaus Schneider, Ramayya Kumar, Thomas Kropf

claim paper

Read More »

19

LICS
1990
IEEE

73views Automated Reasoning» more LICS 1990»

A Per Model of Polymorphism and Recursive Types

14 years 15 days ago

A Per Model of Polymorphism and Recursive Types

Download www.era.lib.ed.ac.uk

Martín Abadi, Gordon D. Plotkin

claim paper

Read More »

20

ICLP
2010
Springer

112views Automated Reasoning» more ICLP 2010»

Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited

14 years 11 days ago

Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited

Download drops.dagstuhl.de

Tomi Janhunen

claim paper

Read More »

21

CADE
2001
Springer

105views Logical Reasoning» more CADE 2001»

A Model-Based Completeness Proof of Extended Narrowing and Resolution

14 years 4 days ago

A Model-Based Completeness Proof of Extended Narrowing and Resolution

Download hal.archives-ouvertes.fr

Jürgen Stuber

claim paper

Read More »

« Prev « First page 37 / 1668 Last » Next »