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

14 years 9 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

14 years 9 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

14 years 9 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

14 years 10 months ago

Download drops.dagstuhl.de

Modal dependence logic was introduced very recently by V

Peter Lohmann, Heribert Vollmer

claim paper

Read More »

160

click to vote

ICLP
2009
Springer

122views Automated Reasoning» more ICLP 2009»

Optimizing Compilation and Computational Complexity of Constraint Handling Rules

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers