3515 search results - page 402 / 703 » On the semantics of Strategy Logic |
204
click to vote
ICLP
2007
Springer
15 years 11 months ago
2007
Springer
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...
191
click to vote
ICMCS
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper describes a novel approach to the presentation of results from web-search by utilizing the semantic correlations amongst the retrieved results as well as their spatio-t...
218
click to vote
PEPM
2007
ACM
16 years 1 months ago
2007
ACM
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...
238
click to vote
TSD
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Rhetorical structuring is field approached mostly by research in natural language (pragmatic) interpretation. However, in natural language generation (NLG) the rhetorica...
272
click to vote
COLT
1994
Springer
15 years 11 months ago
1994
Springer
Inductive Logic Programming (ILP) involves the construction of first-order definite clause theories from examples and background knowledge. Unlike both traditional Machine Learnin...