Search Sciweavers | Sciweavers

2273 search results - page 11 / 455

» On the Expressiveness and Complexity of ATL

click to vote

FOIS
2008

91views Information Technology» more FOIS 2008»

Complexity of Reasoning With Expressive Ontology Mappings

14 years 11 months ago

Download fois08.dfki.de

Chiara Ghidini, Luciano Serafini, Sergio Tessaris

claim paper

Read More »

click to vote

CORR
2010
Springer

43views Education» more CORR 2010»

The space complexity of recognizing well-parenthesized expressions

14 years 9 months ago

Download www.comp.nus.edu.sg

Rahul Jain, Ashwin Nayak

claim paper

Read More »

click to vote

JAR
2008

77views more JAR 2008»

Data Complexity of Query Answering in Expressive Description Logics via Tableaux

14 years 9 months ago

Download www.inf.unibz.it

Magdalena Ortiz, Diego Calvanese, Thomas Eiter

claim paper

Read More »

click to vote

ATS
2010
IEEE

239views Hardware» more ATS 2010»

Mining Complex Boolean Expressions for Sequential Equivalence Checking

14 years 7 months ago

Download people.cs.vt.edu

Neha Goel, Michael S. Hsiao, Naren Ramakrishnan, M...

claim paper

Read More »

click to vote

CORR
2009
Springer

66views Education» more CORR 2009»

Mutation of Directed Graphs -- Corresponding Regular Expressions and Complexity of Their Generation

14 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers