Search results for: Wolfgang Faber
Lecture Notes in Computer Science > Database Theory - ICDT 2005 > Session: Logic and Databases > 306-320
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 637-650
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Session 2. Technical Papers > 115-128
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Algorithms and Computation > 240-252
Lecture Notes in Computer Science > Computational Logic — CL 2000 > Knowledge Representation and Non-monotonic Reasoning > 807-821
Lecture Notes in Computer Science > Datalog Reloaded > Section 3: New Languages Extending Datalog > 282-301
Lecture Notes in Computer Science > Logic Programming and Nonmotonic Reasoning > Regular Papers > 295-308
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Session 5. System Descriptions > 477-482
Lecture Notes in Computer Science > Logics in Artificial Intelligence > Logic Programming and Nonmonotonic Reasoning > 200-212
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > ASP Competition > 388-403
Lecture Notes in Computer Science > Logic Programming and Nonmotonic Reasoning > System Description > 429-433
Lecture Notes in Computer Science > Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning > Foundations: ASP and Theories of LP, KR, and NMR > 44-63
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Technical Papers > 110-122
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Application Track > 379-383
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > System Descriptions > 326-330
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Technical Papers > 97-109