![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Exact matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 77 matches
- 2023
- Yakoub Salhi, Michael Sioutis:
A Paraconsistency Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning. ECAI 2023: 2049-2056 - Yakoub Salhi, Michael Sioutis:
A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning. KR 2023: 604-613 - Yakoub Salhi, Michael Sioutis:
Prime Scenarios in Qualitative Spatial and Temporal Reasoning. TIME 2023: 5:1-5:14 - Yakoub Salhi, Michael Sioutis:
A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning (Extended Abstract). TIME 2023: 16:1-16:3 - 2022
- Loubna Salhi
, Mohammed Seaïd, Driss Yakoubi:
Well-posedness and numerical approximation of steady convection-diffusion-reaction problems in porous media. Comput. Math. Appl. 124: 129-148 (2022) - Abderrahmane Boukontar, Jean-François Condotta, Yakoub Salhi:
Knowledge Discovery from Qualitative Spatial and Temporal Data. ICTAI 2022: 451-458 - Souhila Kaci, Yakoub Salhi:
Belief selection through argumentation. SAC 2022: 889-896 - 2021
- Yakoub Salhi:
Quantification of Resource Production Incompleteness. AAAI 2021: 6480-6487 - Yakoub Salhi:
Inconsistency Measurement for Paraconsistent Inference. IJCAI 2021: 2033-2039 - 2020
- Yakoub Salhi:
A Framework for Measuring Information Asymmetry. AAAI 2020: 2983-2990 - Yakoub Salhi:
Inconsistency Measurement for Improving Logical Formula Clustering. IJCAI 2020: 1891-1897 - Yakoub Salhi
:
On Reasoning about Access to Knowledge. LPAR 2020: 449-464 - Yakoub Salhi
:
On satisfiability problem in modal logic S5. SAC 2020: 948-955 - 2019
- Yakoub Salhi:
ModéLisation et logique propositionnelle classique. (Modeling and Classical Propositional Logic). Artois University, Arras, France, 2019 - Yakoub Salhi:
On an Argument-centric Persuasion Framework. AAMAS 2019: 1279-1287 - Yakoub Salhi:
Entailment Functions and Reasoning Under Inconsistency. AAMAS 2019: 2183-2185 - Yakoub Salhi
:
On Enumerating All the Minimal Models for Particular CNF Formula Classes. ICAART (2) 2019: 403-410 - Yazid Boumarafi, Yakoub Salhi
:
On Solving Exactly-One-SAT. ICTAI 2019: 10-17 - Yakoub Salhi
:
Measuring Inconsistency Through Subformula Forgetting. SUM 2019: 184-191 - Yakoub Salhi
:
Qualitative Reasoning and Data Mining. TIME 2019: 9:1-9:15 - 2018
- Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
:
SAT-Based Data Mining. Int. J. Artif. Intell. Tools 27(1): 1840002:1-1840002:24 (2018) - Saïd Jabbour, Jerry Lonlac
, Lakhdar Saïs, Yakoub Salhi
:
Revisiting the Learned Clauses Database Reduction Strategies. Int. J. Artif. Intell. Tools 27(8): 1850033:1-1850033:19 (2018) - Didier Galmiche, Yakoub Salhi
:
Tree-sequent calculi and decision procedures for intuitionistic modal logics. J. Log. Comput. 28(5): 967-989 (2018) - Yazid Boumarafi, Yakoub Salhi
:
Tractable Classes in Exactly-One-SAT. AIMSA 2018: 197-206 - Yakoub Salhi
:
Approaches for Enumerating All the Essential Prime Implicants. AIMSA 2018: 228-239 - Yakoub Salhi:
A Method for Generating all the Prime Implicants of Binary CNF Formulas. ISAIM 2018 - 2017
- Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
:
Mining Top-k motifs with a SAT-based framework. Artif. Intell. 244: 30-47 (2017) - Meriem Ammoura
, Yakoub Salhi
, Brahim Oukacha, Badran Raddaoui:
On an MCS-based inconsistency measure. Int. J. Approx. Reason. 80: 443-459 (2017) - Michael Sioutis
, Yakoub Salhi
, Jean-François Condotta:
Studying the use and effect of graph decomposition in qualitative spatial and temporal reasoning. Knowl. Eng. Rev. 32: e4 (2017) - Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi:
Une approche logique pour la fouille de règles d'association. EGC 2017: 357-362
skipping 47 more matches
loading more results
failed to load more results, please try again later
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-06-10 18:25 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint