134 search results - page 16 / 27 » A Linear Logic of Authorization and Knowledge |
WOA
2007
14 years 10 months ago
2007
Abstract—In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical lang...
KDD
2000
ACM
15 years 1 months ago
2000
ACM
Recent advances in functional brain imaging enable identication of active areas of a brain performing a certain function. Induction of logical formulas describing relations betwee...
DLOG
2010
14 years 7 months ago
2010
Abstract. Ontologies undergo changes for reasons such as changes in knowledge, meeting varying application requirements. Thus, for different versions of a considered ontology, it i...
101
click to vote
TABLEAUX
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
APAL
2002
14 years 9 months ago
2002
The paper introduces a semantics for the language of classical first order logic supplemented with the additional operators and . This semantics understands formulas as tasks. An ...