We discuss the persistence of the indirect effects of an action—the question when such effects are subject to the commonsense law of inertia, and how to describe their evolution in the cases when inertia does not apply. Our model of nonpersistent effects involves the assumption that the value of the fluent in question is determined by the values of other fluents, although the dependency may be ...

We describe the new version of the PDDL-to-ASP translator plasp. First, it widens the range of accepted PDDL features. Second, it contains novel planning encodings, some inspired by SAT planning and others exploiting ASP features such as well-foundedness. All of them are designed for handling multivalued fluents in order to capture both PDDL as well as SAS planning formats. Third, enabled by mu...

In this tool paper, we present the release of UPMurphi, a universal planner for PDDL+ domains. Planning for hybrid domains has found increasing attention in the planning community, motivated by the need to address more realistic scenarios. While a number of techniques for planning with a subset of PDDL+ domains have been proposed, UPMurphi is able to handle the full range of PDDL+ features, inc...

The paper addresses the problem of executing a plan in a dynamic environment for tasks involving constraints on consumable resources modeled as numeric fluents. In particular, the paper proposes a novel monitoring and adaptation strategy joining reactivity and proactivity in a unified framework. By exploiting the flexibility of a multi modality plan (where each action can be executed in differe...

While there exist OWL ontologies that capture events and acknowledge the dynamic nature of certain domains, the possibility of change is neglected in many domain-specific ontologies. Solutions to the representation of fluents have been proposed, however there exists no guidance for the average Semantic Web practitioner on how to incorporate these solutions into existing ontologies or implement ...

Our research group has postulated a perceptually based multiphrase prosody framework for speech paragraphs in fluent speech using corporal analyses. The framework features a prosody hierarchy that organizes phrases and sentences into prosodic groups (PG) in connected speech, and specifies cross-phrase prosodic relationships in the acoustic domains [1, 2]. A corresponding fluent speech prosody m...

Successor state axioms are an optimal solution to the famous Frame Problem in reasoning about actions—but only as far as its representational aspect is concerned. We show how by gradually applying the principle of reification to these axioms, one can achieve gradual improvement regarding the inferential aspect without losing the representational merits. The resulting concept of state update axi...

DISCOPLAN is an implemented set of efficient preplanning algorithms intended to enable faster domain-independent planning. It includes algorithms for discovering state constraints (invariants) that have been shown to be very useful, for example, for speeding up SAT-based planning. DISCOPLAN originally discovered only certain types of implicative constraints involving up to two fluent literals a...

________________________________________________________________________________________________________ Study of the coarticulation CV within Italian adult stutterers The coarticulation of the stuttered speech shows distinctive characteristics in its dysfluent aspects as well as in its fluent ones. The present survey is about the coarticulation of fluent sequences tested in Italian adult stutt...