Search Sciweavers | Sciweavers

1128 search results - page 5 / 226

» Classical Natural Deduction

click to vote

DEDUCTIVE
1993

140views Database» more DEDUCTIVE 1993»

AMOS: A Natural Language Parser Implemented as a Deductive Database in LOLA

13 years 8 months ago

Download dbis-informatik.uibk.ac.at

In this paper we present the set-oriented bottom-up parsing system AMOS which is a major application of the deductive database system LOLA. AMOS supports the morpho-syntactical an...

Günther Specht, Burkhard Freitag

claim paper

Read More »

click to vote

ESOP
2005
Springer

155views Programming Languages» more ESOP 2005»

Forward Slicing by Conjunctive Partial Deduction and Argument Filtering

14 years 29 days ago

Download users.dsic.upv.es

Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) aﬀect the values computed at some point of interest. Within imperat...

Michael Leuschel, Germán Vidal

claim paper

Read More »

click to vote

LFCS
2007
Springer

186views Artificial Intelligence» more LFCS 2007»

Cut Elimination in Deduction Modulo by Abstract Completion

14 years 1 months ago

Download www.loria.fr

act Completion (Full Version) Guillaume Burel Claude Kirchner August 6, 2007 Deduction Modulo implements Poincar´e’s principle by identifying deduction and computation as diﬀ...

Guillaume Burel, Claude Kirchner

claim paper

Read More »

click to vote

AML
1998

93views more AML 1998»

Normal deduction in the intuitionistic linear logic

13 years 7 months ago

Download csli-publications.stanford.edu

A natural deduction system NDIL described here admits normalization and has subformula prop

Grigori Mints

claim paper