Sciweavers

11436 search results - page 75 / 2288
» Modeling Real Reasoning
Sort
View
POPL
2011
ACM
14 years 3 months ago
Precise reasoning for programs using containers
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...
Isil Dillig, Thomas Dillig, Alex Aiken
AAAI
1998
15 years 2 months ago
Bayesian Reasoning in an Abductive Mechanism for Argument Generation and Analysis
Our argumentation system, NAG, uses Bayesian networks in a user model and in a normative model to assemble and assess arguments which balance persuasiveness with normative correct...
Ingrid Zukerman, Richard McConachy, Kevin B. Korb
SEC
1996
15 years 2 months ago
Intention modelling: approximating computer user intentions for detection and prediction of intrusions
This paper introduces and describes an innovative modelling approach which utilises models that are synthesised through approximate calculations of user actions and extensive repr...
Thomas Spyrou, John Darzentas
UCS
2007
Springer
15 years 6 months ago
Context Awareness by Case-Based Reasoning in a Music Recommendation System
The recommendation system is one of the core technologies for implementing personalization services. Recommendation systems in ubiquitous computing environment should have the capa...
Jae Sik Lee, Jin Chun Lee
109
Voted
IJCAI
2003
15 years 2 months ago
Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques
Many real life optimization problems contain both hard and soft constraints, as well as qualitative conditional preferences. However, there is no single formalism to specify all t...
Carmel Domshlak, Francesca Rossi, Kristen Brent Ve...