-
Surgical Robots: Behaviors Speci cation and reasoning
Surgical robotics system is an area which received attention in the area of robotics. A robotic Surgery is de ned as a computer assisted electro-mecha …
-
Hybrid Epistemic logic for Specifying Requirements of Multi-agent Systems
Reasoning about knowledge is one of the main concern in artificial intelligence and multi-agent Systems (MAS).
Researchers in a wide variety of discip
… -
Evaluation of an Aspect Oriented Approach for SaaS Customization
Software as a Service (SaaS) applications provide resources that need to be customized in order to satisfy various tenants’ requirements. In a previou …
-
A Hybrid Approach For Word Segmentation
Automatic word segmentation is the process of finding the most likely sequence of words from a sequence of characters without spaces. It may also mean
… -
Epistemic Hybrid Tree Logic
Multi-Agent Systems (MASs) is the sub eld of Artificial Intelligence that aims at providing principles for building of complex systems involving sever …