5243 search results - page 300 / 1049 » Reasoning About Strategies |
209
Voted
ECSQARU
2005
Springer
16 years 1 months ago
2005
Springer
This paper is part of a project to match real-world descriptions of instances of objects to models of objects. We use a rich ontology to describe s and models at multiple levels of...
127
click to vote
ECAI
2004
Springer
16 years 28 days ago
2004
Springer
This paper describes two approaches that enable the AI Planner LPGP to reason about domains with exogenous events and goals with duration: the first investigates how such domains...
174
Voted
ECAI
2004
Springer
16 years 28 days ago
2004
Springer
This work is about the metatheory of actions, and here we address the problem of what a good domain description for reasoning about actions should look like. We state some postulat...
215
Voted
CSL
2003
Springer
16 years 23 days ago
2003
Springer
Using the Lempel-Ziv-78 compression algorithm to compress a string yields a dictionary of substrings, i.e. an edge-labelled tree with an order-compatible enumeration, here called a...
187
click to vote
CSFW
1999
IEEE
15 years 12 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...