Search Sciweavers | Sciweavers

4513 search results - page 132 / 903

» Logic programming with satisfiability

157

click to vote

AI
2005
Springer

78views Artificial Intelligence» more AI 2005»

On the logic of cooperation and propositional control

15 years 6 months ago

Download www.csc.liv.ac.uk

Cooperation logics have recently begun to attract attention within the multi-agent systems community. Using a cooperation logic, it is possible to represent and reason about the s...

Wiebe van der Hoek, Michael Wooldridge

claim paper

Read More »

250

click to vote

ICLP
2009
Springer

100views Automated Reasoning» more ICLP 2009»

Logic-Statistic Models with Constraints for Biological Sequence Analysis

16 years 6 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 22 days ago

Download www.isu.ru

Anton Malykh, Andrei Mantsivoda

claim paper

Read More »

117

click to vote

ICALP
2007
Springer

88views Programming Languages» more ICALP 2007»

Ready Simulation for Concurrency: It's Logical!

16 years 9 days ago

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

Gerald Lüttgen, Walter Vogler

claim paper

Read More »

138

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 9 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers