16844 search results - page 303 / 3369 » How to Design Programs |
154
click to vote
LPNMR
2004
Springer
16 years 1 days ago
2004
Springer
nlp is a compiler for nested logic programming under answer set semantics. It is designed as a front-end translating nested logic programs into disjunctive ones, whose answer sets ...
150
Voted
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
The design of the Eiffel language makes it possible to perform global optimizations on Eiffel programs. In this paper, we describe some of the techniques we used in SmallEiffel, T...
189
click to vote
LPNMR
2007
Springer
16 years 25 days ago
2007
Springer
We show how to deploy the CIFF System 4.0 for abductive logic programming with constraints in a number of applications, ranging from combinatorial applications to web management. W...
174
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
In this paper we discuss the use of the Answer Set Programming paradigm for representing and analysing specifications of agent-based institutions. We outline the features of insti...
149
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
The integration of functional and logic programming is a well developed field of research. We discuss that the integration could be improved significantly in two separate aspects: ...