Result 1 to 20 of 28 total
Duality between merging operators and social contraction operators. (English)
Bjørner, Nikolaj (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 18th international conference, LPAR-18, Mérida, Venezuela, March 11‒15, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28716-9/pbk). Lecture Notes in Computer Science 7180, 183-196 (2012).
1
Leximax relations in decision making through the dominance plausible rule. (English)
Liu, Weiru (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 11th European conference, ECSQARU 2011, Belfast, UK, June 29 ‒ July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22151-4/pbk). Lecture Notes in Computer Science 6717. Lecture Notes in Artificial Intelligence, 569-581 (2011).
2
Logic-based fusion of complex epistemic states. (English)
Liu, Weiru (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 11th European conference, ECSQARU 2011, Belfast, UK, June 29 ‒ July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22151-4/pbk). Lecture Notes in Computer Science 6717. Lecture Notes in Artificial Intelligence, 398-409 (2011).
3
Logic based merging. (English)
J. Philos. Log. 40, No. 2, 239-270 (2011).
4
Conception and experimentation of a communication device with adaptive scanning (English)
TACCESS 1, No. 3 (2009).
5
Confluence operators. (English)
Hölldobler, Steffen (ed.) et al., Logics in artificial intelligence. 11th European conference, JELIA 2008, Dresden, Germany, September 28‒October 1, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87802-5/pbk). Lecture Notes in Computer Science 5293. Lecture Notes in Artificial Intelligence, 272-284 (2008).
6
Interaction between a disabled person and a scanning communication aid: Towards an automatic adjustment of the scanning rate adapted to the user. (English)
Miesenberger, Klaus (ed.) et al., Computers helping people with special needs. 11th international conference, ICCHP 2008, Linz, Austria, July 9‒11, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70539-0/pbk). Lecture Notes in Computer Science 5105, 1204-1207 (2008).
7
Interaction between a disabled person and a scanning communication aid: towards an automatic adjustment of the scanning rate adapted to the user (English)
ICCHP, 1204-1207 (2008).
8
Application of linear hybrid cellular automata to stream ciphers (English)
EUROCAST, 564-571 (2007).
9
Modelling of complex cryptographic systems in terms of simple cellular automata. (English)
Gavrilova, Marina (ed.) et al., Computational science and its applications ‒ ICCSA 2006. International conference, Glasgow, UK, May 8‒11, 2006. Proceedings, Part I. Berlin: Springer (ISBN 3-540-34070-X/pbk). Lecture Notes in Computer Science 3980, 577-585 (2006).
10
Efficient application of hybrid 150/90 cellular automata to symmetric cryptography (English)
International Conference on Computational Science (3), 337-344 (2006).
11
Modelling of complex cryptographic systems in terms of simple cellular automata (English)
ICCSA (1), 577-585 (2006).
12
Merging operators: beyond the finite case. (English)
Notas Mat. 1, No. 1, 93-128 (2005).
13
Propositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory. (English)
Eur. J. Oper. Res. 160, No. 3, 785-802 (2005).
14
Preferences and explanations. (English)
Artif. Intell. 149, No. 1, 1-30 (2003).
15
Merging information under constraints: A logical framework. (English)
J. Log. Comput. 12, No.5, 773-808 (2002).
16
Explanatory relations based on mathematical morphology. (English)
Benferhat, Salem (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 6th European conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2143, 736-747 (2001).
17
Some operators for iterated revision. (English)
Benferhat, Salem (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 6th European conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2143, 498-509 (2001).
18
A framework for iterated revision. (English)
J. Appl. Non-Class. Log. 10, No. 3-4, 339-367 (2000).
19
On representation theorems for nonmonotonic consequence relations. (English)
J. Symb. Log. 65, No.3, 1321-1337 (2000).
20
Result 1 to 20 of 28 total
Start
Contact
Print
General Help
