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