Automated Reasoning | Sciweavers

The generation of efﬁcient code for Prolog programs requires sophisticated code transformation and optimization systems. Much of the recent work in this area has focussed on hig...

Saumya K. Debray

claim paper

Read More »

16

click to vote

ICLP
1989
Springer

79views Automated Reasoning» more ICLP 1989»

Constraint Hierarchies and Logic Programming

14 years 3 months ago

Download reference.kfupm.edu.sa

Alan Borning, Michael J. Maher, Amy Martindale, Mo...

claim paper

Read More »

46

click to vote

TPHOL
1992
IEEE

110views Automated Reasoning» more TPHOL 1992»

Modelling Generic Hardware Structures by Abstract Datatypes

14 years 3 months ago

Download rsg.informatik.uni-kl.de

Klaus Schneider, Ramayya Kumar, Thomas Kropf

claim paper

Read More »

26

click to vote

TPHOL
1992
IEEE

74views Automated Reasoning» more TPHOL 1992»

The HOL Logic Extended with Quantification over Type Variables

14 years 3 months ago

Download www.comlab.ox.ac.uk

The HOL system is an LCF-style mechanized proof-assistant for conducting proofs in higher order logic. This paper discusses a proposal to extend the primitive basis of the logic un...

Thomas F. Melham

claim paper

Read More »

43

click to vote

TARK
1992
Springer

127views Automated Reasoning» more TARK 1992»

Topological Reasoning and The Logic of Knowledge

14 years 3 months ago

Download www.cs.indiana.edu

We present a bimodal logic suitable for formalizing reasoning about points and sets, and also states of the world and views about them. The most natural interpretation of the logi...

Lawrence S. Moss, Rohit Parikh

claim paper

Read More »

30

click to vote

TARK
1992
Springer

82views Automated Reasoning» more TARK 1992»

Common Knowledge

14 years 3 months ago

Download proboscis.org.uk

John Geanakoplos

claim paper