3515 search results - page 24 / 703 » On the semantics of Strategy Logic |
153
click to vote
WLP
2005
Springer
16 years 9 days ago
2005
Springer
Assigning semantics to logic programs via selector generated models (Schwarz 2002/2003) extends several semantics, like the stable, the inflationary, and the stable generated sema...
177
click to vote
PPDP
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes an implementation of narrowing, an essential component of implementations of modern functional logic languages. These implementations rely on narrowing, in pa...
151
click to vote
CALCO
2007
Springer
16 years 1 months ago
2007
Springer
We motivate and present a logical semantic approach to types for concurrency and to the soundness of related systems. The approach is illustrated by the development of a generic ty...
180
click to vote
LFCS
2007
Springer
16 years 1 months ago
2007
Springer
Logic programming with stable logic semantics (SLP) is a logical formalism that assigns to sets of clauses in the language admitting negations in the bodies a special kind of mode...
203
click to vote
AIML
2008
15 years 8 months ago
2008
Most temporal logics, particularly interval temporal logics, are not expressive enough to capture meanings of natural language constructions, and they are not convenient to represe...