A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints

E-ISSN： 1947-3044|2|1|22-39

ISSN： 1947-3036

Source： International Journal of Secure Software Engineering (IJSSE), Vol.2, Iss.1, 2011-01, pp. : 22-39

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Formal verification of a programming logic for a distributed programming language

By Zhang C. Olsson R.A. Levitt K.N.

Theoretical Computer Science, Vol. 216, Iss. 1, 1999-03 ,pp. : 213-235

Elsevier

Access to resources Recommend Favorite

Answer Set Programming Based on Propositional Satisfiability

By Giunchiglia Enrico Lierler Yuliya Maratea Marco

Journal of Automated Reasoning, Vol. 36, Iss. 4, 2006-04 ,pp. : 345-377

Springer Publishing Company

Access to resources Recommend Favorite

An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems

By Dovier Agostino

Journal of Experimental & Theoretical Artificial Intelligence, Vol. 21, Iss. 2, 2009-06 ,pp. : 79-121

Taylor & Francis Ltd

Access to resources Recommend Favorite

Multi-objective linear programming with interval coefficients: A fuzzy set based approach

By Hajiagha Seyed Hossein Razavi Mahdiraji Hannan Amoozad Hashemi Shide Sadat

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 42, Iss. 3, 2013-03 ,pp. : 482-496

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Programming in metric temporal logic

By Brzoska C.

Theoretical Computer Science, Vol. 202, Iss. 1, 1998-07 ,pp. : 55-125

Elsevier

Access to resources Recommend Favorite