Search results for: Michael Gelfond
Annals of Mathematics and Artificial Intelligence > 2019 > 86 > 1-3 > 149-192
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Short Technical Papers > 260-265
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Posters > 309-314
Lecture Notes in Computer Science > Logic Programming and Nonmotonic Reasoning > Regular Papers > 213-225
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Actions and Causations > 172-184
Lecture Notes in Computer Science > Computational Logic: Logic Programming and Beyond > Logic for Action and Change > 413-451
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Regular Papers > 21-33
Lecture Notes in Computer Science > Datalog Reloaded > Section 3: New Languages Extending Datalog > 369-383
Artificial Intelligence > 2011 > 175 > 1 > 79-119