193 search results - page 27 / 39 » On the Epistemological foundations of Logic Programming and ... |
120
Voted
TCS
2008
15 years 1 months ago
2008
We introduce an LTL-like logic with atomic formulae built over a constraint language interpreting variables in Z. The constraint language includes periodicity constraints, comparis...
116
click to vote
FASE
2009
Springer
15 years 5 months ago
2009
Springer
This paper describes the certification of smart-card applications in the framework of Common Criteria. In this framework, a smart-card application is represented by a model of its...
135
Voted
FOIKS
2006
Springer
15 years 5 months ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
134
click to vote
KBSE
2010
IEEE
15 years 10 days ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
130
Voted
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...