Filtrer vos résultats
- 43
- 9
- 38
- 7
- 3
- 2
- 1
- 1
- 52
- 1
- 2
- 1
- 4
- 7
- 4
- 6
- 3
- 8
- 2
- 3
- 2
- 1
- 5
- 2
- 2
- 48
- 4
- 41
- 11
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 52
- 12
- 11
- 9
- 9
- 8
- 5
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
52 résultats
|
|
triés par
|
|
A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning (Extended Abstract)TIME 2023 - 30th International Symposium on Temporal Representation and Reasoning, Sep 2023, Athènes, Greece. pp.16:1-16:3, ⟨10.4230/LIPIcs.TIME.2023.16⟩
Communication dans un congrès
hal-04285276v1
|
||
Provability and Countermodels in Gödel-Dummett LogicsInternational Workshop on Disproving: Non-theorems, Non-validity, Non-Provability - DISPROVING'07, Jul 2007, Bremen, Germany. pp.35-52
Communication dans un congrès
hal-00580307v1
|
|||
Studying the use and effect of graph decomposition in qualitative spatial and temporal reasoningKnowledge Engineering Review, 2017, 32, pp.e4. ⟨10.1017/S026988891600014X⟩
Article dans une revue
hal-02067922v1
|
|||
|
MODÉLISATION ET LOGIQUE PROPOSITIONNELLE CLASSIQUEInformatique [cs]. Université d'Artois, 2019
HDR
tel-04285071v1
|
||
Calculi for an Intuitionistic Hybrid Modal LogicInternational Workshop on Intuitionistic Modal Logic and Applications - IMLA'08, Jun 2008, CMU, Pittsburg, United States. pp.15
Communication dans un congrès
hal-00580306v1
|
|||
|
A Resolution Method for Modal Logic S5GCAI 2015. Global Conference on Artificial Intelligence, Oct 2015, Tbilisi, Georgia. pp.252-240, ⟨10.29007/1zgr⟩
Communication dans un congrès
hal-02070297v1
|
||
A Qualitative Spatio-Temporal Framework Based on Point AlgebraArtificial Intelligence: Methodology, Systems, and Applications - 16th International Conference (AIMSA 2014), Sep 2014, Varna, Bulgaria. pp.117-128, ⟨10.1007/978-3-319-10554-3_11⟩
Communication dans un congrès
hal-02068068v1
|
|||
Provability and Countermodels in Go?del-Dummett LogicsInternational Workshop on Disproving: Non-theorems, Non-validity, Non-Provability - DISPROVING'07, 2007, Bremen, Germany
Communication dans un congrès
hal-03301181v1
|
|||
Optimization in temporal qualitative constraint networksActa Informatica, 2016, 53 (2), pp.149-170. ⟨10.1007/s00236-015-0228-z⟩
Article dans une revue
lirmm-01348069v1
|
|||
|
Structures multi-contextuelles et logiques modales intuititionnistes et hybridesAutre [cs.OH]. Université Henri Poincaré - Nancy 1, 2010. Français. ⟨NNT : 2010NAN10087⟩
Thèse
tel-01746336v1
|
||
On Reasoning about Access to KnowledgeThe 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'20), 2020, Alicante, Spain
Communication dans un congrès
hal-03301170v1
|
|||
Labelled Calculi for Lukasiewicz Logics15th International Workshop on Logic, Language, Information and Computation - WoLLIC '08, Jul 2008, Edinburgh, United Kingdom. pp.194--207
Communication dans un congrès
hal-00580305v1
|
|||
A general and declarative method for symmetry breaking in itemset miningFred, Ana and Dietz, G. Jan L. and Aveiro, David and Liu, Kecheng and Filipe, Joaquim. Knowledge Discovery, Knowledge Engineering and Knowledge Management: 6th International Joint Conference, IC3K 2014, Rome, Italy, October 21-24, 2014, Revised Selected Papers, IC3K 2014 - Revised Selected Best Papers, 2015, pp.143-160, 2015
Chapitre d'ouvrage
hal-01487997v1
|
|||
Label-free Natural Deduction Systems for Intuitionistic and Classical Modal LogicsJournal of Applied Non-Classical Logics, 2010, 20 (4), pp.373-421. ⟨10.3166/jancl.20.373-421⟩
Article dans une revue
hal-00580296v1
|
|||
|
Inconsistency Measurement for Paraconsistent InferenceThirtieth International Joint Conference on Artificial Intelligence {IJCAI-21}, Aug 2021, Montreal, France. pp.2033-2039, ⟨10.24963/ijcai.2021/280⟩
Communication dans un congrès
hal-03338575v1
|
||
On satisfiability problem in modal logic S55th ACM/SIGAPP Symposium on Applied Computing (SAC'20), 2020, Unknown, Unknown Region. pp.948-955
Communication dans un congrès
hal-03301169v1
|
|||
Graded Modal Logic {GS5} and Itemset Support SatisfiabilityInformation Search, Integration and Personalization (ISIP'13), 2013, Thailand. pp.131-140
Communication dans un congrès
hal-00866370v1
|
|||
A Mining-Based Compression Approach for Constraint Satisfaction Problems2013
Rapport
hal-00872785v1
|
|||
On Measuring Inconsistency Using Maximal Consistent Sets13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'15), 2015, Compiègne, France. pp.267-276, ⟨10.1007/978-3-319-20807-7_24⟩
Communication dans un congrès
hal-03301180v1
|
|||
|
Qualitative Reasoning and Data MiningInternational Symposium on Temporal Representation and Reasoning (TIME), 2019, Malaga, Spain. ⟨10.4230/LIPIcs.TIME.2019.9⟩
Communication dans un congrès
hal-03301176v1
|
||
Entailment Functions and Reasoning Under Inconsistency18th International Conference on Autonomous and MultiAgent Systems (AAMAS'19), 2019, Montréal, Canada
Communication dans un congrès
hal-03301174v1
|
|||
On the use and effect of graph decomposition in qualitative spatial and temporal reasoning30th Annual ACM Symposium on Applied Computing, Apr 2015, Salamanca, Spain. pp.1874-1879, ⟨10.1145/2695664.2695831⟩
Communication dans un congrès
hal-02068030v1
|
|||
Symmetries in Itemset Mining20th European Conference on Artificial Intelligence (ECAI '12), 2012, Montpellier, France. pp.432-437
Communication dans un congrès
hal-00865613v1
|
|||
Tractable Classes in Exactly-One-SATArtificial Intelligence: Methodology, Systems, and Applications - 18th International Conference (AIMSA'18), 2018, Varna, Bulgaria
Communication dans un congrès
hal-03300225v1
|
|||
A MIS Partition Based Framework for Measuring Inconsistency 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16), Apr 2016, Cape Town, South Africa
Communication dans un congrès
hal-01262615v1
|
|||
Quantifying Conflicts for Spatial and Temporal Information15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16), 2016, Cape Town, South Africa. pp.443-452
Communication dans un congrès
hal-03300298v1
|
|||
Tree-sequent calculi and decision procedures for intuitionistic modal logicsJournal of Logic and Computation, 2018, 28 (5), pp.967-989. ⟨10.1093/logcom/exv039⟩
Article dans une revue
hal-01258490v1
|
|||
|
On an MCS-based inconsistency measureInternational Journal of Approximate Reasoning, 2017, 80, pp.443 - 459. ⟨10.1016/j.ijar.2016.06.004⟩
Article dans une revue
hal-01696100v1
|
||
On Structure-Based Inconsistency Measures and Their Computations via Closed Set PackingProceedings of the Autonomous Agents and Multiagent Systems (AAMAS'15), May 2015, Istanbul, Turkey
Communication dans un congrès
hal-01139015v1
|
|||
|
Ordering Spatio-Temporal Sequences to Meet Transition Constraints: Complexity and Framework11th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI 2015), Sep 2015, Bayonne, France. pp.130-150, ⟨10.1007/978-3-319-23868-5_10⟩
Communication dans un congrès
hal-01385350v1
|
- 1
- 2