3693 search results - page 484 / 739 » Splitting a Logic Program |
115
Voted
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
149
click to vote
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification con...
123
click to vote
KR
2004
Springer
15 years 8 months ago
2004
Springer
The main contribution of this paper is the definition of the preference description language ¡¢ . This language allows us to combine qualitative and quantitative, penalty bas...
109
click to vote
IFIP
2009
Springer
15 years 7 months ago
2009
Springer
Trust dilution and trust fusion are two operators that are used to calculate transitive trust in a trust network. Various implementations of these operators already exist but are n...
273
Voted
LICS
1994
IEEE
15 years 6 months ago
1994
IEEE
Higher-order narrowing is a general method for higher-order equational reasoning and serves for instance as the foundation for the integration of functional and logic programming. ...