827 search results - page 136 / 166 » Proof-Theoretic Soundness and Completeness |
ISSRE
2007
IEEE
13 years 10 months ago
2007
IEEE
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
EUSFLAT
2007
13 years 10 months ago
2007
Fuzzy formal logics were introduced in order to handle graded truth values instead of only ‘true’ and ‘false’. A wide range of such logics were introduced successfully, li...
ICWS
2008
IEEE
13 years 10 months ago
2008
IEEE
We study the access control integration problem for web services. Organizations frequently use many services, each with its own access control policies, that must interoperate whi...
DLOG
2006
13 years 10 months ago
2006
Abstract Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the onto...
IJCAI
2001
13 years 10 months ago
2001
One of the more controversial recent planning algorithms is the SHOP algorithm, an HTN planning algorithm that plans for tasks in the same order that they are to be executed. SHOP...