597 search results - page 35 / 120 » Semantics for Dynamic Logic Programming: A Principle-Based A... |
140
Voted
AGP
2003
IEEE
15 years 8 months ago
2003
IEEE
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assu...
110
Voted
CAISE
1999
Springer
15 years 7 months ago
1999
Springer
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...
117
Voted
ICALP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
122
Voted
APLAS
2004
ACM
15 years 8 months ago
2004
ACM
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich var...
125
click to vote
POPL
2011
ACM
14 years 5 months ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...