Search Sciweavers | Sciweavers

2649 search results - page 50 / 530

» Temporal Theories of Reasoning

125

click to vote

DAGSTUHL
2007

120views Software Engineering» more DAGSTUHL 2007»

Local Theory Extensions, Hierarchical Reasoning and Applications to Verification

15 years 6 months ago

Download drops.dagstuhl.de

Viorica Sofronie-Stokkermans, Carsten Ihlemann, Sw...

claim paper

Read More »

110

click to vote

UAI
2003

83views Artificial Intelligence» more UAI 2003»

Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories

15 years 6 months ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Thomas Lukasiewicz

claim paper

Read More »

108

click to vote

AAAI
1994

90views Intelligent Agents» more AAAI 1994»

A Theory for Qualitative Spatial Reasoning Based on Order Relations

15 years 6 months ago

Download www.aaai.org

Ralf Röhrig

claim paper

Read More »

111

Voted

IJCAI
1993

92views Artificial Intelligence» more IJCAI 1993»

Reasoning About Persistence: A Theory of Actions

15 years 6 months ago

Download dli.iiit.ac.in

Yan Zhang, Norman Y. Foo

claim paper

Read More »

106

click to vote

AICOM
2010

75views more AICOM 2010»

Large theory reasoning with SUMO at CASC

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers