3515 search results - page 311 / 703 » On the semantics of Strategy Logic |
207
click to vote
ENTCS
2008
15 years 7 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
212
click to vote
KR
2004
Springer
16 years 29 days ago
2004
Springer
Disjunction is generally considered to add expressive power to logic programs under the stable model semantics, which have become a popular programming paradigm for knowledge repr...
228
click to vote
FUIN
2010
15 years 6 months ago
2010
Abstract. Logic Programs with Annotated Disjunctions (LPADs) allow to express probabilistic information in logic programming. The semantics of an LPAD is given in terms of the well...
240
click to vote
OTM
2007
Springer
16 years 1 months ago
2007
Springer
As more semantic web services become on the Internet, it is feasible that users collaborate among them to save efforts in complex web solutions by sharing and reusing existing sema...
201
click to vote
SKG
2006
IEEE
16 years 1 months ago
2006
IEEE
Semantic completeness and syntax completeness are important characters of the general formal systems, two the completeness have different meaning for a formal system. This paper a...