Citation Impact
Citing Papers
Commonsense metaphysics and lexical semantics
1987
Introduction to the COMTEX Microfiche Edition of the SRI Artificial Intelligence Center: Technical Notes
1984
Using matrices to model symbolic relationship
2008 StandoutNobel
Iterative-deepening-A: an optimal admissible tree search
1985
Learning Bayesian Networks: The Combination of Knowledge and Statistical Data
1995 Standout
BioBIKE: A Web-based, programmable, integrated biological knowledge base
2009
Intelligent agents: theory and practice
1995 Standout
Linear-space best-first search
1993
Metaheuristics in combinatorial optimization
2003 Standout
Metaheuristics in Combinatorial Optimization
2005 Standout
Wrappers for feature subset selection
1997 Standout
Depth-first iterative-deepening
1985 Standout
Symbolic Boolean manipulation with ordered binary-decision diagrams
1992 Standout
Combining the Scalability of Local Search with the Pruning Techniques of Systematic Search
2002
Prolog and Natural Language Analysis
1988
Human-Machine Reconfigurations: Plans and Situated Actions
2006 Standout
Ontologies: How can They be Built?
2004
Artificial Intelligence: A New Synthesis
1998
Inductive Logic Programming: Theory and methods
1994
Artificial intelligence: A modern approach
1996 Standout
Natural Language Processing with Python
2009 Standout
Cellular Microfabrication: Observing Intercellular Interactions Using Lithographically-Defined DNA Capture Sequences
2012 StandoutNobel
A method for taxonomy development and its application in information systems
2012 Standout
Essentials of Artificial Intelligence
1993
The Generative Lexicon
1995 Standout
Planning english referring expressions
1985
Learning Bayesian networks: The combination of knowledge and statistical data
1995 Standout
Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp
1992
Ant Algorithms for Discrete Optimization
1999 Standout
Automated Negotiation: Prospects, Methods and Challenges
2001 Standout
Embedding boolean expressions into logic programming
1987
Works of Mark E. Stickel being referenced
Using Prior Knowledge: Problems and Solutions
2000
Theory resolution: building in nonequational theories
1983
A nonclausal connection-graph resolution theorem-proving program
1982
An analysis of consecutively bounded depth-first search with applications in automated deduction
1985
Deductive Biocomputing
2007
A prolog technology theorem prover: Implementation by an extended prolog compiler
1988
A Unification Algorithm for Associative-Commutative Functions
1981
Implementing the Davis–Putnam Method
2000