Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility

By Golinska-Pilarek J.  

International Journal of Computer Mathematics, Vol. 86, Iss. 10-11, 2009-10 ,pp. : 1707-1718

Taylor & Francis Ltd

Access to resources Recommend Favorite

Relative and absolute order-of-magnitude models unified

By Travé-Massuyès Louise  

Annals of Mathematics and Artificial Intelligence, Vol. 45, Iss. 3-4, 2005-12 ,pp. : 323-341

Springer Publishing Company

Access to resources Recommend Favorite

The implementation of a dual-redundant control system

By Zhao Y.   Liu F.  

Control Engineering Practice, Vol. 12, Iss. 4, 2004-04 ,pp. : 445-453

Elsevier

Access to resources Recommend Favorite

Approximate Qualitative Temporal Reasoning

By Bittner T.  

Annals of Mathematics and Artificial Intelligence, Vol. 36, Iss. 1-2, 2002-09 ,pp. : 39-80

Springer Publishing Company

Access to resources Recommend Favorite

A Qualitative Approach to Syllogistic Reasoning

By Khayata M.Y.  

Annals of Mathematics and Artificial Intelligence, Vol. 34, Iss. 1-3, 2002-03 ,pp. : 131-159

Springer Publishing Company

Access to resources Recommend Favorite