Filter your results
- 766
- 258
- 5
- 654
- 266
- 42
- 21
- 15
- 10
- 5
- 4
- 4
- 3
- 2
- 2
- 1
- 16
- 2
- 1029
- 59
- 11
- 8
- 7
- 6
- 4
- 3
- 1
- 1
- 1
- 52
- 34
- 32
- 31
- 24
- 23
- 9
- 36
- 41
- 40
- 51
- 47
- 85
- 102
- 103
- 104
- 134
- 24
- 19
- 23
- 24
- 25
- 16
- 24
- 17
- 13
- 17
- 12
- 10
- 13
- 3
- 6
- 1
- 7
- 3
- 4
- 1
- 4
- 5
- 2
- 2
- 1
- 1
- 947
- 79
- 3
- 974
- 59
- 48
- 35
- 35
- 35
- 19
- 15
- 15
- 14
- 14
- 13
- 12
- 12
- 11
- 10
- 9
- 9
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 217
- 121
- 92
- 89
- 69
- 63
- 31
- 30
- 30
- 25
- 24
- 24
- 24
- 23
- 23
- 21
- 20
- 20
- 18
- 17
- 16
- 16
- 16
- 16
- 15
- 15
- 14
- 14
- 14
- 14
- 14
- 14
- 13
- 13
- 13
- 12
- 12
- 12
- 12
- 12
- 11
- 11
- 11
- 11
- 11
- 11
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
|
Satisfiability of General Intruder Constraints with and without a Set ConstructorJournal of Symbolic Computation, 2017, Special issue: SI: Program Verification, 80, pp.27-61. ⟨10.1016/j.jsc.2016.07.009⟩
Journal articles
hal-01405842v1
|
||
|
Collective decision making under possibilistic uncertainty. Principles and characterizationRevue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2015, 29 (5), pp.515-542. ⟨10.3166/RIA.29.515-542⟩
Journal articles
hal-01531177v1
|
||
|
Oddness/evenness-based classifiers for Boolean or numerical dataInternational Journal of Approximate Reasoning, 2017, 82, pp.81-100. ⟨10.1016/j.ijar.2016.12.002⟩
Journal articles
hal-03511878v1
|
||
|
Temporal abductive reasoning about biochemical reactionsJournal of Applied Non-Classical Logics, 2017, 27 (3-4), pp.269--291. ⟨10.1080/11663081.2018.1427986⟩
Journal articles
hal-01764395v1
|
||
|
Subset space logic with arbitrary announcements5th Indian Conference on Logics and its Applications (ICLA 2013), Jan 2013, Chennai, India. pp.233-244, ⟨10.1007/978-3-642-36039-8_21⟩
Conference papers
hal-01202518v1
|
||
|
Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systemsAutonomous Agents and Multi-Agent Systems, 2016, 30, pp.793-825. ⟨10.1007/s10458-015-9306-4⟩
Journal articles
hal-01624691v1
|
||
|
Orchestration under Security ConstraintsFormal Methods for Components and Objects (FMCO 2010), Nov 2010, Graz, Austria
Conference papers
hal-00642855v1
|
||
|
Automated Synthesis of a Finite Complexity Ordering for Saturation[Research Report] IRIT - Institut de recherche en informatique de Toulouse; LORIA (Université de Lorraine, CNRS, INRIA). 2012
Reports
hal-00675954v2
|
||
Towards the Orchestration of Secured Services under Non-disclosure Policies.6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, Oct 2012, St. Petersburg, Russia. pp.130-145, ⟨10.1007/978-3-642-33704-8_12⟩
Conference papers
hal-00755947v1
|
|||
Towards an Automatic Analysis of Web Service Security6th International Symposium on Frontiers of Combining Systems - FroCoS'07, Sep 2007, Liverpool, United Kingdom. pp.133-147, ⟨10.1007/978-3-540-74621-8_9⟩
Conference papers
istex
inria-00557707v1
|
|||
|
Extraction de relations d'hyperonymie à partir de Wikipédia18èmes Rencontres des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues, partie de la conférence conjointe JEP-TALN-RECITAL 2016, Jul 2016, Paris, France. pp. 40-51
Conference papers
hal-01873749v1
|
||
|
Can we guide a multi-hop reasoning language model to incrementally learn at each single-hop?29th International Conference on Computational Linguistics (COLING 2022), Oct 2022, Gyeongju, South Korea. pp.1455-1466
Conference papers
hal-03885173v1
|
||
An infinitary encoding of temporal equilibrium logicTPLP, 2015
Journal articles
hal-01892977v1
|
|||
|
Picking the one that does not fit - A matter of logical proportions8th European Society For Fuzzy Logic And Technology Conference (EUSFLAT 2013), Sep 2013, Milano, Italy. pp.392-399, ⟨10.2991/eusflat.2013.61⟩
Conference papers
hal-01197281v1
|
||
|
Qualitative integrals and desintegrals as lower and upper possibilistic expectations8th European Society For Fuzzy Logic And Technology Conference (EUSFLAT 2013), Sep 2013, Milan, Italy. pp. 318-325
Conference papers
hal-01212931v1
|
||
|
Vers une carte de compilation pour des langages de représentation hétérogènes7èmes Journées françaises d'intelligence artificielle fondamentale (IAF 2013), Jun 2013, Aix en Provence, France. pp. 145-154
Conference papers
hal-01212945v1
|
||
|
Quantifying over Asynchronous Information ChangeInternational Conference on Advances in Modal Logic (AiML 2020), University of Helsinki, Finland, Aug 2020, Helsinki, Finland. pp.33-52
Conference papers
hal-02936428v1
|
||
|
Ensuring Correctness of Model Transformations While Remaining DecidableTheoretical Aspects of Computing - ICTAC, Oct 2016, Taipei, Taiwan. pp.315 - 332, ⟨10.1007/978-3-319-46750-4_18⟩
Conference papers
hal-01403585v1
|
||
|
Announcements to Attentive AgentsJournal of Logic, Language and Information, 2015, vol. 25 (n° 1), pp. 1-35. ⟨10.1007/s10849-015-9234-3⟩
Journal articles
hal-01585237v1
|
||
|
Listen to me! Public announcements to agents that pay attention - or not4th International Workshop on Logic, Rationality and Interaction (LORI IV), Oct 2013, Hangzhou, China. pp.96-109, ⟨10.1007/978-3-642-40948-6_8⟩
Conference papers
hal-01187760v1
|
||
|
Ceteris Paribus Structure in Logics of Game Forms (2013)Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Jan 2013, Chennai, India. pp.1-11
Conference papers
hal-01141938v2
|
||
|
Type-theoretical natural language semantics: on the system F for meaning assemblyTYPES 2013, Apr 2013, Toulouse, France. pp.64--65
Conference papers
hal-00799685v1
|
||
Logics for multi-agent systems: a critical overviewInternational Joint Conference on Artificial Intelligence - IJCAI 2013, Aug 2013, Beijing, China. pp. 1-52
Conference papers
hal-01143735v1
|
|||
|
Judgment aggregation in dynamic logic of propositional assignmentsJournal of Logic and Computation, 2018, 28 (7), pp.1471-1498. ⟨10.1093/logcom/exy024⟩
Journal articles
hal-02089335v2
|
||
A short biography of Luis Fariñas del CerroJournal of Applied Non-Classical Logics, 2017
Journal articles
hal-01892914v1
|
|||
Axiomatization and completeness of lexicographic products of modal logics[Rapport de recherche] IRIT--2009, IRIT : Institut de Recherche en Informatique de Toulouse. 2009
Reports
hal-03997685v1
|
|||
|
Bisimulations for intuitionistic temporal logicsElectronic Notes in Theoretical Computer Science, 2020
Journal articles
hal-02936452v1
|
||
Axiomatization of logics based on Kripke models with relative accessibility relationsOrlowska, Ewa. Incomplete Information: Rough Set Analysis, STUDFUZZ 13 (Chapter 17), Physica-Verlag, pp.553--578, 1998, Studies in Fuzziness and Soft Computing, 978-3-7908-2457-5. ⟨10.1007/978-3-7908-1888-8_17⟩
Book sections
istex
hal-04010145v1
|
|||
A promenade from provability to consistencyLuis Fariñas del Cerro; Martti Penttonen. Intensional Logics for Programming, Oxford University Press, pp.195--219, 1992, Studies in Logic and Computation, 978-0198537755
Book sections
hal-04011846v1
|
|||
|
The finiteness of logic programming derivations3rd International Conference on Algebraic and Logic Programming (ALP 1992), Sep 1992, Volterra, Italy. pp.403-419, ⟨10.1007/BFb0013840⟩
Conference papers
istex
hal-03252315v1
|