Sciweavers

11436 search results - page 438 / 2288
» Modeling Real Reasoning
Sort
View
125
Voted
ECSQARU
2001
Springer
15 years 9 months ago
Supporting Changes in Structure in Causal Model Construction
The term “changes in structure,” originating from work in econometrics, refers to structural modifications invoked by actions on a causal model. In this paper we formalize the...
Tsai-Ching Lu, Marek J. Druzdzel
CSL
2002
Springer
15 years 4 months ago
Transformation streams and the HMM error model
The most popular model used in automatic speech recognition is the hidden Markov model (HMM). Though good performance has been obtained with such models there are well known limit...
M. J. F. Gales
CADE
2004
Springer
16 years 5 months ago
Model Checking Using Tabled Rewriting
LRR [3] is a rewriting system developed at the Computer Science Department of University of Houston. LRR has two subsystems: Smaran (for tabled rewriting), and TGR (for untabled re...
Zhiyao Liang
ASP
2005
Springer
15 years 10 months ago
Possibilistic Stable Model Computing
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...
Pascal Nicolas, Claire Lefèvre
143
Voted
ENC
2003
IEEE
15 years 10 months ago
Modelling Norms for Autonomous Agents
Societies are regulated by norms and, consequently, autonomous agents that want to be part of them must be able to reason about norms. However, no reasoning can be done if agents ...
Fabiola López y López, Michael Luck