| An evolutionary system for neural logic networks using genetic programming and indirect encoding | 2004/09/01 | English | 4 |
| Logic programs, iterated function systems, and recurrent radial basis function networks | 2004/09/01 | English | 4 |
| A brief history of negation | 2010/09/01 | English | 4 |
| Agent deliberation in an executable temporal framework | 2011/12/01 | English | 4 |
| Future determination of entities in Talmudic public announcement logic | 2013/03/01 | English | 4 |
| An intelligent task analysis approach for special education based on MIRA | 2013/03/01 | English | 4 |
| Stochastic λ-calculi: An extended abstract | 2014/09/01 | English | 4 |
| Constraint LTL satisfiability checking without automata | 2014/12/01 | English | 4 |
| Preservation of Craig interpolation by the product of matrix logics | 2013/09/01 | English | 4 |
| Preferential theory revision | 2007/12/01 | English | 4 |
| Smarandache BL-algebra | 2010/09/01 | English | 4 |
| Justification logics and hybrid logics | 2010/12/01 | English | 4 |
| Deciding the word problem in pure double Boolean algebras | 2012/09/01 | English | 4 |
| On harmony and permuting conversions | 2017/05/01 | English | 4 |
| Natural language semantics in biproduct dagger categories | 2014/03/01 | English | 3 |
| Division by zero in non-involutive meadows | 2015/03/01 | English | 3 |
| Robot location estimation in the situation calculus | 2015/12/01 | English | 3 |
| The existence of superluminal particles is consistent with relativistic dynamics | 2014/12/01 | English | 3 |
| The categorical imperative: Category theory as a foundation for deontic logic | 2014/12/01 | English | 3 |
| The paradoxes of permission an action based solution | 2014/06/01 | English | 3 |
| Disjunctive logic programming with types and objects: The DLV+ system | 2007/09/01 | English | 3 |
| Line-based affine reasoning in Euclidean plane | 2007/09/01 | English | 3 |
| Authenticity: a red herring? | 2008/12/01 | English | 3 |
| The Philosophy of Computer Science | 2008/12/01 | English | 3 |
| Combining Probability and Logic | 2009/06/01 | English | 3 |
| Modal definability of first-order formulas with free variables and query answering | 2013/06/01 | English | 3 |
| Lightweight hybrid tableaux | 2010/12/01 | English | 3 |
| Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction) | 2010/12/01 | English | 3 |
| The countable versus uncountable branching recurrences in computability logic | 2012/12/01 | English | 3 |
| Rule-based schema matching for ontology-based mediators | 2005/06/01 | English | 3 |