585 search results - page 98 / 117 » Strategy Logic |
117
click to vote
PEPM
2004
ACM
15 years 7 months ago
2004
ACM
Advanced typing, matching, and evaluation strategy features, as well as very general conditional rules, are routinely used in equational programming languages such as, for example...
156
Voted
AGP
2003
IEEE
15 years 7 months ago
2003
IEEE
The paper discusses some innovative aspects related to the integration of a framework based on Answer Set Programming in an Information Retrieval Agent, namely, the Global Search A...
188
click to vote
LICS
2003
IEEE
15 years 7 months ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
135
click to vote
ADBIS
2003
Springer
15 years 7 months ago
2003
Springer
We present an approach of how to extract automatically an XML document structure from a conceptual data model that describes the content of a document. We use UML class diagrams as...
93
Voted
CSFW
2002
IEEE
15 years 6 months ago
2002
IEEE
We introduce a general framework for reasoning about secrecy requirements in multiagent systems. Because secrecy requirements are closely connected with the knowledge of individua...