134 search results - page 16 / 27 » A Linear Logic of Authorization and Knowledge |
169
click to vote
WOA
2007
15 years 7 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...
198
Voted
KDD
2000
ACM
15 years 10 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...
167
click to vote
DLOG
2010
15 years 4 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...
202
click to vote
TABLEAUX
2007
Springer
16 years 21 days 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...
155
Voted
APAL
2002
15 years 6 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 ...