Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
3765
search results - page 54 / 753
»
Qualitative Action Systems
Sort
relevance
views
votes
recent
update
View
thumb
title
19
click to vote
ACTA
2008
90
views
more
ACTA 2008
»
Algebraic reasoning for probabilistic action systems and while-loops
13 years 8 months ago
Download
espace.library.uq.edu.au
Larissa Meinicke, Ian J. Hayes
claim paper
Read More »
6
click to vote
DB
1999
34
views
more
DB 1999
»
A Social Action Model of Situated Information Systems Design
13 years 8 months ago
Download
is2.lse.ac.uk
Susan Gasson
claim paper
Read More »
7
click to vote
CE
2011
39
views
more
CE 2011
»
Mining students' inquiry actions for understanding of complex systems
13 years 3 months ago
Download
ccl.northwestern.edu
Sharona T. Levy, Uri Wilensky
claim paper
Read More »
25
click to vote
KI
2011
Springer
159
views
Artificial Intelligence
»
more
KI 2011
»
Reasoning about Time, Action and Knowledge in Multi-Agent Systems
13 years 3 months ago
Download
www.csc.liv.ac.uk
Ji Ruan
claim paper
Read More »
69
click to vote
COSIT
2011
Springer
322
views
GIS
»
more
COSIT 2011
»
CLP(QS): A Declarative Spatial Reasoning Framework
12 years 8 months ago
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 »