Existing semantics for answer-set program updates fall into two categories: either they consider only strong negation in heads of rules, or they primarily rely on default negation in heads of rules and optionally provide support for strong negation by means of a syntactic transformation. In this paper we pinpoint the limitations of both these approaches and argue that both types of negation sho...

The use of answer set programming has been applied in a variety of areas and has attracted more and more researchers from different disciplines, one of them is music. Music is an area that has tested the use of answer set solvers for melodic, rhythmic and harmonic compositions with different voices, or even to propose electronic/trance music compositions with more than three instruments. Likewi...

We present a new answer set solver, called nomore++, along with its underlying theoretical foundations. A distinguishing feature is that it treats heads and bodies equitably as computational objects. Apart from its operational foundations, we show how it improves on previous work through its new lookahead and its computational strategy of maintaining unfounded-freeness. We underpin our claims b...

the main purpose of this article is to increase the efficiency of the least squares method in numerical solution of ill-posed functional and physical equations. determining the least squares of a given function in an arbitrary set is often an ill-posed problem. in this article, by defining artificial constraint and using lagrange multipliers method, the attempt is to turn -dimensional least squ...

We show how the situation calculus can be reformulated in terms of the first-order stable model semantics. A further transformation into answer set programs allows us to use an answer set solver to perform propositional reasoning about the situation calculus. We also provide an answer set programming style encoding method for Reiter’s basic action theories, which tells us how the solution to th...