Executable Temporal Logic for Non-monotonic Reasoning

By Engelfriet J.   Treur J.  

Journal of Symbolic Computation, Vol. 22, Iss. 5, 1996-11 ,pp. : 615-625

Academic Press

Access to resources Recommend Favorite

Logic-Based Representation and Reasoning for User Modeling Shell Systems

By Pohl Wolfgang  

User Modeling and User-Adapted Interaction, Vol. 9, Iss. 3, 1999-09 ,pp. : 217-282

Springer Publishing Company

Access to resources Recommend Favorite

Default logic and specification of nonmonotonic reasoning

By Engelfriet Joeri   Wiktor Marek V.   Treur Jan   Truszczynski Miroslaw  

Journal of Experimental & Theoretical Artificial Intelligence, Vol. 13, Iss. 2, 2001-04 ,pp. : 99-112

Taylor & Francis Ltd

Access to resources Recommend Favorite

A unifying view for logic programming with non-monotonic reasoning

By Brogi A.   Lamma E.   Mancarella P.   Mello P.  

Theoretical Computer Science, Vol. 184, Iss. 1, 1997-09 ,pp. : 1-59

Elsevier

Access to resources Recommend Favorite

The Logical Approach to Temporal Reasoning

By Augusto J.C.  

Artificial Intelligence Review, Vol. 16, Iss. 4, 2001-12 ,pp. : 301-333

Springer Publishing Company

Access to resources Recommend Favorite