Theoretical Computer Science · 1997 · 181 citations · 19 references
Natural Language ProcessingEngineeringInformation RetrievalQuestion AnsweringData ScienceAutomated ReasoningComputational LinguisticsQuery ModelComputer ScienceApproximate Query Answering
19
The stable model semantics for logic programming
Michael Gelfond, Vladimir Lifschitz · 1988 · 3.4K citations
The well-founded semantics for general logic programs
Allen Van Gelder, Kenneth A. Ross, John S. Schlipf · Journal of the ACM · 1991 · 1.7K citations
Probabilistic Inference and Influence Diagrams
Ross D. Shachter · Operations Research · 1988 · 496 citations