210 search results - page 4 / 42 » A Unified Theory of Irony and Its Computational Formalizatio... |
JAIR
2012
11 years 9 months 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...
POPL
2003
ACM
14 years 7 months ago
2003
ACM
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
ICALP
2005
Springer
14 years 27 days ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
SIGGRAPH
2010
ACM
13 years 11 months ago
2010
ACM
We develop an accurate, unified treatment of elastica. Following the method of resultant-based formulation to its logical extreme, we derive a higher-order integration rule, or el...
ICALP
1997
Springer
13 years 11 months ago
1997
Springer
Despite the major role that modularity occupies in computer science, all the known results on modular analysis only treat particular problems, and there is no general unifying the...