References of "Meyer, Thomas"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailA general family of preferential belief removal operators
Booth, Richard UL; Meyer, Thomas; Sombattheera, Chattrakul

in Journal of Philosophical Logic (2012), 41(4), 711-733

Most belief change operators in the AGM tradition assume an underlying plausibility ordering over the possible worlds which is transitive and complete. A unifying structure for these operators, based on ... [more ▼]

Most belief change operators in the AGM tradition assume an underlying plausibility ordering over the possible worlds which is transitive and complete. A unifying structure for these operators, based on supplementing the plausibility ordering with a second, guiding, relation over the worlds was presented in Booth et al. (Artif Intell 174:1339–1368, 2010). However it is not always reasonable to assume completeness of the underlying ordering. In this paper we generalise the structure of Booth et al. (Artif Intell 174:1339–1368, 2010) to allow incomparabilities between worlds. We axiomatise the resulting class of belief removal functions, and show that it includes an important family of removal functions based on finite prioritised belief bases. [less ▲]

Detailed reference viewed: 65 (0 UL)
Full Text
Peer Reviewed
See detailPTL: A propositional typicality logic
Booth, Richard UL; Meyer, Thomas; Vazinczak, Ivan

in 13th Conference on Logics in Artificial Intelligence (JELIA 2012) (2012)

Detailed reference viewed: 49 (1 UL)
See detailBildung – Arbeit – Erwachsenwerden
Bergman, Manfred Max; Hupka-Brunner, Sandra; Meyer, Thomas et al

Book published by Springer VS (2012)

Der Übergang von der Schule ins Erwachsenen- und Erwerbsleben ist eine entscheidende und kritische Lebensphase. Vieles deutet darauf hin, dass diese Transition in modernen Gesellschaften länger ... [more ▼]

Der Übergang von der Schule ins Erwachsenen- und Erwerbsleben ist eine entscheidende und kritische Lebensphase. Vieles deutet darauf hin, dass diese Transition in modernen Gesellschaften länger, anforderungsreicher, ... [less ▲]

Detailed reference viewed: 86 (11 UL)
Full Text
Peer Reviewed
See detailHow to revise a total preorder
Booth, Richard UL; Meyer, Thomas

in Journal of Philosophical Logic (2011), 40

Detailed reference viewed: 55 (1 UL)
Full Text
Peer Reviewed
See detailOn the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic
Booth, Richard UL; Meyer, Thomas; Varzinczak, Ivan José et al

in Journal of Artificial Intelligence Research (2011), 42

Detailed reference viewed: 19 (0 UL)
Peer Reviewed
See detailCardiotoxicity testing using pluripotent stem cell-derived human cardiomyocytes and state-of-the-art bioanalytics: a review.
Mandenius, Carl-Fredrik; Steel, Daniella; Noor, Fozia UL et al

in Journal of applied toxicology : JAT (2011), 31(3), 191-205

In this article, recent progress in cardiotoxicity testing based on the use of immortalized cell lines or human embryonic stem cell (hESC) derived cardiomyocytes in combination with state-of-the-art ... [more ▼]

In this article, recent progress in cardiotoxicity testing based on the use of immortalized cell lines or human embryonic stem cell (hESC) derived cardiomyocytes in combination with state-of-the-art bioanalytical methods and sensors is reviewed. The focus is on hESC-derived cells and their refinement into competent testing cells, but the access and utility of other relevant cell types are also discussed. Recent developments in sensor techniques and bioanalytical approaches for measuring critical cardiotoxicity parameters are highlighted, together with aspects of data evaluation and validation. Finally, recommendations for further research are given. [less ▲]

Detailed reference viewed: 40 (0 UL)
Full Text
Peer Reviewed
See detailBelief change
Booth, Richard UL; Meyer, Thomas

in Journal of Indian Council of Philosophical Research (2011), 27

Detailed reference viewed: 15 (0 UL)
Full Text
Peer Reviewed
See detailHorn Belief Change: A Contraction Core
Booth, Richard UL; Meyer, Thomas; Varzinczak, Ivan José et al

in Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010) (2010)

Detailed reference viewed: 14 (0 UL)
Peer Reviewed
See detailA contraction core for Horn belief change: Preliminary report
Booth, Richard UL; Meyer, Thomas; Varzinczak, Ivan José et al

Scientific Conference (2010)

Detailed reference viewed: 15 (0 UL)
Full Text
Peer Reviewed
See detailEquilibria in social belief removal
Booth, Richard UL; Meyer, Thomas

in Synthese (2010), 177

Detailed reference viewed: 53 (0 UL)
Peer Reviewed
See detailFirst steps in EL contraction
Booth, Richard UL; Meyer, Thomas; Varzinczak, Ivan José

Scientific Conference (2009)

Detailed reference viewed: 14 (0 UL)
Full Text
Peer Reviewed
See detailNext steps in propositional Horn contraction
Booth, Richard UL; Meyer, Thomas; Varzinczak, Ivan José

in Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009) (2009)

Detailed reference viewed: 15 (0 UL)
Full Text
Peer Reviewed
See detailA general family of preferential belief removal operators
Booth, Richard UL; Meyer, Thomas; Sombattheera, Chattrakul

in Proceedings of the 2nd International Workshop on Logic, Rationality and Interaction (LORI 2009) (2009)

Detailed reference viewed: 60 (0 UL)