764 search results - page 106 / 153 » On the Expressibility of Stable Logic Programming |
104
click to vote
EUSFLAT
2009
14 years 9 months ago
2009
Abstract-- In this paper, we deal with the production and transportation planning of a household appliances manufacturer that has production facilities and central stores for resel...
FOSSACS
2009
Springer
15 years 6 months ago
2009
Springer
Standard analysis on recursive data structures restrict their attention to shape properties (for instance, a program that manipulates a list returns a list), excluding properties t...
CSB
2004
IEEE
15 years 3 months ago
2004
IEEE
The ability to control gene expression during development in plants could be used for improving crop yields, resistance to disease, and environmental adaptability. It has been sug...
ICFP
2010
ACM
15 years 27 days ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
ECRA
2002
14 years 11 months ago
2002
This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communi...