2012 search results - page 39 / 403 » CORAL - Control, Relations and Logic |
137
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
We present an axiomatisation for an extension of a temporal epistemic logic with an epistemic “reset” operator defined on the intersection between epistemic and temporal rela...
132
click to vote
LPNMR
1999
Springer
15 years 9 months ago
1999
Springer
Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, defau...
142
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
Ford has introduced a non-monotonic logic, System LS, inspired by an empirical study of human non-monotonic reasoning. We define here a defeasible logic FDL based on Ford’s logi...
144
click to vote
AML
2010
15 years 4 months ago
2010
In Abstract Algebraic Logic, the general study of propositional non-classical logics has been traditionally based on the abstraction of the Lindenbaum-Tarski process. In this proce...
144
Voted
IJAR
2008
15 years 4 months ago
2008
This paper investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages without and with independence. We then consider g...