Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Treur, Jan Add to Alert Profile  
 
Options:
Date Reviewed  
  1 - 2 of 2 reviews    
  Network-oriented modeling: addressing complexity of cognitive, affective and social interactions
Treur J., Springer International Publishing, New York, NY, 2016. 499 pp.  Type: Book (978-3-319452-11-1)

The research career of Professor Treur recapitulates the history of artificial intelligence (AI). His PhD work more than 40 years ago focused on the formal logical systems in vogue in the “neat” school of AI. This a...
...
Jul 26 2018  
  Compositional verification of knowledge-based task models and problem-solving methods
Cornelissen F., Jonker C., Treur J. Knowledge and Information Systems 5(3): 337-367, 2003.  Type: Article

The authors propose a formal model for the compositional verification of knowledge-based systems. The paper is well structured and organized. It uses clear and simple English expressions that are easy to understand. The formal definiti...
...
Feb 12 2004  

   
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy