3891 search results - page 392 / 779 » A logic for strategic reasoning |
167
click to vote
AI
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we present a new approach to reason about actions and causation which is based on a conditional logic. The conditional implication is interpreted as causal implicati...
183
click to vote
JAPLL
2010
15 years 1 months ago
2010
We discuss recent work generalising the basic hybrid logic with the difference modality to any reasonable notion of transition. This applies equally to both subrelational transiti...
163
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
The aim of semantic science is to allow for the publications of ontologies, observation data, and hypotheses/theories. Hypotheses make predictions on data and on new cases. Those ...
171
click to vote
ICLP
1997
Springer
15 years 11 months ago
1997
Springer
We provide a method whereby, given mode and (upper approximation) type information, we can detect procedures and goals that can be guaranteed to not fail (i.e., to produce at leas...
208
click to vote
DSOM
2006
Springer
15 years 10 months ago
2006
Springer
Firewalls are important perimeter security mechanisms that imple-ment an organisation's network security requirements and can be notoriously difficult to configure correctly. ...