764 search results - page 125 / 153 » On the Expressibility of Stable Logic Programming |
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
104
click to vote
JELIA
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
104
click to vote
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
We explore partial type-inference for System F based on type-containment. We consider both cases of a purely functional semantics and a call-by-value stateful semantics. To enable...
100
click to vote
SCP
2010
14 years 10 months ago
2010
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-call...
108
click to vote
EPIA
2003
Springer
15 years 5 months ago
2003
Springer
The Semantic Web is a “living organism”, which combines autonomously evolving data sources/knowledge repositories. This dynamic character of the Semantic Web requires (declarat...