Deonticlogic, the logic of obligations andpermissions, is plagued by several paradoxes that have to be understood before deontic logic can be used as a knowledge representation la...
Logics for expressing properties of Petri hypernets, a visual formalism for modelling mobile agents, are proposed. Two classes of properties are of interest--the temporal evolution...
Marek A. Bednarczyk, Wojciech Jamroga, Wieslaw Paw...