Sciweavers

2649 search results - page 413 / 530
» Temporal Theories of Reasoning
Sort
View
CONTEXT
1999
Springer
14 years 2 days ago
Dynamics and Automaticity of Context: A Cognitive Modeling Approach
AI and psychological approaches to context are contrasted and the dynamic and automatic nature of the continuous context change in human cognition is emphasized. A dynamic theory o...
Boicho N. Kokinov
ISIPTA
1999
IEEE
114views Mathematics» more  ISIPTA 1999»
14 years 2 days ago
Lower Desirability Functions: A Convenient Imprecise Hierarchical Uncertainty Model
I introduce and study a fairly general imprecise secondorder uncertainty model, in terms of lower desirability. A modeller's lower desirability for a gamble is defined as her...
Gert De Cooman
FM
1999
Springer
93views Formal Methods» more  FM 1999»
14 years 2 days ago
Group Principals and the Formalization of Anonymity
We introduce the concept of a group principal and present a number of different classes of group principals, including threshold-group-principals. These appear to naturally usefu...
Paul F. Syverson, Stuart G. Stubblebine
AGP
1997
IEEE
14 years 16 hour ago
Structural Information Analysis for CLP Languages
We present the rational construction of a generic domain for structural analysis anguages: Pattern(D ), where the parameter D is an abstract domain satisfying certain properties. ...
Roberto Bagnara
KI
1992
Springer
13 years 12 months ago
How to Construct a Logic for Your Application
Abstract. The purpose of this note is to present and evaluate the options available to a researcher wishing to use logic for representation, reasoning and computation in his applic...
Dov M. Gabbay