Sciweavers

742 search results - page 68 / 149
» Constructing Hierarchical Rule Systems
Sort
View
ECAI
2006
Springer
13 years 11 months ago
Logic Programs with Multiple Chances
Abstract. In human-like reasoning it often happens that different conditions, partially alternative and hierarchically structured, are mentally grouped in order to derive some conc...
Francesco Buccafurri, Gianluca Caminiti, Domenico ...
IJCAI
2001
13 years 9 months ago
Usability Guidelines for Interactive Search in Direct Manipulation Systems
As AI systems make their way into the mainstream of interactive applications, usability becomes an increasingly important factor in their success. A wide range of user interface d...
Robert St. Amant, Christopher G. Healey
WSC
1998
13 years 9 months ago
An Expert Systems Approach to Simulating the Human Decision Maker
Many simulation models include elements of human decision making which present some difficulty to the simulation modeller. It is often difficult to determine how a human goes abou...
Stewart Robinson, John S. Edwards, Wu Yongfa
LOGCOM
2010
82views more  LOGCOM 2010»
13 years 6 months ago
Deduction Systems for Coalgebras Over Measurable Spaces
A theory of infinitary deduction systems is developed for the modal logic of coalgebras for measurable polynomial functors on the category of measurable spaces. These functors ha...
Robert Goldblatt
SEUS
2010
IEEE
13 years 6 months ago
Ubiquitous Verification of Ubiquitous Systems
Abstract. Ubiquitous embedded computing systems expected to reliably perform one or more relevant tasks need design and verification methods currently not available. New envisioned...
Reinhard Wilhelm, Matteo Maffei