Search Sciweavers | Sciweavers

3244 search results - page 56 / 649

» Extensions to Description Logics

148

click to vote

MKM
2009
Springer

106views Information Technology» more MKM 2009»

A Logically Saturated Extension of

16 years 19 days ago

Download www.cs.ru.nl

This paper presents a proof language based on the work of Sacerdoti Coen [1,2], Kirchner [3] and Autexier [4] on ¯λµ˜µ, a calculus introduced by Curien and Herbelin [5,6]. Jus...

Lionel Elie Mamane, Herman Geuvers, James McKinna

claim paper

Read More »

126

click to vote

ISCAS
1993
IEEE

77views Hardware» more ISCAS 1993»

Generalized Delay Optimization of Resistive Interconnections through an Extension of Logical Effort

15 years 10 months ago

Download www.suryatech.com

Kumar Venkat

claim paper

Read More »

136

click to vote

ASP
2001
Springer

95views Automated Reasoning» more ASP 2001»

On the Epistemological foundations of Logic Programming and its Extensions

15 years 9 months ago

Download www.aaai.org

Marc Denecker

claim paper

Read More »

111

click to vote

ICCS
2000
Springer

103views Applied Computing» more ICCS 2000»

A Contextual-Logic Extension of TOSCANA

15 years 9 months ago

Download www.itee.uq.edu.au

Peter W. Eklund, Bernd Groh, Gerd Stumme, Rudolf W...

claim paper

Read More »

139

click to vote

ISMIS
2000
Springer

68views Artificial Intelligence» more ISMIS 2000»

A Simple and Tractable Extension of Situation Calculus to Epistemic Logic

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers