Title	Publication Date	Language	Citations
On obligations and normative ability: Towards a logical analysis of the social contract	2005/09/01	English	20
Combining linear-time temporal logic with constructiveness and paraconsistency	2010/03/01	English	19
An efficient Reverse Distribution System for solving sustainable supply chain network design problem	2015/06/01	English	19
Improving ontology-based text classification: An occupational health and security application	2016/09/01	English	19
Modeling group assessments by means of hesitant fuzzy linguistic term sets	2017/09/01	English	19
Is it worth generating rules from neural network ensembles?	2004/09/01	English	19
Model checking propositional dynamic logic with all extras	2006/03/01	English	19
A verification framework for agent programming with declarative goals	2007/06/01	English	19
Similarity based approximate reasoning: fuzzy control	2008/03/01	English	19
The seven virtues of simple type theory	2008/09/01	English	18
Inconsistency-tolerant description logic. Part II: A tableau algorithm for CALCC	2008/09/01	English	18
Naturalizing logic	2015/03/01	English	18
Transitivity in coherence-based probability logic	2016/03/01	English	18
An intelligent fault detection system for a heat pump installation based on a geothermal heat exchanger	2016/09/01	English	18
Specifying and verifying interaction protocols in a temporal action logic	2007/06/01	English	17
The three bases for the enthymeme: A dialogical theory	2008/09/01	English	17
Extended-order algebras	2008/12/01	English	17
Innovations in computational type theory using Nuprl	2006/12/01	English	17
A more general general proof theory	2017/12/01	English	17
A modal type theory for formalizing trusted communications	2012/03/01	English	16
On database query languages for K-relations	2010/06/01	English	16
Analysis of meteorological conditions in Spain by means of clustering techniques	2017/11/01	English	16
Sensorless control of variable speed induction motor drive using RBF neural network	2017/11/01	English	16
Intuitionistic hybrid logic	2006/09/01	English	16
A hybrid evolutionary model for supplier assessment and selection in inbound logistics	2015/06/01	English	16
Anti-intuitionism and paraconsistency	2005/03/01	English	15
Termination of logic programs with imperfect information: applications and query procedure	2007/09/01	English	15
Conditionals and consequences	2007/12/01	English	15
Action negation and alternative reductions for dynamic deontic logics	2004/03/01	English	14
Cut-free common knowledge	2007/12/01	English	14