2067 search results - page 92 / 414 » Logics of propositional control |
158
click to vote
TARK
1998
Springer
15 years 10 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...
200
click to vote
DALT
2009
Springer
15 years 9 months ago
2009
Springer
We propose a framework to compute the utility of a proposal w.r.t. a preference set in a negotiation process. In particular, we refer to preferences expressed as weighted formulas ...
166
click to vote
CLIMA
2004
15 years 7 months ago
2004
Apriori Stochastic Dependency Detection (ASDD) is an algorithm for fast induction of stochastic logic rules from a database of observations made by an agent situated in an environm...
153
click to vote
IJCAI
1997
15 years 7 months ago
1997
This paper investigates the evaluation method of decision procedures for multi-modal logic proposed by Giunchiglia and Sebastiani as an adaptation from the evaluation method of Mi...
176
click to vote
JAPLL
2010
15 years 1 months ago
2010
The satisfiability problem of hybrid logics with the downarrow binder is known to be undecidable. This initiated a research program on decidable and tractable fragments. In this p...