Filter your results
- 8
- 2
- 6
- 2
- 1
- 1
- 10
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 10
- 9
- 1
- 1
- 5
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
Automatic Service Composition Via SimulationUTOMATICInternational Journal of Foundations of Computer Science, 2008, 19 (2), pp.429-451
Journal articles
hal-00801272v1
|
|||
|
A Symbolic Approach for Counterfactual ExplanationsDavis, J., Tabia, K. (eds) Scalable Uncertainty Management (SUM2020), 2020, Bozen-Bolzano, Italy. pp.270-277, ⟨10.1007/978-3-030-58449-8_21⟩
Conference papers
hal-04173185v1
|
||
|
A Model-Agnostic SAT-based Approach for Symbolic Explanation EnumerationThe 23rd International Conference on Artificial Intelligence (ICAI'21), Jul 2021, Las Vegas, United States. https://www.springer.com/series/11769
Conference papers
hal-03614117v1
|
||
On the Decidability of a Fragment of preferential LTLInternational Symposium on Temporal Representation and Reasoning (TIME), 2019, Malaga, Spain. pp.19:1--19:19
Conference papers
hal-03300290v1
|
|||
|
Symbolic Explanations for Multi-Label Classification15th International Conference on Agents and Artificial Intelligence, Feb 2023, Lisbon, Portugal. pp.342-349, ⟨10.5220/0011668700003393⟩
Conference papers
hal-04173155v1
|
||
|
ASTERYX: A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanationsCIKM '21: The 30th ACM International Conference on Information and Knowledge Management, 2021, Virtual Event Queensland Australia, Australia. pp.120-129, ⟨10.1145/3459637.3482321⟩
Conference papers
hal-04173171v1
|
||
Defeasible linear temporal logicJournal of Applied Non-Classical Logics, In press, pp.1-51. ⟨10.1080/11663081.2023.2209494⟩
Journal articles
hal-04098600v1
|
|||
A One-Pass Tree-Shaped Tableau for Defeasible LTL28th International Symposium on Temporal Representation and Reasoning (TIME 2021), Alpen-Adria-Universität Klagenfurt, Sep 2021, Klagenfurt, Austria. pp.16:1-16:18, ⟨10.4230/LIPIcs.TIME.2021.16⟩
Conference papers
hal-03699248v1
|
|||
Web Services Composition Problem: Model and ComplexityNikola Milanovic. Engineering Reliable Service Oriented Architecture, IGI Global, pp.175-198, 2011, Advances in Web Technologies and Engineering, 978-1609604936. ⟨10.4018/978-1-60960-493-6.ch009⟩
Book sections
hal-04135885v1
|
|||
|
Computational Analysis of Interacting Web Services: a Logical Approach[Research Report] IRIT : Institut de recherche en informatique de Toulouse. 2010, pp.1-18
Reports
hal-00872818v1
|