Sciweavers

7839 search results - page 321 / 1568
» What's there and what's not
Sort
View
CL
2000
Springer
15 years 6 months ago
Logic, Knowledge Representation, and Bayesian Decision Theory
In this paper I give a brief overview of recent work on uncertainty inAI, and relate it to logical representations. Bayesian decision theory and logic are both normative frameworks...
David Poole
AMAST
2004
Springer
15 years 5 months ago
Linear Temporal Logic and Z Refinement
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also...
John Derrick, Graeme Smith
IJCAI
2007
15 years 3 months ago
Opponent Modeling in Scrabble
Computers have already eclipsed the level of human play in competitive Scrabble, but there remains room for improvement. In particular, there is much to be gained by incorporating...
Mark Richards, Eyal Amir
ECIS
2003
15 years 3 months ago
Factors influencing users' satisfaction with integrative knowledge management systems - A preliminary investigation
Those interested in improving the quality of an information system may also be interested in two particular research questions: “What factors influence the end users’ satisfac...
Bernard Terrill, Andrew Flitman
AEI
2006
122views more  AEI 2006»
15 years 1 months ago
Construction informatics: Definition and ontology
This paper proposes a definition, scope and topics of construction informatics--a discipline also known as `construction IT' or `communication and information technologies in...
Ziga Turk