Search results for: Terrance Swift
Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > Tabling - Agents > 264-278
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Regular Papers > 275-288
Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > Regular Papers > 332-349
Lecture Notes in Computer Science > Progress in Artificial Intelligence > Logic Programming > 163-177
Lecture Notes in Computer Science > Applications of Declarative Programming and Knowledge Management > Invited Talks > 1-19
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Contributed Papers > 206-220
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Contributed Papers > 262-276
Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > Non-Monotonic Reasoning - Answer Set Programming > 25-39
Lecture Notes in Computer Science > Computational Logic — CL 2000 > Logic Programming: Implementations and Applications > 1362-1376
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics and Programs > 115-132
Lecture Notes in Computer Science > Logic in Databases > 343-363
Lecture Notes in Computer Science > Logic Programming > Short Papers > 519-524
Lecture Notes in Computer Science > Logic Programming > Short Papers > 514-518
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics, and Programs > 243-258
Lecture Notes in Computer Science