267 search results - page 8 / 54 » Well Founded Semantics for Logic Program Updates |
134
click to vote
DAGSTUHL
1998
15 years 3 months ago
1998
Deductive database technology represents an important step towards the goal of developing highly-declarative database programming languages. In order to make deductive databases a ...
161
Voted
POPL
2011
ACM
14 years 5 months ago
2011
ACM
ensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorl...
126
Voted
AMAI
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. Partial equilibrium logic (PEL) is a new nonmonotonic reasoning formalism closely aligned with logic programming under well-founded and partial stable model semantics. In...
125
Voted
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
Minimal change is a fundamental principle for modeling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We firs...
151
Voted
TCS
1998
15 years 2 months ago
1998
Algebraic translation methods are argued for in many fields of science. Several examples will be considered: from the field of compiler construction, database updates, concurren...