The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics

Author： Armando A.   Coglio A.   Giunchiglia F.   Ranise S.  

Publisher： Academic Press

ISSN： 0747-7171

Source： Journal of Symbolic Computation, Vol.32, Iss.4, 2001-09, pp. : 305-332

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Integration of Multiple Reasoning Systems for Process Control

By Gams M.   Karba N.   Drobnic M.  

Engineering Applications of Artificial Intelligence, Vol. 10, Iss. 1, 1997-02 ,pp. : 41-46

Elsevier

Access to resources Recommend Favorite

Files are Siles: Extending File Systems with Semantic Annotations

By  

International Journal on Semantic Web and Information Systems (IJSWIS), Vol. 6, Iss. 3, 2010-07 ,pp. : 1-21

IGI Global_journal

Access to resources Recommend Favorite

A Two-Layer Approach to Developing Self-Adaptive Multi-Agent Systems in Open Environment

By  

International Journal of Agent Technologies and Systems (IJATS), Vol. 6, Iss. 1, 2014-01 ,pp. : 65-85

IGI Global_journal

Access to resources Recommend Favorite

Reasoning about synchronization in GALS systems

By Chakraborty Supratik   Mekie Joycee   Sharma Dinesh  

Formal Methods in System Design, Vol. 28, Iss. 2, 2006-03 ,pp. : 153-169

Springer Publishing Company

Access to resources Recommend Favorite

Time and Space Reasoning for Ambient Systems

By  

International Journal of Ambient Computing and Intelligence (IJACI), Vol. 8, Iss. 3, 2017-07 ,pp. : 38-57

IGI Global_journal

Access to resources Recommend Favorite