Title	Publication Date	Language	Citations
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