Search Sciweavers | Sciweavers

2214 search results - page 8 / 443

» Complexity of Reasoning

click to vote

IJON
2008

96views more IJON 2008»

Causal reasoning by evaluating the complexity of conditional densities with kernel methods

13 years 7 months ago

Download eprints.pascal-network.org

Xiaohai Sun, Dominik Janzing, Bernhard Schölk...

claim paper

Read More »

click to vote

CONSTRAINTS
2007

78views more CONSTRAINTS 2007»

The Complexity of Reasoning with Global Constraints

13 years 7 months ago

Download 4c.ucc.ie

Christian Bessiere, Emmanuel Hebrard, Brahim Hnich...

claim paper

Read More »

click to vote

AI
2000
Springer

113views Artificial Intelligence» more AI 2000»

On the decidability and complexity of reasoning about only knowing

13 years 7 months ago

Download www.dis.uniroma1.it

Riccardo Rosati

claim paper

Read More »

click to vote

CSL
2010
Springer

194views Automated Reasoning» more CSL 2010»

Complexity Results for Modal Dependence Logic

13 years 8 months ago

Download drops.dagstuhl.de

Modal dependence logic was introduced very recently by V

Peter Lohmann, Heribert Vollmer

claim paper

Read More »

click to vote

ICLP
2009
Springer

122views Automated Reasoning» more ICLP 2009»

Optimizing Compilation and Computational Complexity of Constraint Handling Rules

14 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers