4978 search results - page 172 / 996 » Logical models of argument |
119
click to vote
ENTCS
2008
15 years 4 months ago
2008
This paper considers QLtl, a quantitative analagon of Ltl and presents algorithms for model checking QLtl over quantitative versions of Kripke structures and Markov chains.
139
click to vote
DLOG
2008
15 years 6 months ago
2008
Many visualization frameworks for ontologies in general and for concept expressions in particular are too faithful to the syntax of the languages in which those objects are represe...
151
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Time is one of the most difficult aspects to handle in real world applications such as database systems. Relational database management systems proposed by Codd offer very little ...
129
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...
171
Voted
SBCCI
2003
ACM
15 years 9 months ago
2003
ACM
The growing adoption of reconfigurable architectures opens new implementation alternatives and creates new design challenges. In the case of dynamically reconfigurable architectur...