Sciweavers

30 search results - page 6 / 6
» What kind of argument are we going to have today
Sort
View
DLS
2005
176views Languages» more  DLS 2005»
14 years 21 days ago
Dynamic data polyvariance using source-tagged classes
The DDP (Demand-driven/Pruning) analysis algorithm allows us to perform data-flow analyses of programming languages that are dynamically typed and have higher-order control flow...
S. Alexander Spoon, Olin Shivers
AI50
2006
14 years 2 months ago
The Physical Symbol System Hypothesis: Status and Prospects
I analyze some of the attacks against the Physical Symbol System Hypothesis--attacks based on the presumed need for symbolgrounding and non-symbolic processing for intelligent beha...
Nils J. Nilsson
DLOG
2009
13 years 8 months ago
Model-Based Most Specific Concepts in Some Inexpressive Description Logics
Abstract. Model-based most specific concepts are a non-standard reasoning service in Description Logics. They have turned out to be useful in knowledge base completion for ontologi...
Felix Distel
ER
2007
Springer
111views Database» more  ER 2007»
14 years 5 months ago
Provability-Based Semantic Interoperability Via Translation Graphs
Provability-based semantic interoperability (PBSI) is a kind of interoperability that transcends mere syntactic translation to allow for robust, meaningful information exchange acr...
Joshua Taylor, Andrew Shilliday, Selmer Bringsjord
CSCW
2007
ACM
13 years 10 months ago
Doing Virtually Nothing: Awareness and Accountability in Massively Multiplayer Online Worlds
To date the most popular and sophisticated types of virtual worlds can be found in the area of video gaming, especially in the genre of Massively Multiplayer Online Role Playing Ga...
Robert J. Moore, Nicolas Ducheneaut, Eric Nickell