Search Sciweavers | Sciweavers

2035 search results - page 26 / 407

» On the complexity of stratified logics

click to vote

ATAL
2007
Springer

124views Intelligent Agents» more ATAL 2007»

Reducing the complexity of logics for multiagent systems

16 years 8 days ago

Download www.aamas-conference.org

Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin...

claim paper

Read More »

137

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

Download www.mimuw.edu.pl

Linh Anh Nguyen

claim paper

Read More »

133

click to vote

STACS
2007
Springer

95views Theoretical Computer Science» more STACS 2007»

Planar Graphs: Logical Complexity and Parallel Isomorphism Tests

16 years 5 days ago

Download www-i7.informatik.rwth-aachen.de

Oleg Verbitsky

claim paper

Read More »

118

click to vote

LICS
2006
IEEE

89views Automated Reasoning» more LICS 2006»

Context Semantics, Linear Logic and Computational Complexity

16 years 2 days ago

Download tocl.acm.org

Ugo Dal Lago

claim paper

Read More »

122

click to vote

SAC
2006
ACM

140views Applied Computing» more SAC 2006»

A constraint logic programming approach to 3D structure determination of large protein complexes

16 years 1 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers