URN:NBN:SI:DOC-7LLU8LD32017Badri, MouradMazouz, MihoubMokhati, Fariddocuments/doc/7/URN_NBN_SI_doc-7LLU8LD3_001.pdfdocuments/doc/7/URN_NBN_SI_doc-7LLU8LD3_001.txt241articlestr. 233-2520350-559630747431URN:NBN:SI:doc-7LLU8LD3engSlovensko društvo InformatikaInformatica (Ljubljana)InCcomputer scienceračunalništvoumetna inteligencaFormal development of multi-agent systems with FPASStowards formalizing PASSI methodology using rewriting logic