Theorem-Proving by Resolution as a Basis for Question-Answering Systems Cordell Green Stanford Research Institute Menlo Park, California

Source URL: www.kestrel.edu

• Mathematical logic
• Logic
• Mathematics
• Model theory
• Automated theorem proving
• Predicate logic
• Semantics
• Logic programming
• Resolution
• First-order logic
• Skolem normal form
• Substitution

The use of theorem-proving techniques in question-answering systems by C. C O R D E L L G R E E N and BERTRAM RAPHAEL Stanford Research Institute Menlo Park, California

Source URL: www.kestrel.edu

• Logic
• Mathematics
• Mathematical logic
• Metalogic
• Model theory
• Syntax
• Well-formed formula
• First-order logic
• Resolution
• Logic programming
• Tautology

11 Theorem-Proving by Resolution as a Basis for Question-Answering Systems Cordell Green Stanford Research Institute Menlo Park. California

Source URL: www.kestrel.edu

• Mathematical logic
• Logic
• Model theory
• Metalogic
• Predicate logic
• Formal methods
• Resolution
• First-order logic
• Skolem normal form
• Automated theorem proving
• Quantifier
• Axiom

Verification Using SAT and SMT Solvers1 N. Shankar Computer Science Laboratory SRI International Menlo Park, CA

Source URL: dream.inf.ed.ac.uk

• Theoretical computer science
• Mathematical logic
• Mathematics
• Boolean algebra
• Logic in computer science
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean satisfiability problem
• Satisfiability modulo theories
• Propositional calculus
• Model checking

The use of theorem-proving techniques in question-answering systems by C. CORDELL GREEN and BERTRAM RAPHAEL Stanford Research Institute Menlo Park, California

Source URL: www.kestrel.edu

• Logic
• Metalogic
• Mathematics
• Proof theory
• Model theory
• Mathematical logic
• Syntax
• First-order logic
• Well-formed formula
• Formal system
• Logic programming
• Resolution

ADM Invests in Rennovia, Inc. Companies will work together on portfolio of bio-based chemical products DECATUR, Ill. and MENLO PARK, Calif., Feb. 11, 2014 – Archer Daniels Midland Company (NYSE: ADM) and Rennovia, Inc.

Source URL: www.rennovia.com

Sure Glenwood Campus Travel PO Box 36058, Menlo Park, Pretoria 0102 Cathy Broli Tel: + Fax: + Emergency Mobile: +

Source URL: www.tribology.jp

Symbolic Systems Biology and Pathway Logic Patrick Lincoln and Carolyn Talcott SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025, USA [lincoln,clt]@csl.sri.com

Source URL: pl.csl.sri.com

On the Freedom of De ryption Jonathan Millen Computer S ien e Laboratory, SRI International Menlo Park, CADe ember 27, 2002

Source URL: jonmillen.com

Pathway Logic Carolyn Talcott? SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025, USA

Source URL: pl.csl.sri.com