Search Sciweavers | Sciweavers

217 search results - page 2 / 44

» A Logic for Approximate First-Order Reasoning

click to vote

LICS
1997
IEEE

119views Automated Reasoning» more LICS 1997»

First-Order Logic with Two Variables and Unary Temporal Logic

13 years 9 months ago

Download www.brics.dk

Kousha Etessami, Moshe Y. Vardi, Thomas Wilke

claim paper

Read More »

click to vote

TABLEAUX
2000
Springer

132views Artificial Intelligence» more TABLEAUX 2000»

MSPASS: Modal Reasoning by Translation and First-Order Resolution

13 years 9 months ago

Download www.csc.liv.ac.uk

mspass is an extension of the first-order theorem prover spass, which can be used as a modal logic theorem prover, a theorem prover for description logics and a theorem prover for ...

Ullrich Hustadt, Renate A. Schmidt

claim paper

Read More »

click to vote

LICS
1995
IEEE

111views Automated Reasoning» more LICS 1995»

Complete Proof Systems for First Order Interval Temporal Logic

13 years 9 months ago

Download www.cse.dmu.ac.uk

Bruno Dutertre

claim paper

Read More »

click to vote

LICS
1991
IEEE

122views Automated Reasoning» more LICS 1991»

A First-Order Theory of Types and Polymorphism in Logic Programming

13 years 9 months ago

Download www.cs.sunysb.edu

Michael Kifer, James Wu

claim paper

Read More »

click to vote

CADE
2005
Springer

117views Logical Reasoning» more CADE 2005»

Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures

14 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers