Search - Centre européen de réalité virtuelle Access content directly

Filter your results

21 Results
Domains : math

A short biography of Luis Fariñas del Cerro

Pedro Cabalar , Martin Dieguez , Andreas Herzig , David Pearce
Journal of Applied Non-Classical Logics, 2017
Journal articles hal-01892914v1

Temporal Equilibrium Logic with past operators

Felicidad Aguado , Pedro Cabalar , Martin Dieguez , Gilberto Pérez , Concepción Vidal
Journal of Applied Non-Classical Logics, 2017
Journal articles hal-01892941v1

An infinitary encoding of temporal equilibrium logic

Pedro Cabalar , Martin Dieguez , Concepción Vidal
TPLP, 2015
Journal articles hal-01892977v1

Temporal Answer Set Programming

Martin Dieguez
International Conference on Logic Programming (technical communications), Sep 2012, Budapest, Hungary
Conference papers hal-01892991v1

STeLP - A Tool for Temporal Answer Set Programming.

Pedro Cabalar , Martin Dieguez
Logic Programming and NonMonotonic Reasoning, May 2011, Vancouver, Canada
Conference papers hal-01892994v1

An Experiment on Tabled Evaluation for Hidden Predicates

Pedro Cabalar , Martin Dieguez
1st Workshop on Grounding and Transformations for Theories with Variables (GTTV'11@LPNMR 2013), May 2011, Vancouver, Canada
Conference papers hal-01892996v1
Image document

Here and There modal logic with dual implication

Philippe Balbiani , Martin Dieguez
12th Advances in Modal Logic conference (AiML 2018), Aug 2018, Bern, Switzerland. pp.63-82
Conference papers hal-01891169v1

Bisimulations for intuitionistic temporal logics

Philippe Balbiani , Joseph Boudou , Martin Dieguez , David Fernández-Duque
7th Workshop on Intuitionistic Modal Logic and Applications (IMLA 2017), Jul 2017, Toulouse, France. ⟨10.48550/arXiv.1803.05078⟩
Conference papers hal-01892946v1

An intuitionistic axiomatization of 'eventually

Martin Dieguez , David Fernández-Duque
Advances in Modal Logic, Aug 2018, Bern, Switzerland
Conference papers hal-01891166v1
Image document

Tissular coupling and frequency locking II infinite population

Laurent Gaubert , Pascal Redou , Jacques Tisseau
EPNACS'07 : Emergent Properties in Natural and Artificial Complex Systems, Oct 2007, Dresden, Germany. pp.133-140
Conference papers hal-00933209v1
Image document

SYNCHRONIZATION OF ASYMPTOTICALLY PERIODIC BEHAVIORS IN COUNTABLE CELLULAR SYSTEMS

Laurent Gaubert , Pascal Redou
Journal of Nonlinear Systems and Applications, 2010, 1 (1), pp.1-12
Journal articles hal-00822961v1
Image document

Frequency Locking in Tissular Coupling

Laurent Gaubert , Pascal Redou , Jacques Tisseau
Dynamics of Continuous, Discrete and Impulsive Systems Series B: Applications & Algorithms, 2009, 16 (4), pp.453-470
Journal articles hal-00822964v1

Strong Equivalence of Non-Monotonic Temporal Theories

Pedro Cabalar , Martin Dieguez
International Conference on Principles of Knowledge Representation and Reasoning, Jul 2014, Vienna, Austria
Conference papers hal-01892980v1
Image document

Absolute Stability of Chaotic Asynchronous Multi-Interactions Schemes for Solving ODE

Pascal Redou , Laurent Gaubert , Gireg Desmeulles , Pierre-Antione Béal , Christophe Le Gal , et al.
Computer Modeling in Engineering and Sciences, 2010, 70 (1), pp.11-40
Journal articles hal-00823479v1
Image document

Tissular coupling and frequency locking I finite population

Laurent Gaubert , Pascal Redou , Jacques Tisseau
EPNACS'07 : Emergent Properties in Natural and Artificial Complex Systems, Oct 2007, Dresden, Germany. pp.121-132
Conference papers hal-00933203v1

Paving the Way for Temporal Grounding

Felicidad Aguado , Pedro Cabalar , Martin Dieguez , Gilberto Pérez , Concepción Vidal
International Conference on Logic Programming (technical communication), Sep 2012, Budapest, Hungary
Conference papers hal-01892988v1
Image document

Formal validation of asynchronous interaction-agents algorithms for reaction-diffusion problems

Pascal Redou , Kerdélo Sébastien , Gireg Desmeulles , Jean-François Abgrall , Vincent Rodin , et al.
PADS'07, 21st International Workshop on Principles of Advanced and Distributed Simulation, Jun 2007, San Diego, United States. pp.26-34
Conference papers hal-00861413v1

A Decidable Intuitionistic Temporal Logic

Joseph Boudou , Martin Dieguez , David Fernández Duque
Computer Science Logic, Aug 2017, Stockholm, Sweden. ⟨10.4230/LIPIcs.CSL.2017.14⟩
Conference papers hal-01892943v1

Temporal equilibrium logic: a survey.

Felicidad Aguado , Pedro Cabalar , Martin Dieguez , Gilberto Pérez , Concepción Vidal
Journal of Applied Non-Classical Logics, 2013
Journal articles hal-01892985v1

Temporal logic programs with variables

Felicidad Aguado , Pedro Cabalar , Gilberto Pérez , Concepción Vidal , Martin Dieguez
TPLP, 2017
Journal articles hal-01892919v1
Image document

Absolute Stability of Chaotic Asynchronous Multi-Interactions Schemes for Solving ODE

Pascal Redou , Laurent Gaubert , Gireg Desmeulles , Vincent Rodin , Pierre-Antoine Béal , et al.
Computer Modeling in Engineering and Sciences, 2010, 70 (1), pp.11-40
Journal articles hal-00861381v1