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

This paper develops a solution to the analogue of the frame problem that arises when the belief state of an agent is axiomatized in the presence of belief changing actions. It follows the work of Scherl and Levesque which adapted the approach to the frame problem of Reiter to the case of the analogue of the frame problem that arises when knowledge and knowledge producing actions are added to th...

Fluent merging is the process of combining two or more fluents (state variables) into a single “super” fluent. By compiling in some of the inter-fluent interactions, fluent merging can (1) help improve informedness of relaxed reachability heuristics, and (2) improve the efficiency of factored planning as it removes some of the intervariable dependencies. Although some special cases of fluent me...