247 search results - page 23 / 50 » Stable models and an alternative logic programming paradigm |
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Description Logic Programs (dl-programs) proposed by Eiter et al. constitute an elegant yet powerful formalism for the integration of answer set programming with description logic...
LOPSTR
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...
105
click to vote
ANOR
2005
14 years 11 months ago
2005
This paper presents a review of advances in the mathematical programming approach to discrete/continuous optimization problems. We first present a brief review of MILP and MINLP f...
EPIA
2007
Springer
15 years 5 months ago
2007
Springer
This paper shows how moral decisions can be drawn computationally by using prospective logic programs. These are employed to model moral dilemmas, as they are able to prospectively...
PLILP
1998
Springer
15 years 3 months ago
1998
Springer
: The bene ts of the object, logic or relational, functional, and constraint paradigms can be obtained from our previous combination of the object and functional paradigms in hidde...