Search Sciweavers | Sciweavers

846 search results - page 6 / 170

» On the Computational Complexity of Spatio-Temporal Logics

158

click to vote

JAPLL
2010

133views more JAPLL 2010»

Complexity of modal logics with Presburger constraints

15 years 4 months ago

Download www.lsv.ens-cachan.fr

We introduce the extended modal logic EML with regularity constraints and full Presburger constraints on the number of children that generalize graded modalities, also known as nu...

Stéphane Demri, Denis Lugiez

claim paper

Read More »

129

click to vote

SOFSEM
2010
Springer

115views Theoretical Computer Science» more SOFSEM 2010»

Taming the Complexity of Inductive Logic Programming

16 years 2 months ago

Download www.sofsem.cz

Filip Zelezný, Ondrej Kuzelka

claim paper

Read More »

121

click to vote

TAMC
2009
Springer

88views Applied Computing» more TAMC 2009»

Constraints, Graphs, Algebra, Logic, and Complexity

16 years 17 days ago

Download www.cs.bgu.ac.il

Moshe Y. Vardi

claim paper

Read More »

132

click to vote

STACS
2007
Springer

95views Theoretical Computer Science» more STACS 2007»

Planar Graphs: Logical Complexity and Parallel Isomorphism Tests

16 years 4 days ago

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

Oleg Verbitsky

claim paper

Read More »

143

click to vote

TAMC
2010
Springer

241views Applied Computing» more TAMC 2010»

Proof Complexity of Non-classical Logics

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers