Numerical predictions for serial, parallel, and coactive logical rule-based models of categorization response time

2012 ◽  
Vol 44 (4) ◽  
pp. 1148-1156 ◽  
Author(s):  
Daniel R. Little
Keyword(s):  
Response Time ◽  
Rule Based ◽  
Logical Rule ◽  
Numerical Predictions

scholarly journals Response-time tests of logical-rule models of categorization.

2011 ◽  
Vol 37 (1) ◽  
pp. 1-27 ◽  
Author(s):  
Daniel R. Little ◽  
Robert M. Nosofsky ◽  
Stephen E. Denton
Keyword(s):  
Response Time ◽  
Logical Rule

Towards a Specification Language for Mobile Applications

2013 ◽  
Vol 5 (2) ◽  
pp. 58-76
Author(s):  
Abdesselam Redouane
Keyword(s):  
Mobile Applications ◽  
Formal Language ◽  
Specification Language ◽  
Predicate Calculus ◽  
Rule Based ◽  
First Order ◽  
Logical Rule ◽  
Order Predicate Calculus

Mobile applications are increasingly being developed by many developers using different environments for diverse devices. However, there is no method or formal language that helps these developers specify their requirements before the coding stage. In this paper, the author describes a specification language that helps in this context. To achieve rigor, the language is based on an extended first order predicate calculus and allows specifiers to modularize their specifications. The language is founded on two concepts: a pristine which can be seen as a unit of cognition and a definition which is a logical rule based on pristines and other definitions. Furthermore, the language allows specifiers to express constraints which are fundamental features in mobile applications. A use of this language is shown by an example.

Sign in / Sign up

Export Citation Format

Share Document