Title	Publication Date	Language	Citations
Computing the least common subsumer w.r.t. a background terminology	2007/09/01	English	14
Cogex: A semantically and contextually enriched logic prover for question answering	2007/03/01	English	14
The monadic second-order logic of graphs XV: On a conjecture by D. Seese	2006/03/01	English	14
Automata for the verification of monadic second-order graph properties	2012/12/01	English	14
Gödel spaces and perfect MV-algebras	2015/09/01	English	14
The axiomatization of override and update	2010/03/01	English	13
Circle graphs and monadic second-order logic	2008/09/01	English	13
Propositional relevance through letter-sharing	2009/12/01	English	13
Fresh Logic: proof-theory and semantics for FM and nominal techniques	2007/06/01	English	13
A QBF-based formalization of abstract argumentation semantics	2013/06/01	English	13
Substantive and procedural norms in normative multiagent systems	2008/06/01	English	12
Reasoning through doing. Epistemic mediators in scientific discovery	2004/12/01	English	12
Probabilistic argumentation	2009/06/01	English	12
Axiomatizing geometric constructions	2008/03/01	English	12
Efficiently checking propositional refutations in HOL theorem provers	2009/03/01	English	12
A calculus for orchestration of web services	2012/03/01	English	12
TPS: A hybrid automatic-interactive system for developing proofs	2006/12/01	English	11
Deontic action logic, atomic boolean algebras and fault-tolerance	2009/12/01	English	11
A deontic logic framework allowing for factual detachment	2011/03/01	English	11
The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself	2008/12/01	English	11
Nonmonotonic conditionals that behave like conditional probabilities above a threshold	2007/12/01	English	11
A general tableau method for propositional interval temporal logics: Theory and implementation	2006/09/01	English	11
Parameter selection based on fuzzy logic to improve UAV path-following algorithms	2017/11/01	English	11
The modelling and design process of coordination mechanisms in the supply chain	2017/11/01	English	11
Formalization of Reliability Block Diagrams in Higher-order Logic	2016/11/01	English	11
Epistemic protocols for dynamic gossip	2017/03/01	English	11
An epistemic and dynamic approach to abductive reasoning: Abductive problem and abductive solution	2013/12/01	English	11
Models for a paraconsistent set theory	2005/03/01	English	11
Why indeterminate probability is rational	2009/12/01	English	11
Simplified method based on an intelligent model to obtain the extinction angle of the current for a single-phase half wave controlled rectifier with resistive and inductive load	2015/03/01	English	11