1151 search results - page 55 / 231 » Collaborative Programming: Applications of Logic and Automat... |
145
Voted
ICLP
1999
Springer
15 years 7 months ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...
144
click to vote
ASP
2001
Springer
15 years 7 months ago
2001
Springer
In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...
107
click to vote
ICLP
1990
Springer
15 years 7 months ago
1990
Springer
Although Warren's method for the evaluation in Prolog of expressions with higherorder functions appears to have been neglected, it is of great value. Warren's paper need...
144
Voted
LOPSTR
2001
Springer
15 years 7 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
119
Voted
DLOG
2000
15 years 4 months ago
2000
In this contribution we present an empirical analysis of the performance of the ALCNHR+ description logic system RACE applied to TBoxes with a very large number of primitive conce...