4266 search results - page 309 / 854 » A Framework for Defining Logics |
172
click to vote
LORI
2009
Springer
16 years 1 months ago
2009
Springer
We introduce a new type of arrow in the update frames (or “action models”) of Dynamic Epistemic Logic in a way that enables us to reason about epistemic temporal dynamics in m...
166
click to vote
ASIAN
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
182
click to vote
IBERAMIA
2004
Springer
16 years 5 days ago
2004
Springer
The theory of multi-adjoint logic programs has been introduced as a unifying framework to deal with uncertainty, imprecise data or incomplete information. From the applicative part...
214
click to vote
LPKR
1997
Springer
15 years 11 months ago
1997
Springer
We present the system LAP (Learning Abductive Programs) that is able to learn abductive logic programs from examples and from a background abductive theory. A new type of induction...
173
click to vote
EUSFLAT
2001
15 years 8 months ago
2001
This work points out advantages for the application of fuzzy logic in organization analysis and control. From the presented motivations we propose both a managerial control cycle ...