3572 search results - page 25 / 715 » Nominal Logic Programming |
215
Voted
ASP
2003
Springer
16 years 22 days ago
2003
Springer
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
168
Voted
LOPSTR
2004
Springer
16 years 26 days ago
2004
Springer
Abstract. This paper aims at offering an insightful synthesis of different compositional semantics for logic program composition which have been developed in the literature. In p...
192
Voted
HYBRID
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In this paper, we consider the problem of generating optimized, executable control code from high-level, symbolic specifications. In particular, we construct symbolic co...
164
click to vote
CDC
2009
IEEE
16 years 6 days ago
2009
IEEE
— In this paper we use bilevel programming to find the maximum difference between a reference controller and a low-complexity controller in terms of the infinitynorm difference...
199
click to vote
ASP
2003
Springer
16 years 22 days ago
2003
Springer
Abstract. Often graphs are used to investigate properties of logic programs. In general, different graphs represent different kinds of information of the corresponding programs. ...