Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support

Author(s):  
Péter Bokor ◽  
Marco Serafini ◽  
Neeraj Suri ◽  
Helmut Veith
2019 ◽  
Vol 42 ◽  
Author(s):  
Daniel J. Povinelli ◽  
Gabrielle C. Glorioso ◽  
Shannon L. Kuznar ◽  
Mateja Pavlic

Abstract Hoerl and McCormack demonstrate that although animals possess a sophisticated temporal updating system, there is no evidence that they also possess a temporal reasoning system. This important case study is directly related to the broader claim that although animals are manifestly capable of first-order (perceptually-based) relational reasoning, they lack the capacity for higher-order, role-based relational reasoning. We argue this distinction applies to all domains of cognition.


2012 ◽  
Author(s):  
Jessica L. Siegel ◽  
Michael S. Christian ◽  
Adela S. Garza ◽  
Aleksander P. J. Ellis

Sign in / Sign up

Export Citation Format

Share Document