Title	Publication Date	Language	Citations
On the combination of support vector machines and segmentation algorithms for anomaly detection: A petroleum industry comparative study	2017/11/01	English	5
Reasoning with prioritized information by iterative aggregation of distance functions	2008/12/01	English	5
A logical framework for privacy-preserving social network publication	2014/06/01	English	5
Quantum-like logics and schizophrenia	2012/03/01	English	5
Towards classifying propositional probabilistic logics	2014/09/01	English	5
Complete axiomatizations for XPath fragments	2010/06/01	English	5
Combining classical logic, paraconsistency and relevance	2005/03/01	English	5
Open answer set programming for the semantic web	2007/03/01	English	5
Approximate postdictive reasoning with answer set programming	2015/12/01	English	5
Formal assessment of reliability specifications in embedded cyber-physical systems	2016/11/01	English	5
Propositional dynamic logic for searching games with errors	2014/12/01	English	5
Rich deontic logic: a preliminary study	2004/03/01	English	4
Measuring coherence using LP-models	2004/12/01	English	4
Formalization of the ad hominem argumentation scheme	2010/03/01	English	4
Undoing the effects of action sequences	2008/09/01	English	4
Formal reliability analysis of combinational circuits using theorem proving	2011/03/01	English	4
A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics	2015/12/01	English	4
Abduction: A categorical characterization	2015/03/01	English	4
Relativized common knowledge for dynamic epistemic logic	2015/09/01	English	4
Similarity-based relaxed instance queries	2015/12/01	English	4
Recognition of damaged letters based on mathematical fuzzy logic analysis	2015/06/01	English	4
The Hennessy–Milner equivalence for continuous time stochastic logic with mu-operator	2007/09/01	English	4
Marketing impact on diffusion in social networks	2017/03/01	English	4
Strongly polynomial sequences as interpretations	2016/11/01	English	4
Data-driven type checking in open domain question answering	2007/03/01	English	4
Efficient spatio-temporal data mining with GenSpace graphs	2006/06/01	English	4
Qualitative probabilistic inference under varied entropy levels	2016/12/01	English	4
On expressive power of basic modal intuitionistic logic as a fragment of classical FOL	2017/05/01	English	4
Structure features for SAT instances classification	2017/09/01	English	4
Revisiting da Costa logic	2016/07/01	English	4