Concepedia
The Journal of Logic Programming · 1997 · 1K citations · 20 references
ComputingComputer ScienceKnowledge RepresentationLogicProgramming LanguagesDomain-specific LanguagesLogic ProgrammingPredicate Logic
20
Intelligent agents: theory and practice
Michael Wooldridge, Nicholas R. Jennings · The Knowledge Engineering Review · 1995 · 6.6K citations · Full text
Computing, Computer Science, Artificial Intelligence +10
Strips: A new approach to the application of theorem proving to problem solving
Richard Fikes, Nils J. Nilsson · Artificial Intelligence · 1971 · 4.1K citations
Computing, Computer Science, Artificial Intelligence +15
ADL: exploring the middle ground between STRIPS and the situation calculus
Edwin Pednault · Principles of Knowledge Representation and Reasoning · 1989 · 477 citations
Computing, Mathematics, Knowledge Representation +3
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence - IJCAI-95
Alan Bundy, Vincent Lombart · 1995 · 361 citations
Computing, Computer Science, Artificial Intelligence +9
The frame problem and knowledge-producing actions
Richard B. Scherl, Hector J. Levesque · National Conference on Artificial Intelligence · 1993 · 245 citations
Computing, Computer Science, Artificial Intelligence +16