( en | de | ru )

 

Disambiguation of "Reynolds, Mark"

Author of the publication

copydeleteadd this publication to your clipboard
A Modal Aleatoric Calculus for Probabilistic Reasoning.

, , and . ICLA, volume 11600 of Lecture Notes in Computer Science, page 52-63. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Thomas Reynolds

Alexandra Reynolds

Margret Reynolds

James Reynolds

York Reynolds

 

Other publications of authors with the same name

A supervised learning framework: using assessment to identify students at risk of dropping out of a MOOC, , , , and . Journal of Computing in Higher Education, (May 24, 2019)Measuring Data-Driven Ontology Changes using Text Mining., , , and . AusDM, volume 70 of CRPIT, page 39-46. Australian Computer Society, (2007)Clique-Based Traffic Control Strategy Using Vehicle-To-Vehicle Communication., and . PRICAI (2), volume 11671 of Lecture Notes in Computer Science, page 534-538. Springer, (2019)A Tableau for Bundled Strategies., and . TABLEAUX, volume 9323 of Lecture Notes in Computer Science, page 22-37. Springer, (2015)Dynamic Aleatoric Reasoning in Games of Bluffing and Chance., , and . AAMAS, page 1964-1966. International Foundation for Autonomous Agents and Multiagent Systems, (2019)A Cooperative Coevolutionary Algorithm for Real-Time Underground Mine Scheduling., , , and . Australasian Conference on Artificial Intelligence, volume 11320 of Lecture Notes in Computer Science, page 410-418. Springer, (2018)Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau., , , and . IJCAI, page 950-956. IJCAI/AAAI Press, (2016)Web-based simulation of fruit fly to support biosecurity decision-making., and . Ecol. Informatics, (2012)Axiomatising first-order temporal logic: until and since over linear time.. Stud Logica, 57 (2/3): 279-302 (1996)Economic feasibility of stand-alone power systems for existing distribution networks in rural areas., , , , and . ISGT Asia, page 1-5. IEEE, (2017)