Concept

Deductive reasoning

Related publications (109)

Graph Chatbot

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.

Data Models and Query Languages for Linked Geospatial Data

Manolis Karpathiotakis

The recent availability of geospatial information as linked open data has generated new interest in geospatial query processing and reasoning, a topic with a long tradition of research in the areas of databases and artificial intelligence. In this paper we ...

2012

Dynamic Nuclear Polarization by Thermal Mixing Under Partial Saturation

Arnaud Comment, Sami Jannin

We describe a low-temperature thermodynamic model for dynamic nuclear polarization (DNP) via continuous-wave partial saturation of electron spin resonance (ESR) lines that are both homogeneously and inhomogeneously broadened. It is a variant of a reasoning ...

Springer Vienna2012

Autonomous construction with a mobile robot in a resource-limited environment: a demonstration of the integration of perception, planning and action

Francesco Mondada, Stéphane Magnenat, Alexey Gribovskiy

This demo presents a miniature mobile robot performing autonomous construction in an environment where resources are limited. After an exploration phase, the robot builds a structure at a designated location according to an order from a human. Since local ...

IOS Press2012

Decision Procedures for Automating Termination Proofs

Ruzica Piskac

Automated termination provers often use the following schema to prove that a program terminates: construct a relational abstraction of the program's transition relation and then show that the relational abstraction is well-founded. The focus of current too ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2011

Decision Procedures for Program Synthesis and Verification

Ruzica Piskac

Decision procedures are widely used in software development and verification. The goal of this dissertation is to increase the scope of properties that can be verified using decision procedures. To achieve this goal, we identify three improvements over the ...

EPFL2011

Évaluation des performances et des impacts des enrobés bitumineux tièdes

Nicolas Bueche

By decreasing the mixing and laying temperatures, warm mix asphalts (WMA) allow a reduction of the energy consumption as well as the emissions, thus contributing to the sustainable development. However researches are necessary for these asphalt mixtures to ...

EPFL2011

Privacy-sensitive recognition of group conversational context with sociometers

Daniel Gatica-Perez, Dinesh Babu Jayagopi

Recognizing the conversational context in which group interactions unfold has applications in machines that support collaborative work and perform automatic social inference using contextual knowledge. This paper addresses the task of discriminating one co ...

2011

Hanani-Tutte and Monotone Drawings

Radoslav Fulek

A drawing of a graph is x-monotone if every edge intersects every vertical line at most once and every vertical line contains at most one vertex. Pach and Toth showed that if a graph has an x-monotone drawing in which every pair of edges crosses an even nu ...

Springer-Verlag Berlin2011

Nanotopographic Control of Neuronal Polarity

Silvestro Micera

We employ simple geometrical rules to design a set of nanotopographies able to interfere with focal adhesion establishment during neuronal differentiation. Exploiting nanoimprint lithography techniques on cyclic-olefin-copolymer films, we demonstrate that ...

2011

Evaluating Cases in Legal Disputes as Rival Theories

Jingshi Li

In this paper we propose to draw a link from the quantitative notion of coherence, previously used to evaluate rival scientific theories, to legal reasoning. We evaluate the stories of the plaintiff and the defendant in a legal case as rival theories by me ...

2010