| Logic-based XML data integration: a semi-materializing approach | 2005/06/01 | English | 3 |
| Enhancing smart-home environments using Magentix2 | 2017/11/01 | English | 3 |
| Intuitionistic common knowledge or belief | 2016/11/01 | English | 3 |
| What kind of independence do we need for multiple iterated belief change? | 2017/07/01 | English | 3 |
| Summarizing information by means of causal sentences through causal graphs | 2017/11/01 | English | 3 |
| A history based approximate epistemic action theory for efficient postdictive reasoning | 2015/12/01 | English | 3 |
| Lakatos's criticism of Carnapian inductive logic was mistaken | 2016/03/01 | English | 3 |
| Eradication | 2012/03/01 | English | 3 |
| Continuity and geometric logic | 2014/03/01 | English | 3 |
| Temporal alethic–deontic logic and semantic tableaux | 2012/09/01 | English | 3 |
| Quine on intensional entities: Modality and quantification, truth and satisfaction | 2012/09/01 | English | 3 |
| Reasoning about conditional probabilities in a higher-order-logic theorem prover | 2011/03/01 | English | 3 |
| On the consistency problem for the INDU calculus | 2006/06/01 | English | 3 |
| Deduction chains for common knowledge | 2006/09/01 | English | 3 |
| Definability and decidability of binary predicates for time granularity | 2006/06/01 | English | 3 |
| Transformation of fractions into simple fractions in divisive meadows | 2016/07/01 | English | 3 |
| Causal discovery and the problem of ignorance. An adaptive logic approach | 2009/06/01 | English | 3 |
| Simplified forms of computerized reasoning with distance semantics | 2011/03/01 | English | 3 |
| A labeled argumentation framework | 2015/12/01 | English | 3 |
| Towards the logic of projective identification | 2015/09/01 | English | 3 |
| Temporal logics for concurrent recursive programs: Satisfiability and model checking | 2014/12/01 | English | 3 |
| Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty | 2013/09/01 | English | 3 |
| Runtime verification using the temporal description logic ALC-LTL revisited | 2014/12/01 | English | 3 |
| A consistency-based framework for merging knowledge bases | 2007/09/01 | English | 3 |
| Experimenting with computing | 2008/12/01 | English | 3 |
| Error analysis of digital filters using HOL theorem proving | 2007/12/01 | English | 3 |
| Logic-Based Agent Verification | 2007/06/01 | English | 3 |
| Correlations of spaces of pencils | 2012/06/01 | English | 3 |
| Lexicographic pseudo MV-algebras | 2015/12/01 | English | 3 |
| Automatic knowledge learning and case adaptation with a hybrid committee approach | 2006/03/01 | English | 3 |