Search Sciweavers | Sciweavers

3891 search results - page 17 / 779

» A logic for strategic 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

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

Download www.easychair.org

Dale Miller

claim paper

Read More »

click to vote

CADE
2004
Springer

90views Logical Reasoning» more CADE 2004»

Reasoning with large numbers of individuals moves on: extending the instance store

14 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers