603 search results - page 15 / 121 » A Formal Operational Semantics for SOFL |
CORR
2010
Springer
13 years 6 months ago
2010
Springer
The paper presents a simple and concise proof of correctness of the magic transformation. We believe it may provide a useful example of formal reasoning about logic programs. The ...
CHARME
2003
Springer
14 years 1 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
ECAI
2010
Springer
13 years 9 months ago
2010
Springer
Logic programs under the stable models semantics, or answer-set programs, provide an expressive rule based knowledge representation framework, featuring formal, declarative and wel...
AGTIVE
2007
Springer
14 years 2 months ago
2007
Springer
Communities of autonomous units are being developed for formal specification and semantic analysis of systems of interacting and mobile components. The autonomous units of a commu...
PAKDD
1999
ACM
14 years 26 days ago
1999
ACM
Empirical equations are an important class of regularities that can be discovered in databases. In this paper we concentrate on the role of equations as de nitions of attribute val...