Sciweavers

3970 search results - page 49 / 794

» A Logic For Causal Reasoning

106

CSL
2001
Springer

93views Automated Reasoning» more CSL 2001»

A Logic for Abstract State Machines

15 years 8 months ago

A Logic for Abstract State Machines

Download www.jucs.org

Robert F. Stärk, Stanislas Nanchen

claim paper

Read More »

118

Voted

FLOPS
2001
Springer

103views Automated Reasoning» more FLOPS 2001»

Parameterized Logic Programs where Computing Meets Learning

15 years 8 months ago

Parameterized Logic Programs where Computing Meets Learning

Download www.jst.go.jp

Taisuke Sato

claim paper

Read More »

93

ICLP
2001
Springer

97views Automated Reasoning» more ICLP 2001»

Is Logic Really Dead or Only Just Sleeping?

15 years 8 months ago

Is Logic Really Dead or Only Just Sleeping?

Download www.doc.ic.ac.uk

Robert A. Kowalski

claim paper

Read More »

116

Voted

CL
2000
Springer

111views Automated Reasoning» more CL 2000»

Computational Logic: Memories of the Past and Challenges for the Future

15 years 8 months ago

Computational Logic: Memories of the Past and Challenges for the Future

Download www.computational-logic.org

John Alan Robinson

claim paper

Read More »

105

CSL
2000
Springer

95views Automated Reasoning» more CSL 2000»

Elimination of Negation in a Logical Framework

15 years 8 months ago

Elimination of Negation in a Logical Framework

Download reports-archive.adm.cs.cmu.edu

Alberto Momigliano

claim paper

Read More »

« Prev « First page 49 / 794 Last » Next »