Search results
Fundamenta Informaticae > 2016 > Vol. 148, nr 1/2 > 157--172
Theoretical Computer Science > 2016 > 656 > PA > 76-105
Lecture Notes in Computer Science > KI 2006: Advances in Artificial Intelligence > Session 9. Agents > 419-433
Lecture Notes in Computer Science > Rough Sets and Current Trends in Computing > Machine Learning and Data Mining > 404-411
Lecture Notes in Computer Science > Automata, Languages and Programming > Session 7-Track B. Logic > 381-392
Studia Logica > 2017 > 105 > 1 > 13-35
Journal of Logic, Language and Information > 2016 > 25 > 3-4 > 299-333
International Journal of Approximate Reasoning > 2016 > 77 > C > 55-65
Discrete Event Dynamic Systems > 2017 > 27 > 1 > 109-142
Mathematical Logic Quarterly > 62 > 4-5 > 412 - 419
Annals of Pure and Applied Logic > 2016 > 167 > 8 > 615-648
Journal of Evaluation in Clinical Practice > 22 > 4 > 509 - 514
Theoretical Computer Science > 2016 > 637 > C > 30-58
Journal of Philosophical Logic > 2017 > 46 > 4 > 419-441
Electronic Notes in Theoretical Computer Science > 2016 > 323 > C > 143-161
Journal of Applied Logic > 2016 > 16 > C > 14-36