Sciweavers

925 search results - page 82 / 185
» Probabilistic Belief Logics
Sort
View
AAAI
1990
13 years 9 months ago
Logical Task Modelling for Man-Machine Dialogue
To design a task-independent dialogue system, we present a task-oriented dialogue analysis in terms of finding the referents of definite descriptions and we show how this analysis...
M. David Sadek
IJAR
2008
91views more  IJAR 2008»
13 years 8 months ago
Distance-based paraconsistent logics
We introduce a general framework that is based on distance semantics and investigate the main properties of the entailment relations that it induces. It is shown that such entailm...
Ofer Arieli
ENTCS
1998
115views more  ENTCS 1998»
13 years 7 months ago
A Testing Equivalence for Reactive Probabilistic Processes
We consider a generalisation of Larsen and Skou’s [19] reactive probabilistic transition systems which exhibit three kinds of choice: action-guarded probabilistic choice, extern...
Marta Z. Kwiatkowska, Gethin Norman
TSMC
2010
13 years 2 months ago
An Architecture for Adaptive Algorithmic Hybrids
We describe a cognitive architecture for creating more robust intelligent systems by executing hybrids of algorithms based on different computational formalisms. The architecture ...
Nicholas L. Cassimatis, Perrin G. Bignoli, Magdale...
JOLLI
1998
86views more  JOLLI 1998»
13 years 7 months ago
On the Logic of Theory Change: Contraction without Recovery
The postulate of Recovery, among the six postulates for theory contraction, formulated and studied by Alchourr´on, G¨ardenfors and Makinson is the one that has provoked most cont...
Eduardo L. Fermé