Search Sciweavers | Sciweavers

3970 search results - page 27 / 794

» A Logic For Causal Reasoning

click to vote

SIAMCOMP
2012

234views Logical Reasoning» more SIAMCOMP 2012»

Envy-Free Makespan Approximation

11 years 10 months ago

Download www.cs.tau.ac.il

Edith Cohen, Michal Feldman, Amos Fiat, Haim Kapla...

claim paper

Read More »

click to vote

IJCAI
1989

78views Artificial Intelligence» more IJCAI 1989»

A Theory of Diagnosis for Incomplete Causal Models

13 years 8 months ago

Download dli.iiit.ac.in

One of the problems of the recent approaches to problem solving based on deep knowledge is the lack of a formal treatment of incomplete knowledge. However, dealing with incomplete...

Luca Console, Daniele Theseider Dupré, Piet...

claim paper

Read More »

click to vote

AAAI
2006

157views Intelligent Agents» more AAAI 2006»

Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning

13 years 9 months ago

Download www.dbai.tuwien.ac.at

Several forms of reasoning in AI

Georg Gottlob, Reinhard Pichler, Fang Wei

claim paper

Read More »

click to vote

CONCUR
2004
Springer

112views Distributed And Parallel Com...» more CONCUR 2004»

Resources, Concurrency and Local Reasoning

14 years 1 months ago

Download www.eecs.qmul.ac.uk

In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs.

Peter W. O'Hearn

claim paper

Read More »

click to vote

CADE
2006
Springer

117views Logical Reasoning» more CADE 2006»

Representing and Reasoning with Operational Semantics

14 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers