Effective use of machines and headcounts is essential in manufacturing for high return of investment from expensive resources in today’s competitive business environment. It is ...
Abstract. This paper proposes a formal framework for agent communication where agents can reason about their goals using strategic reasoning. This reasoning is argumentation-based ...
Caching, symmetries, and search with decomposition are powerful techniques for pruning the search space of constraint problems. In this paper we present an innovative way of effi...
Through the use of different stylesheets it is possible to transform the information contained in XML documents and present it in different ways, for example to create personalised...
Alison Cawsey, Euan W. Dempster, Daniel Pacey, M. ...
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...