Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
Common knowledge does not have the Beth property
Information Processing Letters
Interpolation and Definability over the Logic Gl
Studia Logica
Synonymous theories and knowledge representations in answer set programming
Journal of Computer and System Sciences
Amalgamation through quantifier elimination for varieties of commutative residuated lattices
Archive for Mathematical Logic
Interpolable formulas in equilibrium logic and answer set programming
Journal of Artificial Intelligence Research
Beth definability in expressive description logics
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Proof complexity of non-classical logics
ESSLLI'10 Proceedings of the 2010 conference on ESSLLI 2010, and ESSLLI 2011 conference on Lectures on Logic and Computation
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
Beth definability in expressive description logics
Journal of Artificial Intelligence Research
| Hi-index | 0.00 |