Sciweavers

3776 search results - page 28 / 756

» Partition-Based Logical Reasoning

75

TIME
2002
IEEE

77views Automated Reasoning» more TIME 2002»

Logical Data Expiration

15 years 4 months ago

Logical Data Expiration

Download www.dia.uniroma3.it

David Toman

claim paper

Read More »

79

ASP
2001
Springer

133views Automated Reasoning» more ASP 2001»

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

15 years 4 months ago

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

Download www.aaai.org

Stefania Costantini

claim paper

Read More »

72

CSL
2001
Springer

93views Automated Reasoning» more CSL 2001»

A Logic for Abstract State Machines

15 years 4 months ago

A Logic for Abstract State Machines

Download www.jucs.org

Robert F. Stärk, Stanislas Nanchen

claim paper

Read More »

82

FLOPS
2001
Springer

103views Automated Reasoning» more FLOPS 2001»

Parameterized Logic Programs where Computing Meets Learning

15 years 4 months ago

Parameterized Logic Programs where Computing Meets Learning

Download www.jst.go.jp

Taisuke Sato

claim paper

Read More »

65

ICLP
2001
Springer

97views Automated Reasoning» more ICLP 2001»

Is Logic Really Dead or Only Just Sleeping?

15 years 4 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 »