On Computing Constraint Abduction Answers-Reference-Cited by-同舟云学术

On Computing Constraint Abduction Answers

Published:2008 Issue: Volume: Page:421-435
ISSN:0302-9743
Container-title:Logic for Programming, Artificial Intelligence, and Reasoning
language:
Short-container-title:

Author:

Maher Michael,Huang Ge

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-89439-1_30

Reference15 articles.

1. Diekert, V., Gutierrez, C., Hagenah, C.: The existential theory of equations with rational constraints in free groups is PSPACE-complete. Information and Computation 202(2), 105–140 (2005)

2. Lassez, J.-L., Maher, M.J., Marriott, K.G.: Unification Revisited. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 587–625. Kauffman, San Francisco (1987)

3. Maher, M.J.: Herbrand Constraint Abduction. In: Proc. Symp. on Logic in Computer Science, pp. 397–406 (2005)

4. LNCS (LNAI);M. Maher,2006

5. Martelli, A., Montanari, U.: An Efficient Unification Algorithm. ACM Trans. Program. Lang. Syst. 4(2), 258–282 (1982)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An Improved Role-Based Access to Android Applications with JCHR;2014 Ninth International Conference on Availability, Reliability and Security;2014-09

2. A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials;Computers & Mathematics with Applications;2012-08

3. Inferring Definite Counterexamples through Under-Approximation;Lecture Notes in Computer Science;2012

4. Negotiation of Weighted RTML Credentials on Mobile Devices;Information Systems: Crossroads for Organization, Management, Accounting and Engineering;2012

5. A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints;Lecture Notes in Computer Science;2010