Search results for: Ilkka Niemelä
Lecture Notes in Computer Science > Logic Programming and Nonmotonic Reasoning > Regular Papers > 200-212
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP’99 > Regular Papers > 419-433
Lecture Notes in Computer Science > Artificial Intelligence: Methodology, Systems, and Applications > Constraints, Heuristics, and Search > 247-261
Lecture Notes in Computer Science > Logics in AI > 428-443
Lecture Notes in Computer Science > Computational Logic — CL 2000 > Automated Deduction: Putting Theory into Practice > 553-567
Lecture Notes in Computer Science > CSL '88 > 226-239
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Session 1. Invited Talks > 3-3
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Session 2. Technical Papers > 155-168
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 1. Constraint Solving > 31-46
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > System Descriptions > 331-335
Lecture Notes in Computer Science > Applications of Declarative Programming and Knowledge Management > Knowledge Management and Decision Support > 134-148
Lecture Notes in Computer Science > Theorem Proving with Analytic Tableaux and Related Methods > 278-294
Lecture Notes in Computer Science > Logics in Artificial Intelligence > Actions and Causation > 307-319
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Session 2. Technical Papers > 142-154