Truth maintenance systems for problem solving.

Truth maintenance systems for problem solving.

Show other versions (1)

Thesis. 1977. M.S.--Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science.

Bibliographic Details
Main Author:	Doyle, Jon
Other Authors:	Gerald Jay Sussman.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2007
Subjects:	Electrical Engineering and Computer Science Artificial intelligence Problem solving Automatic theorem proving
Online Access:	http://hdl.handle.net/1721.1/38910

Similar Items

Automated reasoning : 33 basic research problems /
by: 227665 Wos, Larry
Published: (1988)

Automated reasoning : introduction and applications /
by: Wos, Larry
Published: (1984)

Automated technology for verification and analysis : 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 proceedings /
by: Namjoshi, Kedar S., et al.
Published: (2007)

Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007: Proceedings /
by: TABLEAUX 2007 (2007 : Aix en Provence, France), et al.
Published: (2007)

Automated technology for verification and analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings /
by: ATVA 2008 (2008 : Seoul, Korea), et al.
Published: (2008)

Automated theorem proving : a logical basis /
by: 403272 Loveland, Donald W.
Published: (1978)

A computational logic /
by: 403382 Boyer, Robert S., et al.
Published: (1979)

Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /
by: TYPES `98 (2006 : Nottingham, UK), et al.
Published: (2007)

Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant /
by: Chlipala, Adam, 1981-
Published: (2013)

Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions /
by: 183708 Bertot, Yves, et al.
Published: (2004)

Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium /
by: Kerber, Manfred, et al.
Published: (2001)

Proof technology and computation /
by: NATO Advanced Study Institute on Proof Technology and Computation (2003 : Marktoberdorf, Germany), et al.
Published: (2006)

Automated Deduction, Les Arcs, France, July 8-11, 1980 /
by: Conference on Automated Deduction, (5th : 1980 : Les Arcs), et al.
Published: (1980)

Symposium on Automatic Demonstration [proceedings] /
by: Symposium on Automatic Demonstration (1968 : Versailles, France), et al.
Published: (1970)

Problem-solving and artificial intelligence /
by: 345038 Lauriere, Jean-Louis, et al.
Published: (1990)

Automated Deduction -- CADE-21 [electronic resource] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings /
by: International Conference on Automated Deduction (21st : 2007 : Bremen, Germany), et al.
Published: (2007)

Symbolic logic and mechanical theorem proving /
by: 336504 Chang, Chin-Ling, et al.
Published: (1973)

Logic for computer science : foundations of automatic theorem proving /
by: 455116 Gallier, Jean H.
Published: (1986)

Heuristics: intelligent search strategies for computer problem solving
by: 317896 Pearl, Judea
Published: (1984)

Concepts in parallel problem solving
by: Kornfeld, William A
Published: (2006)

Theorem proving with analytic tableaux and related methods /
by: International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (4th : 1995 : St Goar, Germany), et al.
Published: (1995)

A temporal reasoning based artificial intelligence approach to the scheduling problem /
by: 329226 Letchumana Shanker Supramaniam
Published: (2000)

Computer-aided problem solving for scientists and engineers
by: 228061 Jayaraman, Sundaresan
Published: (1991)

Creative problem solving: traditional and creative problem solving/
by: 495949 Loewen, A. Craig

Problem solving for managers /
by: 338436 Roth, William F.
Published: (1985)

Engineering fundamentals & problem solving /
by: Eide, Arvid R.
Published: (c201)

The thinking computer : mind inside matter /
by: 398177 Raphael, Bertram
Published: (1976)

Problem solving /
by: Sears, J. T., et al.
Published: (1983)

Optimization techniques for solving complex problems /
by: Alba, Enrique
Published: (2009)

Cooperative problem-solving activities for social studies, grades 6-12 /
by: Hickman, Michael, 1949-, et al.
Published: (2009)

Problem solving for engineers and scientists : a creative approach /
by: 285164 Friedman, Raymond
Published: (1991)

Problem solving and programming concepts /
by: 191050 Sprankle, Maureen, et al.
Published: (2009)

Problem solving and programming concepts /
by: 191050 Sprankle, Maureen
Published: (2003)

Problem solving and programming concepts /
by: 191050 Sprankle, Maureen
Published: (2006)

Truth Maintenance Systems for Problem Solving
by: Doyle, Jon
Published: (2004)

Artificial intelligence : structures and strategies for complex problem solving /
by: 244386 Luger, George F.
Published: (2002)

Problem solving /
by: George, F. H. (Frank Honywill), 1921-
Published: (1980)

Solving everyday problems with the scientific method : thinking like a scientist /
by: 270209 Mak, Don K., et al.
Published: (2009)

Artificial Intelligence Generative Tools and Conceptual Knowledge in Problem Solving in Chemistry
by: Wajeeh Daher, et al.
Published: (2023-07-01)

A model for the description and evaluation of technical problem solving,
by: Frischmuth, Daniel S., et al.
Published: (2009)