Filter your results
- 13
- 8
- 12
- 9
- 21
- 16
- 2
- 5
- 1
- 1
- 1
- 2
- 2
- 3
- 1
- 3
- 21
- 21
- 19
- 13
- 4
- 1
- 1
- 14
- 9
- 6
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
A short biography of Luis Fariñas del CerroJournal of Applied Non-Classical Logics, 2017
Journal articles
hal-01892914v1
|
|||
Temporal Equilibrium Logic with past operatorsJournal of Applied Non-Classical Logics, 2017
Journal articles
hal-01892941v1
|
|||
An infinitary encoding of temporal equilibrium logicTPLP, 2015
Journal articles
hal-01892977v1
|
|||
Temporal Answer Set ProgrammingInternational Conference on Logic Programming (technical communications), Sep 2012, Budapest, Hungary
Conference papers
hal-01892991v1
|
|||
STeLP - A Tool for Temporal Answer Set Programming.Logic Programming and NonMonotonic Reasoning, May 2011, Vancouver, Canada
Conference papers
hal-01892994v1
|
|||
An Experiment on Tabled Evaluation for Hidden Predicates1st Workshop on Grounding and Transformations for Theories with Variables (GTTV'11@LPNMR 2013), May 2011, Vancouver, Canada
Conference papers
hal-01892996v1
|
|||
|
Here and There modal logic with dual implication12th Advances in Modal Logic conference (AiML 2018), Aug 2018, Bern, Switzerland. pp.63-82
Conference papers
hal-01891169v1
|
||
|
Bisimulations for intuitionistic temporal logics7th 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 'eventuallyAdvances in Modal Logic, Aug 2018, Bern, Switzerland
Conference papers
hal-01891166v1
|
|||
|
Tissular coupling and frequency locking II infinite populationEPNACS'07 : Emergent Properties in Natural and Artificial Complex Systems, Oct 2007, Dresden, Germany. pp.133-140
Conference papers
hal-00933209v1
|
||
|
SYNCHRONIZATION OF ASYMPTOTICALLY PERIODIC BEHAVIORS IN COUNTABLE CELLULAR SYSTEMSJournal of Nonlinear Systems and Applications, 2010, 1 (1), pp.1-12
Journal articles
hal-00822961v1
|
||
|
Frequency Locking in Tissular CouplingDynamics 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 TheoriesInternational Conference on Principles of Knowledge Representation and Reasoning, Jul 2014, Vienna, Austria
Conference papers
hal-01892980v1
|
|||
|
Absolute Stability of Chaotic Asynchronous Multi-Interactions Schemes for Solving ODEComputer Modeling in Engineering and Sciences, 2010, 70 (1), pp.11-40
Journal articles
hal-00823479v1
|
||
|
Tissular coupling and frequency locking I finite populationEPNACS'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 GroundingInternational Conference on Logic Programming (technical communication), Sep 2012, Budapest, Hungary
Conference papers
hal-01892988v1
|
|||
|
Formal validation of asynchronous interaction-agents algorithms for reaction-diffusion problemsPADS'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 LogicComputer Science Logic, Aug 2017, Stockholm, Sweden. ⟨10.4230/LIPIcs.CSL.2017.14⟩
Conference papers
hal-01892943v1
|
|||
Temporal equilibrium logic: a survey.Journal of Applied Non-Classical Logics, 2013
Journal articles
hal-01892985v1
|
|||
Temporal logic programs with variablesTPLP, 2017
Journal articles
hal-01892919v1
|
|||
|
Absolute Stability of Chaotic Asynchronous Multi-Interactions Schemes for Solving ODEComputer Modeling in Engineering and Sciences, 2010, 70 (1), pp.11-40
Journal articles
hal-00861381v1
|