The well-founded semantics for general logic programs
Journal of the ACM · 1991 · 1.7K citations · 30 references
Applied LogicEngineeringData ScienceAutomated ReasoningGeneral Logic ProgramsAlert PreferencesFormal MethodsWell-founded SemanticsCitation AnalysisSemanticsHistory Of LogicAcmvolume 38IssueJournalismLogic Programming
article Free Access Share on The well-founded semantics for general logic programs Authors: Allen Van Gelder Univ. of California at Santa Cruz, Santa Cruz Univ. of California at Santa Cruz, Santa CruzView Profile , Kenneth A. Ross Sanford Univ., Stanford, CA Sanford Univ., Stanford, CAView Profile , John S. Schlipf Univ. of Cincinnati, Cincinnati, OH Univ. of Cincinnati, Cincinnati, OHView Profile Authors Info & Claims Journal of the ACMVolume 38Issue 3July 1991 pp 619–649https://doi.org/10.1145/116825.116838Published:01 July 1991Publication History 1,049citation2,024DownloadsMetricsTotal Citations1,049Total Downloads2,024Last 12 Months137Last 6 weeks34 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF
30
The stable model semantics for logic programming
Michael Gelfond, Vladimir Lifschitz · 1988
3.4K citations
Proceedings of the International Joint Conference on Artificial Intelligence 2007
Alan Bundy · International Joint Conference on Artificial Intelligence · 2007
Artificial IntelligenceAi ArchitectureArtificial Intelligence 2007+8
2.8K citations
The Semantics of Predicate Logic as a Programming Language
M. H. van Emden, Robert Kowalski · Journal of the ACM · 1976
1.5K citations
The complexity of relational query languages (Extended Abstract)
Moshe Y. Vardi · 1982
1.2K citations
Relational queries computable in polynomial time
Neil Immerman · Information and Control · 1986
646 citations