Sciweavers

2722 search results - page 44 / 545

» Automating Language Evolution

56

ICLP
2005
Springer

74views Automated Reasoning» more ICLP 2005»

The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic

15 years 5 months ago

The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic

Download www.cs.bris.ac.uk

Oliver Ray

claim paper

Read More »

69

ICLP
2005
Springer

125views Automated Reasoning» more ICLP 2005»

Decision Support for Personalization on Mobile Devices

15 years 5 months ago

Decision Support for Personalization on Mobile Devices

Download www.uni-koblenz.de

Thomas Kleemann, Alex Sinner

claim paper

Read More »

62

ICLP
2005
Springer

108views Automated Reasoning» more ICLP 2005»

Practical Higher-Order Pattern Unification with On-the-Fly Raising

15 years 5 months ago

Practical Higher-Order Pattern Unification with On-the-Fly Raising

Download www-users.cs.umn.edu

Gopalan Nadathur, Natalie Linnell

claim paper

Read More »

65

ICLP
2005
Springer

106views Automated Reasoning» more ICLP 2005»

Denotational Semantics Using Horn Concurrent Transaction Logic

15 years 5 months ago

Denotational Semantics Using Horn Concurrent Transaction Logic

Download www.scs.ryerson.ca

Marcus Vinicius Santos

claim paper

Read More »

66

ICLP
2005
Springer

147views Automated Reasoning» more ICLP 2005»

Analysis and Optimization of CHR Programs

15 years 5 months ago

Analysis and Optimization of CHR Programs

Download people.cs.kuleuven.be

Jon Sneyers

claim paper

Read More »

« Prev « First page 44 / 545 Last » Next »