Author: Moubaiddin Asma Obeid Nadim
Publisher: Springer Publishing Company
ISSN: 0219-1377
Source: Knowledge and Information Systems, Vol.37, Iss.2, 2013-11, pp. : 417-452
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
Donald Nute (ed.), Defeasible Deontic Logic
By Hage J.
Artificial Intelligence and Law, Vol. 8, Iss. 1, 2000-01 ,pp. :
Verification of reactive systems using temporal logic with clocks
By Liu C. Orgun M.A.
Theoretical Computer Science, Vol. 220, Iss. 2, 1999-06 ,pp. :