207 citations · 287 across the 21 of their papers we have counts for
Showing 2011Show all
3 papers · 1 filter
cs.PL2011
An Implementation of Bubbling
Abdulla Alqaddoumi, Enrico Pontelli
Non-determinism is of great importance in functional logic programming. It provides expressiveness and efficiency to functional logic computations. In this paper we describe an imp…
cs.AI2011★ 12 cited
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms
E. Pontelli, T. C. Son, P. H. Tu
In this paper, we present two alternative approaches to defining answer sets for logic programs with arbitrary types of abstract constraint atoms (c-atoms). These approaches genera…
cs.LO2011★ 3 cited
Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda
Agostino Dovier, Andrea Formisano, Enrico Pontelli
The paper presents a knowledge representation formalism, in the form of a high-level Action Description Language for multi-agent systems, where autonomous agents reason and act in…