Search Sciweavers | Sciweavers

193 search results - page 2 / 39

» A Paraconsistent Higher Order Logic

click to vote

ECSQARU
2007
Springer

121views Automated Reasoning» more ECSQARU 2007»

An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics

13 years 11 months ago

Download www.aifb.uni-karlsruhe.de

Measuring inconsistency in knowledge bases has been recognized as an important problem in many research areas. Most of approaches proposed for measuring inconsistency are based on ...

Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin

claim paper

Read More »

click to vote

BIRTHDAY
2004
Springer

176views Applied Computing» more BIRTHDAY 2004»

Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework

13 years 11 months ago

Download formal.cs.uiuc.edu

Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...

Mark-Oliver Stehr, José Meseguer

claim paper

Read More »

click to vote

CADE
1997
Springer

313views Logical Reasoning» more CADE 1997»

Nuprl-Light: An Implementation Framework for Higher-Order Logics

13 years 9 months ago

Download files.metaprl.org

Jason J. Hickey

claim paper

Read More »