Sciweavers

3776 search results - page 28 / 756

» Partition-Based Logical Reasoning

165

Voted

TIME
2002
IEEE

77views Automated Reasoning» more TIME 2002»

Logical Data Expiration

16 years 9 days ago

Logical Data Expiration

Download www.dia.uniroma3.it

David Toman

claim paper

Read More »

161

ASP
2001
Springer

133views Automated Reasoning» more ASP 2001»

Comparing different graph representations of logic programs under the Answer Set semantics

15 years 12 months ago

Comparing different graph representations of logic programs under the Answer Set semantics

Download www.aaai.org

Stefania Costantini

claim paper

Read More »

167

Voted

CSL
2001
Springer

93views Automated Reasoning» more CSL 2001»

A Logic for Abstract State Machines

15 years 12 months ago

A Logic for Abstract State Machines

Download www.jucs.org

Robert F. Stärk, Stanislas Nanchen

claim paper

Read More »

162

Voted

FLOPS
2001
Springer

103views Automated Reasoning» more FLOPS 2001»

Parameterized Logic Programs where Computing Meets Learning

15 years 12 months ago

Parameterized Logic Programs where Computing Meets Learning

Download www.jst.go.jp

Taisuke Sato

claim paper

Read More »

133

Voted

ICLP
2001
Springer

97views Automated Reasoning» more ICLP 2001»

Is Logic Really Dead or Only Just Sleeping?

15 years 12 months ago

Is Logic Really Dead or Only Just Sleeping?

Download www.doc.ic.ac.uk

Robert A. Kowalski

claim paper

Read More »

« Prev « First page 28 / 756 Last » Next »