Search Sciweavers | Sciweavers

3983 search results - page 112 / 797

» Conceptual logic programs

223

click to vote

ICLP
2009
Springer

100views Automated Reasoning» more ICLP 2009»

Logic-Statistic Models with Constraints for Biological Sequence Analysis

16 years 5 months ago

Download akira.ruc.dk

Christian Theil Have

claim paper

Read More »

112

click to vote

ERSHOV
2009
Springer

121views Theoretical Computer Science» more ERSHOV 2009»

A Query Language for Logic Architectures

15 years 11 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!

15 years 10 months ago

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

Gerald Lüttgen, Walter Vogler

claim paper

Read More »

113

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

15 years 10 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

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers