Search results for: Mirosław Truszczyński
Annals of Mathematics and Artificial Intelligence > 2019 > 87 > 1-2 > 137-155
Lecture Notes in Computer Science > Computational Logic — CL 2000 > Knowledge Representation and Non-monotonic Reasoning > 673-687
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > System Competition. Summary of System Competition > 637-654
European Journal of Combinatorics > 2016 > 57 > C > 57-70
Artificial Intelligence > 2016 > 236 > C > 65-89
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Contributed Papers > 49-62
Lecture Notes in Computer Science > Rough Sets and Intelligent Systems Paradigms > Invited Papers > 22-28
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Invited Talks/Competition > 3-17
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2003 > Full Papers > 495-509
Lecture Notes in Computer Science > Logic Programming > Regular Papers > 209-223
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > ASP Foundations > 66-78
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > System Descriptions > 351-355