3891 search results - page 328 / 779 » A logic for strategic reasoning |
175
click to vote
TARK
1998
Springer
15 years 11 months ago
1998
Springer
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...
192
click to vote
CSL
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...
155
click to vote
ICLP
1994
Springer
15 years 10 months ago
1994
Springer
The consequences of a logic program depend in general upon both the rules of the program and its language. However the consequences of some programs are independent of the choice ...
184
click to vote
ILP
2000
Springer
15 years 10 months ago
2000
Springer
A method for learning multivariate time series classifiers by inductive logic programming is presented. Two types of background predicate that are suited for this task are introduc...
176
click to vote
DEON
2010
Springer
15 years 9 months ago
2010
Springer
We provide a logical analysis of private international law, the body of law establishing when courts of a country should decide a case (jurisdiction) and what legal system they sho...