Qualitative Spatial and Temporal Reasoning with Answer Set Programming

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

As computational thinking (CT) becomes increasingly acknowledged as an important skill in education, self-directed learning (SDL) emerges as a key strategy for developing this capability. The advent of generative AI (GenAI) conversational agents has disrup ...

We present an automated approach to verify the correctness of programming assignments, such as the ones that arise in a functional programming course. Our approach takes as input student submissions and reference solutions, and uses equivalence checking to ...

We present a new method for generating realistic and view-consistent images with fine geometry from 2D image collections. Our method proposes a hybrid explicitimplicit representation called OrthoPlanes, which encodes fine-grained 3D information in feature ...

Formal verification of real-world software systems remains challenging for a number of reasons, including lack of automation, friction in specifying properties, and limited support for the diverse programming paradigms used in industry. In this thesis we m ...

Magnetic Resonance Imaging (MRI) is an established technique to study in vivo neurological disorders such as Multiple Sclerosis (MS). To avoid errors on MRI data organization and automated processing, a standard called Brain Imaging Data Structure (BIDS) h ...

The present invention relates to systems and methods for planning and/or providing neuromodulation One example system includesa stimulation related basic data storage module for storing stimulation related basic data,a stimulation related response data sto ...

Machine Translation (MT) has made considerable progress in the past two decades, particularly after the introduction of neural network models (NMT). During this time, the research community has mostly focused on modeling and evaluating MT systems at the se ...

Programming has changed; programming languages have not. Modern software embraced reusable software components, i.e., public libraries, and runs in the cloud, on machines that co-locate applications from various origins. This new programming paradigm leads ...

This conversation focuses on the work of Sarah Kenderdine and Merete Sanderhoff, both of whom are based in Europe working on and within museums, as well as playing leadership roles in pan-institutional organisations such as Europeana and the Australasian A ...

Oscillator system (1) comprising:- a substantially planar frame (3);- a first sub-oscillator (5), a second sub-oscillator (7), a third sub-oscillator (9), and a fourth sub-oscillator (11), each sub-oscillator (5, 7, 9, 11) comprising a substantially rigid ...

Moving from steam and waterpower, electricity and assembly lines, and computerization, to the adoption of cyber-physical systems, the Internet of Things and the Internet of Systems executed as intelligent machines, the world now dives into a new era called ...

Binary logic operations are the building blocks of computing machines. In this paper, we present a new programmable binary logic gate based on programmable multistable mechanisms (PMM), which are multistable structures whose stability behavior depends on m ...

The urban is a complex phenomenon whose exploration remains a important scientific challenge. Choosing complex thought in order to renew our capacities for understanding and action on and with the urban is not trivial. The complex thought developed by Edga ...

The growing importance of applications based on machine learning is driving the need to develop dedicated, energy-efficient electronic hardware. Compared with von Neumann architectures, which have separate processing and storage units, brain-inspired in-me ...

The present invention relates to a system for planning and/or providing neuromodulation (10), especially neurostimulation, comprising: - first data input module (26) for stimulation related basic data, - a stimulation related basic data storage module (28) ...

The present invention relates to a system for planning and/or providing neuromodulation (10), especially neurostimulation, comprising - a stimulation related basic data storage module (28) for storing the stimulation related basic data, - a stimulation rel ...

Previous studies assessed cultural ecosystem services (CES) at the local scale but often ignored them in national assessments. This paper explores CES relationships in Switzerland using web-based participatory mapping. We identified the spatial relationshi ...

Industry is increasingly turning to reconfigurable architectures like FPGAs and CGRAs for improved performance and energy efficiency. Unfortunately, adoption of these architectures has been limited by their programming models. HDLs lack abstractions for pr ...

Different senses of source words must often be rendered by different words in the target language when performing machine translation (MT). Selecting the correct translation of polysemous words can be done based on the contexts of use. However, state-of-th ...

We present an interpretable framework for path prediction that leverages dependencies between agents' behaviors and their spatial navigation environment. We exploit two sources of information: the past motion trajectory of the agent of interest and a wide ...

Qualitative Spatial and Temporal Reasoning with Answer Set Programming

Chat with Graph Search

Generative AI-Enabled Conversational Interaction to Support Self-Directed Learning Experiences in Transversal Computational Thinking

Proving and Disproving Equivalence of Functional Programming Assignments

OrthoPlanes: A Novel Representation for Better 3D-Awareness of GANs

Scaling Language Features for Program Verification

BMAT: An open-source BIDS managing and analysis tool

System for planning and/or providing neuromodulation

Discourse Phenomena in Machine Translation

Trust as a Programming Primitive

Sarah Kenderdine + Merete Sanderhoff

Two degree of freedom oscillator system

Broadening artificial intelligence education in K-12: Where to Start?

Programmable Logic Gates Based On Tunable Multistable Mechanisms

Lieu hologrammatique, un concept et une méthodologie complexe de mesure de l'organisation spatiale des réalités sociales

Logic-in-memory based on an atomically thin semiconductor

A system for planning and/or providing neuromodulation

A system for planning and/or providing neuromodulation

National assessment of cultural ecosystem services: Participatory mapping in Switzerland

Spatial: A Language and Compiler for Application Accelerators

Word Sense Consistency in Statistical and Neural Machine Translation

CAR-Net: Clairvoyant Attentive Recurrent Network