This position paper advocates a simple fluent representation of intention, knowledge, belief and memory that due to its grounded and integrated nature allows the use of constraint based planning algorithms for all aspects of agent reasoning and execution, including planning under uncertainty and integrated diagnosis and repair.

RANTANPLAN is a numeric planning solver that takes advantage of recent advances in SMT. It extends reduction to SAT approaches with an easy and efficient handling of numeric fluents using background theories. In this paper we describe the design choices and features of RANTANPLAN, especially, how numeric reasoning is integrated in the system. We also provide experimental results showing that RA...

Annotating semantic data with metadata is becoming more and more important to provide information about the statements. While there are solutions to represent temporal information about a statement, a general annotation framework which allows representing more contextual information is needed. In this paper, we extend the 4dFluents ontology by Welty and Fikes to any dimension of context.

We present work on linking events and fluents (i.e., relations that hold for certain periods of time) to temporal information in text, which is an important enabler for many applications such as timelines and reasoning. Previous research has mainly focused on temporal links for events, and we extend that work to include fluents as well, presenting a common methodology for linking both events an...

Fluent API is an object-oriented pattern for elegant APIs and embedded DSLs. A smart fluent can enforce the protocol or DSL syntax at compile time. Since implementations typically rely on overloading function names, they are hard to realize in functional programming languages. This work shows how be implemented absence of name overloading, by relying parametric polymorphism Hindley-Milner type ...

In this paper, we make use of a meta-logical representation based on the Kowalski and Sergot's Event Calculus in order to integrate the discrete uent logic (DFL) proposed in Features & Fluents by Erik Sandewall, into a logic programming (LP) setting. As result of this attempt we obtain an extended LP-based language that we call Fluent Logic Programming (FLP). Completeness result are shown with ...

The ability to distinguish fluent from disfluent speech could play an important role in infants’ acquisition of their first language. Across two experiments using a Headturn Preference Procedure, we show that infants are able to distinguish fluent from disfluent speech based on its prosodic characteristics, and show a preference for listening to fluent English. In the first experiment, 22-month...