| Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA | 2010/12/01 | English | 6 |
| Combining genetic algorithms and the finite element method to improve steel industrial processes | 2012/12/01 | English | 6 |
| Aristotle's Thesis between paraconsistency and modalization | 2005/03/01 | English | 6 |
| A neural implementation of multi-adjoint logic programming | 2004/09/01 | English | 6 |
| Verifiable agent dialogues | 2007/06/01 | English | 6 |
| Addressing moral problems through practical reasoning | 2008/06/01 | English | 6 |
| Selectional restrictions, types and categories | 2014/03/01 | English | 6 |
| Information, confirmation, and conditionals | 2014/09/01 | English | 6 |
| Deductive databases for computing certain and consistent answers from mediated data integration systems | 2005/06/01 | English | 6 |
| On modal μ-calculus with explicit interpolants | 2006/09/01 | English | 6 |
| Reasoning about XML with temporal logics and automata | 2010/06/01 | English | 6 |
| The fallacy of composition: Guiding concepts, historical cases, and research problems | 2015/06/01 | English | 6 |
| Identification of abnormal movements with 3D accelerometer sensors for seizure recognition | 2017/11/01 | English | 6 |
| Algebraic model counting | 2017/07/01 | English | 6 |
| A model of type theory in simplicial sets | 2014/03/01 | English | 6 |
| Representation of interlaced trilattices | 2013/06/01 | English | 6 |
| Translating regular expression matching into transducers | 2012/03/01 | English | 6 |
| Fuzzy microaggregation for the transparency principle | 2017/09/01 | English | 6 |
| Combined reasoning by automated cooperation | 2008/09/01 | English | 6 |
| Answer comparison in automated question answering | 2007/03/01 | English | 6 |
| On the complexity of input/output logic | 2017/12/01 | English | 5 |
| A small look at the ear recognition process using a hybrid approach | 2016/09/01 | English | 5 |
| LEO-II and Satallax on the Sledgehammer test bench | 2013/03/01 | English | 5 |
| A propositional linear time logic with time flow isomorphic toω2 | 2014/06/01 | English | 5 |
| Normative positions within an algebraic approach to normative systems | 2004/03/01 | English | 5 |
| A neural cognitive model of argumentation with application to legal inference and decision making | 2014/06/01 | English | 5 |
| Axiomatizing hybrid products | 2010/12/01 | English | 5 |
| Natural deduction for bi-intuitionistic logic | 2017/12/01 | English | 5 |
| Representable posets | 2016/07/01 | English | 5 |
| Hybrid evolutionary workflow scheduling algorithm for dynamic heterogeneous distributed computational environment | 2017/11/01 | English | 5 |