- Non-monotonic logic I.Drew McDermott & Jon Doyle - 1980 - Artificial Intelligence 13 (1-2):41-72.details
|
|
Meta-rules: Reasoning about control.Randall Davis - 1980 - Artificial Intelligence 15 (3):179-222.details
|
|
Experimental evaluation of preprocessing algorithms for constraint satisfaction problems.Rina Dechter & Itay Meiri - 1994 - Artificial Intelligence 68 (2):211-241.details
|
|
Backtracking techniques for the job shop scheduling constraint satisfaction problem.Norman Sadeh, Katia Sycara & Yalin Xiong - 1995 - Artificial Intelligence 76 (1-2):455-480.details
|
|
Representing scientific knowledge for quantitative analysis of physical systems.Soroush Mobasheri & Mehrnoush Shamsfard - 2020 - Applied ontology 15 (4):439-474.details
|
|
The psychology of knights and knaves.Lance J. Rips - 1989 - Cognition 31 (2):85-116.details
|
|
The organization of expert systems, a tutorial.Mark Stefik, Jan Aikins, Robert Balzer, John Benoit, Lawrence Birnbaum, Frederick Hayes-Roth & Earl Sacerdoti - 1982 - Artificial Intelligence 18 (2):135-173.details
|
|
Network-based heuristics for constraint-satisfaction problems.Rina Dechter & Judea Pearl - 1987 - Artificial Intelligence 34 (1):1-38.details
|
|
Qualitative reasoning about physical systems: A return to roots.Brian C. Williams & Johan de Kleer - 1991 - Artificial Intelligence 51 (1-3):1-9.details
|
|
Generating multiple new designs from a sketch.Thomas F. Stahovich, Randall Davis & Howard Shrobe - 1998 - Artificial Intelligence 104 (1-2):211-264.details
|
|
Conservative augmentation of classical theories.J. D. Mackenzie - 1986 - Australasian Journal of Philosophy 64 (2):150 – 157.details
|
|
The roles of associational and causal reasoning in problem solving.Reid G. Simmons - 1992 - Artificial Intelligence 53 (2-3):159-207.details
|
|
Multi-agent oriented constraint satisfaction.Jiming Liu, Han Jing & Y. Y. Tang - 2002 - Artificial Intelligence 136 (1):101-144.details
|
|
The relation between epistemology and psychology.Alvin I. Goldman - 1985 - Synthese 64 (1):29-68.details
|
|
Making compromises among antagonist constraints in a planner.Yannick Descotte & Jean-Claude Latombe - 1985 - Artificial Intelligence 27 (2):183-217.details
|
|
A truth maintenance system.Jon Doyle - 1979 - Artificial Intelligence 12 (3):231-272.details
|
|
Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition.Rina Dechter - 1990 - Artificial Intelligence 41 (3):273-312.details
|
|
Diagnostic reasoning based on structure and behavior.Randall Davis - 1984 - Artificial Intelligence 24 (1-3):347-410.details
|
|
A rational reconstruction of nonmonotonic truth maintenance systems.Charles Elkan - 1990 - Artificial Intelligence 43 (2):219-234.details
|
|
A general framework for reason maintenance.Drew McDermott - 1991 - Artificial Intelligence 50 (3):289-329.details
|
|
CyclePad: An articulate virtual laboratory for engineering thermodynamics.Kenneth D. Forbus, Peter B. Whalley, John O. Everett, Leo Ureel, Mike Brokowski, Julie Baher & Sven E. Kuehne - 1999 - Artificial Intelligence 114 (1-2):297-347.details
|
|
Backjump-based backtracking for constraint satisfaction problems.Rina Dechter & Daniel Frost - 2002 - Artificial Intelligence 136 (2):147-188.details
|
|
Constraints—A language for expressing almost-hierarchical descriptions.Gerald Jay Sussman & Guy Lewis Steele - 1980 - Artificial Intelligence 14 (1):1-39.details
|
|
The anomalous extension problem in default reasoning.Paul H. Morris - 1988 - Artificial Intelligence 35 (3):383-399.details
|
|
Qualitative process theory.Kenneth D. Forbus - 1984 - Artificial Intelligence 24 (1-3):85-168.details
|
|
How circuits work.Johan De Kleer - 1984 - Artificial Intelligence 24 (1-3):205-280.details
|
|
Qualitative analysis of MOS circuits.Brian C. Williams - 1984 - Artificial Intelligence 24 (1-3):281-346.details
|
|
An assumption-based TMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):127-162.details
|
|
Theories of causal ordering.Johan de Kleer & John Seely Brown - 1986 - Artificial Intelligence 29 (1):33-61.details
|
|
Ordering conjunctive queries.David E. Smith & Michael R. Genesereth - 1985 - Artificial Intelligence 26 (2):171-215.details
|
|
A model for belief revision.João P. Martins & Stuart C. Shapiro - 1988 - Artificial Intelligence 35 (1):25-79.details
|
|
Cmpositional modeling: finding the right model for the job.Brian Falkenhainer & Kenneth D. Forbus - 1991 - Artificial Intelligence 51 (1-3):95-143.details
|
|
A perspective on assumption-based truth maintenance.Johan de Kleer - 1993 - Artificial Intelligence 59 (1-2):63-67.details
|
|
On the relations between intelligent backtracking and failure-driven explanation-based learning in constraint satisfaction and planning.Subbarao Kambhampati - 1998 - Artificial Intelligence 105 (1-2):161-208.details
|
|
Understanding complex dynamics by visual and symbolic reasoning.Kenneth Man-Kam Yip - 1991 - Artificial Intelligence 51 (1-3):179-221.details
|
|
From systems to logic in the early development of nonmonotonic reasoning.Erik Sandewall - 2011 - Artificial Intelligence 175 (1):416-427.details
|
|
Refining the phase transition in combinatorial search.Tad Hogg - 1996 - Artificial Intelligence 81 (1-2):127-154.details
|
|
Planning and Acting.Drew McDermott - 1978 - Cognitive Science 2 (2):71-100.details
|
|
The satisfiability constraint gap.Ian P. Gent & Toby Walsh - 1996 - Artificial Intelligence 81 (1-2):59-80.details
|
|
(1 other version)The complexity of propositional proofs.Nathan Segerlind - 2007 - Bulletin of Symbolic Logic 13 (4):417-481.details
|
|
Design by derivational analogy:Issues in the automated replay of design plans.Jack Mostow - 1989 - Artificial Intelligence 40 (1-3):119-184.details
|
|
SALT: A knowledge acquisition language for propose-and-revise systems.Sandra Marcus & John McDermott - 1989 - Artificial Intelligence 39 (1):1-37.details
|
|
Hybrid backtracking bounded by tree-decomposition of constraint networks.Philippe Jégou & Cyril Terrioux - 2003 - Artificial Intelligence 146 (1):43-75.details
|
|
A conflict-directed approach to chance-constrained mixed logical linear programming.Cheng Fang & Brian C. Williams - 2023 - Artificial Intelligence 323 (C):103972.details
|
|
Retrospective on “Diagnostic reasoning based on structure and behavior”.Randall Davis - 1993 - Artificial Intelligence 59 (1-2):149-157.details
|
|
How to register dissatisfaction with A.I.Eugene Charniak - 1978 - Behavioral and Brain Sciences 1 (2):230-231.details
|
|
Symbolic reasoning among 3-D models and 2-D images.Rodney A. Brooks - 1981 - Artificial Intelligence 17 (1-3):285-348.details
|
|