Search results for: Martin Gebser
KI - Künstliche Intelligenz > 2018 > 32 > 2-3 > 181-182
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > System Competition. Summary of System Competition > 637-654
Lecture Notes in Computer Science > Logic Programming > Constraints I > 250-264
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Technical Papers > 136-148
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 95-109
Lecture Notes in Computer Science > Foundations of Information and Knowledge Systems > Regular Papers > 24-41
Lecture Notes in Computer Science > Logics in Artificial Intelligence > System Descriptions > 360-364
Lecture Notes in Computer Science > Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning > Foundations: ASP and Theories of LP, KR, and NMR > 74-90
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Invited Talks/Competition > 3-17
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Session 7. Short Application Papers > 598-603
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > System Descriptions > 260-265
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > System Descriptions > 266-271
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > ASP Foundations > 53-65
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > System Track > 422-426
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Session 5. System Descriptions > 502-508
Lecture Notes in Computer Science > Recent Advances in Parallel Virtual Machine and Message Passing Interface > Applications > 64-72
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Technical Papers > 149-161
Lecture Notes in Computer Science > Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems > Regular Papers > 71-86