Artificial Intelligence Group Project

ENCODE
List of Publications

Published within the Encode Project 
at the Department of Cybernetics and Atificial Intelligence   
March 1994- February 1998 

Journal papers  Conferences  Technical reports


Journal papers
  Sabol, T., Mach, M., Hatala M., Paralic J. (1995). ENCODE - a framework for configuration design. (in Slovak). AT&P Journal 2(4). September 1995, pp.19-22.  
Abstract  Article/ps (53k) 


Conference presentations
Paralič, J., Sabol, T., Mach, M., Hatala, M. and Džbor, M. (1998). Intelligent Development Tool for Constraint Satisfaction. Proceedings of the Conference Artificial Intelligence in Industry "From Theory to Practise", Vysoké Tatry, Slovakia, April 1998, pp.  
Abstract  

Hatala, M., Sabol, T., Mach, M., and Paralič, J. (1997). Visual debugging for knowledge based system for design. In: Proceedings of 8th Symposium on Information Systems IS'97, Varazdin, Croatia, September 1997, pp. 185-191.  
Abstract  

Paralič, J., Sabol, T., Mach, T., Hatala, M. and Džbor, M. (1997). Constraint satisfaction engine for the Encode workbench. In: Proc. of the 8th Int. DAAAM Symposium "Intelligent Manufacturing & Automation", Dubrovnik, October 1997, pp. 255-256.  
Abstract  

Valasek M., Zdrahal, Z., Sabol, T. (1995). Problem Solving Techniques for Engineering Design. Presented at Eurocast ‘95, May 22-25 1995. Innsbruck.  
Abstract  

Sabol, T., Mach, M., Hatala M., Paralic J. (1995). Knowledge based design in CLIPS. Proceedings of 6th International DAAAM Symposium „Intelligent Manufacturing Systems". Krakow, Poland. October 1995.  
Abstract  

Paralic, J., Sabol, T., Mach, M., Hatala, M. (1996). Configuration Design as Constraint Satisfaction. In: Proc. of microCAD'96 International Computer Science Conference. February 29, 1996, Miskolc, pp. 64-68.  
Abstract  

Paralic, J., Hatala, M., Sabol, T., Mach, M. (1996). ENCODE - ENvironment for COnfiguration DEsign. In: Proc. of the 12th Int. Conf. on Process Control and Simulation, ASRTP'96, Zlata Idka, Slovakia, September 1996, pp. 455-460.  
Abstract  

Mach, M. (1996) A generic knowledge based problem solving method for parameter design. In: Proc. of the 12th Int. Conf. on Process Control and Simulation, ASRTP'96, Zlata Idka, Slovakia, September 1996, pp. 449-455.  
Abstract  

Hatala, M. (1996) Visualisation and Debugging of Forward Chaining Systems. In: Proc. of 3rd Int. Workshop "Artificial Intelligence Techniques" AIT'96, Brno, September 1996, 167-168.  
Abstract  

Hatala, M., Mach, M., Paralic, J., Sabol, T. (1996) Intelligent Visualisation of Inner Behaviour for Encode. In. Proc. Of the 7th Int. DAAAM Symposium "Product & Manufacturing: Flexibility, Integration, Intelligence", Vienna, October 1996, 149-150  
Abstract  

Hatala M., Paralic, J., Mach, M., Sabol, T. (1996) Intelligent Development of Large-Scale Knowledge Based Systems. In: Proc. of the Conference on Intelligent Technologies, Herlany, Slovakia, November 1996, 21-28  
Abstract  

Paralic, J. (1996) Constraint Satisfaction Engine. In: Proc. of the Conference on Intelligent Technologies, Herlany, Slovakia, November 1996, 123-131  
Abstract 


Technical reports
Hatala, M. (1995). CLIPS modification supporting software visualisation. TR-Encode-TUKE-1-95 (Project Encode report). Technical University, Kosice.  
Abstract  Report/ps (53k)  

T. Sabol, J.Paralic (1995). Analysis of Constraint Satisfaction Techniques to Solve Configuration Design Problems. TR-Encode-TUKE-2-95 (Project Encode report) Technical University, Kosice.  
Abstract  Report/ps (88k)  

Mach, M. (1995). DDE communication in CLIPS. TR-Encode-TUKE-3-95 (Project Encode report). Technical University, Kosice.  
Abstract  Report/ps (77k)  

Mach, M. (1995). Configuration design in CLIPS - room allocation problem. TR-Encode-TUKE-4-95 (Project Encode report). Technical University, Kosice.  
Abstract  Report/ps (171k)  

Paralic, J. (1996) Constraint Satisfaction Engine - User's Manual. TR-Encode-TUKE-1-96 (Project Encode Report), Technical University, Kosice, September 1996.  
Abstract   Report/ps (pp1-10, 337k)  Report/ps (pp11-20, 372k)  Report/ps (pp21-30, 348k)   Report/ps (pp31-40, 346k)  Report/ps (pp41-50, 371k)  Report/ps (pp51-60, 427k)   Report/ps (pp61-66, 277k)  

Džbor , M., Paralič, J. and Sabol, T. (1997). Configuration Design Methodology Using CSE. TR-Encode-TUKE-1-97 (ENCODE Project Report), Technical University of Kosice, January 1997.  
Abstract  Report/ps   

Mach, M. (1997). Experimental analysis of CSE. TR-Encode-TUKE-2-97 (Project Encode Report), Technical University of Košice.  
Abstract  Report/ps   

Hatala, M., Paralič, J. (1998). Constraint Satisfaction Engine 2.0 - User's Manual. TR-Encode-TUKE-1-98 (Project Encode Report), Technical University of Košice.  
Abstract  Report/ps  

Hatala, M. (1998). Encode Workbench - User's Manual. TR-Encode-TUKE-2-98 (Project Encode Report), Technical University of Košice.  
Abstract  Report/ps