A proposed expert system for word sense disambiguation: deductive ambiguity resolution based on data mining and forward chaining

By  

EXPERT SYSTEMS (ELECTRONIC), Vol. 32, Iss. 2, 2015-04 ,pp. : 178-191

John Wiley & Sons Inc

Access to resources Recommend Favorite

Tableau-based automata construction for dynamic linear time temporal logic*

By Giordano Laura  

Annals of Mathematics and Artificial Intelligence, Vol. 46, Iss. 3, 2006-03 ,pp. : 289-315

Springer Publishing Company

Access to resources Recommend Favorite

First-Order Logic with Two Variables and Unary Temporal Logic

By Etessami K.   Vardi M.Y.   Wilke T.  

Information and Computation, Vol. 179, Iss. 2, 2002-12 ,pp. : 279-295

Academic Press

Access to resources Recommend Favorite

Serializable histories in quantified propositional temporal logic

By Walter Hussak  

International Journal of Computer Mathematics, Vol. 81, Iss. 10, 2004-10 ,pp. : 1203-1211

Taylor & Francis Ltd

Access to resources Recommend Favorite

Future temporal logic needs infinitely many modalities

By Hirshfeld Y.   Rabinovich A.  

Information and Computation, Vol. 187, Iss. 2, 2003-12 ,pp. : 196-208

Elsevier

Access to resources Recommend Favorite