1950 search results - page 144 / 390 » Lambda-Free Logical Frameworks |
170
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
-BASED ABSTRACT INTERPRETATION OF PROLOG1 BAUDOUIN LE CHARLIER, SABINA ROSSI, AND PASCAL VAN HENTENRYCK . Abstract interpretation is a general methodology for systematic developmen...
201
click to vote
ICTAI
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Evidence-based decision making is becoming increasingly important in healthcare. Much valuable evidence is in the form of the results from clinical trials that compare th...
174
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Normative systems in a multiagent system must be able to evolve over time, for example due to actions creating or removing norms in the system. The only formal framework to evalua...
174
click to vote
TABLEAUX
1998
Springer
15 years 11 months ago
1998
Springer
The methodology of fibring is a successful framework for combining logical systems based on combining their semantics. In this paper, we extend the fibring approach to calculi for ...
169
click to vote
FLAIRS
2006
15 years 8 months ago
2006
The aim of this paper is to extend the modal logic of knowledge due to Moss and Parikh by state transformers arising, eg, from actions of agents. The peculiarity of Moss and Parik...