Search Sciweavers | Sciweavers

4617 search results - page 136 / 924

» Automation of Diagrammatic Reasoning

147

click to vote

ICLP
1997
Springer

70views Automated Reasoning» more ICLP 1997»

Optimization of Logic Programs with Dynamic Scheduling

15 years 10 months ago

Download clip.dia.fi.upm.es

Germán Puebla, Maria J. García de la...

claim paper

Read More »

156

click to vote

LICS
1993
IEEE

111views Automated Reasoning» more LICS 1993»

Lambek Grammars Are Context Free

15 years 10 months ago

Download lpcs.math.msu.su

In this paper the Chomsky Conjecture is proved: all languages recognized by the Lambek calculus are context free.

Mati Pentus

claim paper

Read More »

172

click to vote

ICTL
1994

242views Automated Reasoning» more ICTL 1994»

A Decision Procedure for a Temporal Belief Logic

15 years 10 months ago

Download www.csc.liv.ac.uk

This paper presents a temporal belief logic called

Michael Wooldridge, Michael Fisher

claim paper

Read More »

138

click to vote

CSL
1992
Springer

99views Automated Reasoning» more CSL 1992»

Model Building by Resolution

15 years 10 months ago

Download www.logic.at

ating Point Numbers (Abstract). In: Berichte aus Informatik

Christian G. Fermüller, Alexander Leitsch

claim paper

Read More »

134

click to vote

ICLP
1992
Springer

96views Automated Reasoning» more ICLP 1992»

Implementing a Lazy Functional Logic Language with Disequality Constraints

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers