Search Sciweavers | Sciweavers

3562 search results - page 97 / 713

» Introduction to Logic Programming

141

click to vote

ICLP
1998
Springer

112views Automated Reasoning» more ICLP 1998»

Iterated Logic Program Updates

15 years 10 months ago

Download centria.di.fct.unl.pt

The eld of theory update has seen some improvement, in what regards updating, by allowing desired updates to be speci ed by update programs. The updating of models is governed by ...

João Alexandre Leite, Luís Moniz Per...

claim paper

Read More »

254

click to vote

ICLP
2009
Springer

100views Automated Reasoning» more ICLP 2009»

Logic-Statistic Models with Constraints for Biological Sequence Analysis

16 years 7 months ago

Download akira.ruc.dk

Christian Theil Have

claim paper

Read More »

134

click to vote

ERSHOV
2009
Springer

121views Theoretical Computer Science» more ERSHOV 2009»

A Query Language for Logic Architectures

16 years 26 days ago

Download www.isu.ru

Anton Malykh, Andrei Mantsivoda

claim paper

Read More »

120

click to vote

ICALP
2007
Springer

88views Programming Languages» more ICALP 2007»

Ready Simulation for Concurrency: It's Logical!

16 years 14 days ago

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

Gerald Lüttgen, Walter Vogler

claim paper

Read More »

142

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

16 years 14 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers