COMPLIANCE VERIFICATION OF AGENT INTERACTION: A LOGIC-BASED SOFTWARE TOOL

By Alberti Marco  

Applied Artificial Intelligence, Vol. 20, Iss. 2-4, 2006-02 ,pp. : 133-157

Taylor & Francis Ltd

Access to resources Recommend Favorite

Exploiting unified modelling language (UML) as a preliminary design tool for Common Logic-based ontologies in manufacturing

By Palmer C.  

International Journal of Computer Integrated Manufacturing, Vol. 26, Iss. 3, 2013-03 ,pp. : 267-283

Taylor & Francis Ltd

Access to resources Recommend Favorite

Single-facility scheduling by logic-based Benders decomposition

By Coban Elvin   Hooker J.  

Annals of Operations Research, Vol. 210, Iss. 1, 2013-11 ,pp. : 245-272

Springer Publishing Company

Access to resources Recommend Favorite

Abstract Interpretation based Verification of Logic Programs

By Comini M.   Gori R.   Levi G.   Volpe P.  

Electronic Notes in Theoretical Computer Science, Vol. 30, Iss. 1, 2004-01 ,pp. : 1-17

Elsevier

Access to resources Recommend Favorite

A Methodology for Granularity-Based Control of Parallelism in Logic Programs

By Lopez P.   Hermenegildo M.   debray S.  

Journal of Symbolic Computation, Vol. 21, Iss. 4, 1996-04 ,pp. : 715-734

Academic Press

Access to resources Recommend Favorite