Sciweavers

3776 search results - page 28 / 756

» Partition-Based Logical Reasoning

20

TIME
2002
IEEE

77views Automated Reasoning» more TIME 2002»

Logical Data Expiration

14 years 18 days ago

Logical Data Expiration

Download www.dia.uniroma3.it

David Toman

claim paper

Read More »

20

ASP
2001
Springer

133views Automated Reasoning» more ASP 2001»

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

14 years 6 days ago

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

Download www.aaai.org

Stefania Costantini

claim paper

Read More »

23

CSL
2001
Springer

93views Automated Reasoning» more CSL 2001»

A Logic for Abstract State Machines

14 years 5 days ago

A Logic for Abstract State Machines

Download www.jucs.org

Robert F. Stärk, Stanislas Nanchen

claim paper

Read More »

19

FLOPS
2001
Springer

103views Automated Reasoning» more FLOPS 2001»

Parameterized Logic Programs where Computing Meets Learning

14 years 5 days ago

Parameterized Logic Programs where Computing Meets Learning

Download www.jst.go.jp

Taisuke Sato

claim paper

Read More »

13

ICLP
2001
Springer

97views Automated Reasoning» more ICLP 2001»

Is Logic Really Dead or Only Just Sleeping?

14 years 4 days 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 »