Search Sciweavers | Sciweavers

3738 search results - page 110 / 748

» Parametrized Logic Programming

click to vote

ERSHOV
2009
Springer

121views Theoretical Computer Science» more ERSHOV 2009»

A Query Language for Logic Architectures

14 years 2 months ago

Download www.isu.ru

Anton Malykh, Andrei Mantsivoda

claim paper

Read More »

click to vote

ICALP
2007
Springer

88views Programming Languages» more ICALP 2007»

Ready Simulation for Concurrency: It's Logical!

14 years 2 months ago

Download www-users.cs.york.ac.uk

Gerald Lüttgen, Walter Vogler

claim paper

Read More »

click to vote

ICLP
2007
Springer

131views Automated Reasoning» more ICLP 2007»

Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity

14 years 2 months ago

Download www.mimuw.edu.pl

Linh Anh Nguyen

claim paper

Read More »

click to vote

ICLP
2005
Springer

74views Automated Reasoning» more ICLP 2005»

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

14 years 1 months ago

Download www.cs.bris.ac.uk

Oliver Ray

claim paper

Read More »

click to vote

ICLP
2005
Springer

106views Automated Reasoning» more ICLP 2005»

Denotational Semantics Using Horn Concurrent Transaction Logic

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers