This work involves two areas of research in computer science, namely Knowledge Representation and Logic Programming. Starting from the formalism proposed in Features & Fluents by Erik Sandewall for describing and reasoning about Inhabited Dynamical Systems, we try to reconstruct it within a Logic Programming framework. The result is an extended logic programming language called Fluent Logic Pro...

Siew Li Teoh 1, Suthinee Sudfangsai 2, Pisake Lumbiganon 3, Malinee Laopaiboon 4, Nai Ming Lai 5 and Nathorn Chaiyakunapruk 1,6,7,8,* 1 School of Pharmacy, Monash University Malaysia, Selangor 47500, Malaysia; [email protected] 2 Faculty of Pharmaceutical Sciences, Naresuan University, Phitsanulok 65000, Thailand; [email protected] 3 Department of Obstetrics and Gynaecology, Fac...

Herpes simplex virus 1 contains seven genes that are necessary and sufficient for origin-dependent DNA synthesis in cultured cells. We have expressed the product of one of these genes, UL9, in insect cells by using a baculovirus expression vector. The apparent size of the UL9 protein, both in insect cells and in herpes simplex virus-infected Vero cells, is 82,000 Da. By using an immunoassay for...

When drawing conclusions about narratives, minimizing|to a reasonable extent|the occurrence of events is crucial. We argue that unguided minimization is insuucient in case events are causally connected, for it easily fails to distinguish unmotivated event occurrences from those that have a cause. Two solutions are ooered, the rst of which has the advantage of being straightforwardly realized bu...

We introduce a new action language, CARD, which allows defeasible dynamic causal laws, default fluents, concurrent and non-deterministic actions, and actions which use resources. We give syntax and semantics of the language and several simple examples of its use. Comparison with some other languages is also given though limited by space requirements.

Faculty of Computer Science International Center for Computational Logic

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...