3515 search results - page 200 / 703 » On the semantics of Strategy Logic |
217
click to vote
LOPSTR
1998
Springer
15 years 11 months ago
1998
Springer
Based on a variable-free combinatory form of definite clause logic programs we outline a methodology and supporting program environment CombInduce for inducing well-moded logic pro...
210
click to vote
FLAIRS
2006
15 years 8 months ago
2006
Description Logics (DL) are gaining more popularity as the foundation of ontology languages for the Semantic Web. As most information in real life is imperfect, there has been an ...
227
click to vote
AAAI
2011
14 years 7 months ago
2011
A general game player automatically learns to play arbitrary new games solely by being told their rules. For this purpose games are specified in the game description language GDL...
209
click to vote
AUTONOMICS
2007
ACM
15 years 11 months ago
2007
ACM
Self-management is a key feature of autonomic systems. This often demands the dynamic reconfiguration of a distributed application. An important issue in the reconfiguration proce...
200
click to vote
APWEB
2006
Springer
15 years 11 months ago
2006
Springer
In the Semantic Web, RDF (Resource Description Framework) and RDF Schema are commonly used to describe metadata. There are a great many RDF data in current web, therefore, efficien...