Sciweavers

291 search results - page 12 / 59
» Building theory in the sciences of the artificial
Sort
View
SARA
2007
Springer
14 years 1 months ago
Extensional Reasoning
Relational databases have had great industrial success in computer science, their power evidenced by theoretical analysis and widespread adoption. Often, automated theorem provers...
Timothy L. Hinrichs
SARA
2007
Springer
14 years 1 months ago
Reformulation for Extensional Reasoning
Relational databases have had great industrial success in computer science. The power of the paradigm is made clear both by its widespread adoption and by theoretical analysis. Tod...
Timothy L. Hinrichs, Michael R. Genesereth
HICSS
2008
IEEE
122views Biometrics» more  HICSS 2008»
14 years 2 months ago
A Meta-theory for Understanding IS in Socio-technical Systems
Information systems (IS) research often attempts to examine and explain how technology leads to outcomes through usage of information technology (IT). Although extensive research ...
Dominic M. Thomas, Saurabh Gupta, Robert P. Bostro...
NDJFL
2000
79views more  NDJFL 2000»
13 years 7 months ago
An Information-Based Theory of Conditionals
We present an approach to combining three areas of research which we claim are all based on information theory: knowledge representation in Artificial Intelligence and Cognitive Sc...
Wayne Wobcke
LATA
2009
Springer
14 years 2 months ago
On the Average Size of Glushkov's Automata
Abstract. Glushkov’s algorithm builds an ε-free nondeterministic automaton from a given regular expression. In the worst case, its number of states is linear and its number of t...
Cyril Nicaud