Title	Publication Date	Language	Citations
Question answering and database querying: Bridging the gap with generalized quantification	2007/03/01	English	8
A geometric principle of indifference	2016/12/01	English	8
Intermediaries and intervenients in normative systems	2008/06/01	English	8
Applying automated deduction to natural language understanding	2009/03/01	English	8
A logic of non-monotonic interactions	2013/03/01	English	8
Complexity of modal logics with Presburger constraints	2010/09/01	English	8
A study on anomaly detection ensembles	2017/05/01	English	8
Problems and results for logics about imperatives	2004/03/01	English	8
A general method for proving decidability of intuitionistic modal logics	2006/09/01	English	8
An encompassing framework for Paraconsistent Logic Programs	2005/03/01	English	8
Execution architectures for program algebra	2007/03/01	English	8
MizarMode—an integrated proof assistance tool for the Mizar way of formalizing mathematics	2006/12/01	English	8
Ultralarge lotteries: Analyzing the Lottery Paradox using non-standard analysis	2013/12/01	English	8
Hilbert's epsilon as an operator of indefinite committed choice	2008/09/01	English	7
On the logical structure of de Finetti's notion of event	2014/09/01	English	7
Investigation on evolutionary predictive control of chemical reactor	2015/06/01	English	7
Abducted by Bayesians?	2013/12/01	English	7
Cut elimination for a logic with induction and co-induction	2012/12/01	English	7
Skew lattices and binary operations on functions	2013/09/01	English	7
Combinations of tense and deontic modality: On the Rt approach to temporal logic with historical necessity and conditional obligation	2005/09/01	English	7
A formalisation of violation, error recovery, and enforcement in the bit transmission problem	2004/03/01	English	7
Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons)	2017/12/01	English	7
Formal analysis of SEU mitigation for early dependability and performability analysis of FPGA-based space applications	2017/12/01	English	7
On the structure of paraconsistent extensions of Johansson's logic	2005/03/01	English	7
Using abduction and induction for operational requirements elaboration	2009/09/01	English	7
Computing finite models by reduction to function-free clause logic	2009/03/01	English	7
One-dimensional vs. two-dimensional based features: Plant identification approach	2017/11/01	English	7
Probabilities of counterfactuals and counterfactual probabilities	2014/09/01	English	7
Two adaptive logics of norm-propositions	2013/06/01	English	7
The complexity of satisfiability for fragments of hybrid logic—Part I	2010/12/01	English	7