2500 search results - page 6 / 500 » Logical Semantics of Modularisation |
JAIR
2012
12 years 6 days ago
2012
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...
CADE
1992
Springer
14 years 1 months ago
1992
Springer
Tableau
FOAL
2007
ACM
14 years 1 months ago
2007
ACM
Nonmonotonic logic is a branch of logic that has been developed to model situations with incomplete information. We argue that there is a connection between AOP and nonmonotonic l...
ENTCS
2006
13 years 9 months ago
2006
Parkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which program variables are treated as resource, generalizing earlier work based on separati...
EDOC
2003
IEEE
14 years 3 months ago
2003
IEEE
The Meta-Object Facility (MOF) provides a standardised framework for object-oriented models. An instance of a MOF model contains objects and links whose interfaces are entirely de...