Search Sciweavers | Sciweavers

3658 search results - page 75 / 732

» The logic of proofs, semantically

click to vote

FLAIRS
2001

104views Artificial Intelligence» more FLAIRS 2001»

Transformation of WordNet Glosses into Logic Forms

13 years 10 months ago

Download www.aaai.org

This paper presents a methodand implementation resuits for the transformation of WordNetglosses into logic forms. Theglosses, currently expressed in English are a rich source of w...

Dan I. Moldovan, Vasile Rus

claim paper

Read More »

click to vote

TBILLC
2007
Springer

119views Natural Language Processing» more TBILLC 2007»

Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach

14 years 3 months ago

Download www.illc.uva.nl

Alexei Y. Muravitsky

claim paper

Read More »

click to vote

MKM
2005
Springer

78views Information Technology» more MKM 2005»

Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity

14 years 2 months ago

Download www.informatik.uni-bremen.de

Serge Autexier, Armin Fiedler

claim paper

Read More »

click to vote

CSL
2004
Springer

98views Automated Reasoning» more CSL 2004»

On Proof Nets for Multiplicative Linear Logic with Units

14 years 2 months ago

Download www.loria.fr

Lutz Straßburger, François Lamarche

claim paper

Read More »

click to vote

ECAI
2004
Springer

77views Artificial Intelligence» more ECAI 2004»

A Tabulation Proof Procedure for Residuated Logic Programming

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers