The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Badran Raddaoui" ( http://dblp.L3S.de/Authors/Badran_Raddaoui )

  Author page on DBLP  Author page in RDF  Community of Badran Raddaoui in ASPL-2

Publication years (Num. hits)
2010-2016 (22) 2017-2018 (18) 2019 (3)
Publication types (Num. hits)
article(9) inproceedings(34)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 44 publication records. Showing 43 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jerry Lonlac, Saïd Jabbour, Engelbert Mephu Nguifo, Lakhdar Saïs, Badran Raddaoui Extracting Frequent Gradual Patterns Using Constraints Modeling. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais Représentations compactes des graphes et contraintes pseudo booléennes. Search on Bibsonomy EGC The full citation details ... 2019 DBLP  BibTeX  RDF
1Saïd Jabbour, Yue Ma, Badran Raddaoui Towards a Prudent Argumentation Framework for Reasoning with Imperfect Ontologies. Search on Bibsonomy Description Logics The full citation details ... 2019 DBLP  BibTeX  RDF
1Hela Sfar, Amel Bouzeghoub, Badran Raddaoui Early anomaly detection in smart home: A causal association rule-based approach. Search on Bibsonomy Artificial Intelligence in Medicine The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Abdelhamid Boudane, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais Efficient Encodings of Conditional Cardinality Constraints. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Badran Raddaoui On the measure of conflicts: an argumentation-based framework. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Abdelhamid Boudane, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais Efficient SAT-Based Encodings of Conditional Cardinality Constraints. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais Pushing the Envelope in Overlapping Communities Detection. Search on Bibsonomy IDA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais Detecting Highly Overlapping Community Structure by Model-based Maximal Clique Expansion. Search on Bibsonomy BigData The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Imen Ouled Dlala, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais A Parallel SAT-Based Framework for Closed Frequent Itemsets Mining. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Fatima Ezzahra Mana, Imen Ouled Dlala, Badran Raddaoui, Lakhdar Sais On Maximal Frequent Itemsets Mining with Constraints. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais Triangle-Driven Community Detection in Large Graphs Using Propositional Satisfiability. Search on Bibsonomy AINA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Meriem Ammoura, Yakoub Salhi, Brahim Oukacha, Badran Raddaoui On an MCS-based inconsistency measure. Search on Bibsonomy Int. J. Approx. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais Quantifying conflicts in propositional logic through prime implicates. Search on Bibsonomy Int. J. Approx. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais Finding Overlapping Communities in Networks Using Propositional Satisfiability. Search on Bibsonomy EDA The full citation details ... 2017 DBLP  BibTeX  RDF
1Amal Ayach, Layth Sliman, Mourad Kmimech, Mohamed Tahar Bhiri, Badran Raddaoui Towards a Formal Verification Approach for Cloud Software Architecture. Search on Bibsonomy SoMeT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui Towards a Formal Verification Approach for Service Component Architecture. Search on Bibsonomy SoMeT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais A SAT-Based Framework for Overlapping Community Detection in Networks. Search on Bibsonomy PAKDD (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui Behavioral Verification of Service Component Architecture. Search on Bibsonomy WETICE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Amel Bouzeghoub, Saïd Jabbour, Yue Ma, Badran Raddaoui Handling conflicts in uncertain ontologies using deductive argumentation. Search on Bibsonomy WI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hela Sfar, Badran Raddaoui, Amel Bouzeghoub Reasoning Under Conflicts in Smart Environment. Search on Bibsonomy ICONIP (3) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi On the Computation of Top-k Extensions in Abstract Argumentation Frameworks. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ahmed Samet, Badran Raddaoui, Tien-Tuan Dao, Allel Hadjali Argumentation Framework Based on Evidence Theory. Search on Bibsonomy IPMU (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Badran Raddaoui, Lakhdar Sais Knowledge Base Compilation for Inconsistency Measures. Search on Bibsonomy ICAART (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Badran Raddaoui, Ahmed Samet Mining Frequent Patterns from Correlated Incomplete Databases. Search on Bibsonomy ICAART (2) The full citation details ... 2016 DBLP  BibTeX  RDF
1Saïd Jabbour, Nizar Mhadhbi, Abdesattar Mhadhbi, Badran Raddaoui, Lakhdar Sais Summarizing big graphs by means of pseudo-boolean constraints. Search on Bibsonomy BigData The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Imen Ouled Dlala, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais, Boutheina Ben Yaghlane A SAT-Based Approach for Enumerating Interesting Patterns from Uncertain Data. Search on Bibsonomy ICTAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi A MIS Partition Based Framework for Measuring Inconsistency. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
1Jean-François Condotta, Badran Raddaoui, Yakoub Salhi Quantifying Conflicts for Spatial and Temporal Information. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
1Philippe Besnard, Éric Grégoire, Badran Raddaoui Un système argumentatif pour le raisonnement sur des ressources limitées. Search on Bibsonomy Revue d'Intelligence Artificielle The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Meriem Ammoura, Badran Raddaoui, Yakoub Salhi, Brahim Oukacha On Measuring Inconsistency Using Maximal Consistent Sets. Search on Bibsonomy ECSQARU The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Badran Raddaoui, Lakhdar Sais Inconsistency-based Ranking of Knowledge Bases. Search on Bibsonomy ICAART (2) The full citation details ... 2015 DBLP  BibTeX  RDF
1Badran Raddaoui Computing Inconsistency Using Logical Argumentation. Search on Bibsonomy ICAART (2) The full citation details ... 2015 DBLP  BibTeX  RDF
1Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing. Search on Bibsonomy AAMAS The full citation details ... 2015 DBLP  BibTeX  RDF
1Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi On the measure of conflicts: A MUS-Decomposition Based Framework. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais Prime Implicates Based Inconsistency Characterization. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais On the Characterization of Inconsistency: A Prime Implicates Based Framework. Search on Bibsonomy ICTAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Yue Ma, Badran Raddaoui Inconsistency measurement thanks to mus decomposition. Search on Bibsonomy AAMAS The full citation details ... 2014 DBLP  BibTeX  RDF
1Philippe Besnard, Éric Grégoire, Badran Raddaoui A Conditional Logic-Based Argumentation Framework. Search on Bibsonomy SUM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Badran Raddaoui Measuring Inconsistency through Minimal Proofs. Search on Bibsonomy ECSQARU The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui Calcul d'arguments et de contre-arguments fondé sur les noyaux inconsistants. Search on Bibsonomy Revue d'Intelligence Artificielle The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Philippe Besnard, Éric Grégoire, Badran Raddaoui An Argumentation Framework for Reasoning about Bounded Resources. Search on Bibsonomy ICTAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui MUS-based generation of arguments and counter-arguments. Search on Bibsonomy IRI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #43 of 43 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license