834 search results - page 56 / 167 » Anaphora and the Logic of Change |
MSCS
2007
13 years 8 months ago
2007
It is well-known that weakening and contraction cause na¨ıve categorical models of the classical sequent calculus to collapse to Boolean lattices. In previous work, summarized b...
IAT
2009
IEEE
14 years 3 months ago
2009
IEEE
—We propose various logical semantics for change of awareness. The setting is that of multiple agents that may become aware of facts or other agents, or forget about them. We mod...
ICWE
2009
Springer
14 years 3 months ago
2009
Springer
Model Driven Engineering (MDE) is increasingly gaining acceptance evelopment of Web Applications as a mean to leverage abstraction and render business logic resilient to technologi...
LFCS
2007
Springer
14 years 3 months ago
2007
Springer
We present a dynamic epistemic logic for knowledge change of rational agents. Existing approaches only deal with partial public announcements, that means an announcement may lead ...
LPNMR
2005
Springer
14 years 2 months ago
2005
Springer
We describe an application of Abductive Logic Programming (ALP) to the analysis of an important class of DNA microarray experiments. We develop an ALP theory that provides a simple...