Sciweavers

3765 search results - page 54 / 753

» Qualitative Action Systems

86

Voted

ACTA
2008

90views more ACTA 2008»

Algebraic reasoning for probabilistic action systems and while-loops

15 years 3 months ago

Algebraic reasoning for probabilistic action systems and while-loops

Download espace.library.uq.edu.au

Larissa Meinicke, Ian J. Hayes

claim paper

Read More »

40

DB
1999

34views more DB 1999»

A Social Action Model of Situated Information Systems Design

15 years 3 months ago

A Social Action Model of Situated Information Systems Design

Download is2.lse.ac.uk

Susan Gasson

claim paper

Read More »

25

Voted

CE
2011

39views more CE 2011»

Mining students' inquiry actions for understanding of complex systems

14 years 10 months ago

Mining students' inquiry actions for understanding of complex systems

Download ccl.northwestern.edu

Sharona T. Levy, Uri Wilensky

claim paper

Read More »

130

KI
2011
Springer

159views Artificial Intelligence» more KI 2011»

Reasoning about Time, Action and Knowledge in Multi-Agent Systems

14 years 10 months ago

Reasoning about Time, Action and Knowledge in Multi-Agent Systems

Download www.csc.liv.ac.uk

Ji Ruan

claim paper

Read More »

273

COSIT
2011
Springer

322views GIS» more COSIT 2011»

CLP(QS): A Declarative Spatial Reasoning Framework

14 years 3 months ago

CLP(QS): A Declarative Spatial Reasoning Framework

Download dl.dropbox.com

Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We sy...

Mehul Bhatt, Jae Hee Lee, Carl Schultz

claim paper

Read More »

« Prev « First page 54 / 753 Last » Next »