Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Formal semantics (natural language)

Related publications (25)

Prototyping Symbolic Execution Engines for Interpreted Languages

George Candea, Johannes Kinder, Stefan Bucur

Symbolic execution is being successfully used to automatically test statically compiled code. However, increasingly more systems and applications are written in dynamic interpreted languages like Python. Building a new symbolic execution engine is a monume ...

ACM2014

Soft control of swarms: Analytical approach

Max-Olivier Hongler, Guillaume Adrien Sartoretti

We analytically study the collective dynamics of mutually interacting heterogeneous agents evolving in a random environment. Our formal framework consists of a collection of JV scalar drifted Brownian motions (BM) diffusing on R. The mutual interactions ar ...

2013

Simulation-Driven Approach for Business Rules Discovery

Alain Wegmann, Biljana Bajic-Bizumic

Business rules are everywhere. Some of these rules are implicit and thus poorly enforced, others are written but not enforced, and still others are perhaps poorly written and obscurely enforced. In this work, we propose an interactive, simulation-driven ap ...

Springer2013

A Cognitive Reference Based Model for Learning Compositional Hierarchies with Whole-Composite Tags

Alain Wegmann, Anshuman Bahadur Saxena, Ashish Kishore Bindal

A compositional hierarchy is the default organization of knowledge acquired for the purpose of specifying the design requirements of a service. Existing methods for learning compositional hierarchies from natural language text, interpret composition as an ...

2013

Stochastic fragments: A framework for the exact reduction of the stochastic semantics of rule-based models

Tatjana Petrov

In this paper, we propose an abstract interpretation-based framework for reducing the state space of stochastic semantics for protein protein interaction networks. Our approach consists in quotienting the state space of networks. Yet interestingly, we do n ...

2013