Search Sciweavers | Sciweavers

3891 search results - page 17 / 779

» A logic for strategic reasoning

185

click to vote

SIAMCOMP
2012

234views Logical Reasoning» more SIAMCOMP 2012»

Envy-Free Makespan Approximation

13 years 8 months ago

Download www.cs.tau.ac.il

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

claim paper

Read More »

160

click to vote

AAAI
2006

157views Intelligent Agents» more AAAI 2006»

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

15 years 7 months ago

Download www.dbai.tuwien.ac.at

Several forms of reasoning in AI

Georg Gottlob, Reinhard Pichler, Fang Wei

claim paper

Read More »

164

click to vote

CONCUR
2004
Springer

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

Resources, Concurrency and Local Reasoning

15 years 11 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 »

139

click to vote

CADE
2006
Springer

117views Logical Reasoning» more CADE 2006»

Representing and Reasoning with Operational Semantics

16 years 6 months ago

Download www.easychair.org

Dale Miller

claim paper

Read More »

133

click to vote

CADE
2004
Springer

90views Logical Reasoning» more CADE 2004»

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

16 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers