Back to Results
First PageMeta Content
Propositional calculus / Logical syntax / Semantics / Resolution / Inference / Horn clause / Unit propagation / DPLL algorithm / Interpretation / Logic / Automated theorem proving / Mathematical logic


Untitled
Add to Reading List

Document Date: 2002-11-14 09:04:11

Open Document

File Size: 416,60 KB

Share Result on Facebook

City

San Francisco / Arad / Bucharest / Paris / Tokyo / K NOWLEDGE / /

Company

CNF / /

Country

Japan / /

Currency

pence / /

Facility

A square / Safe square / Golden Gate Bridge / /

IndustryTerm

incremental forward-chaining algorithm / search process / local-search methods / Local-search algorithms / backward-chaining algorithm / resolution algorithm / local search / satisfiability algorithms / backward chaining algorithms / neural networks / iterative deepening search / possible applications / logical inference algorithms / search algorithm / truth-table algorithm / truth-table enumeration algorithm / search problems / search algorithms / distributivity law / forward-chaining algorithm / inference algorithm / inference algorithms / well-developed technology / depth-first search / localsearch algorithms / logical systems / local-search algorithm / infinite search spaces / search space / search step efficient / efficient algorithms / rst algorithm / /

Organization

DEFINITE CLAUSES HEAD BODY FACT INTEGRITY CONSTRAINTS FORWARD CHAINING BACKWARD CHAINING Chapter / UNIT RESOLUTION Chapter / /

Person

HORN CLAUSES / Hilary Putnam / Michael Genesereth / Pk / George Boole / Martin Davis / /

Position

speaker / astronomer / physician / mathematician / king / designer / head / it counts as knowledge / /

ProvinceOrState

Saskatchewan / Marin County / /

Technology

resolution algorithm / detailed algorithm / backtracking search algorithms / inference algorithms / truth-table algorithm / backward chaining algorithms / search algorithm / efficient algorithms / known inference algorithm / Putnam algorithm / search algorithms / inference algorithm / forward-chaining algorithm / EARCH algorithm / incremental forward-chaining algorithm / local-search algorithm / 221 The algorithms / localsearch algorithms / backward-chaining algorithm / ONFLICTS algorithm / logical inference algorithms / Local-search algorithms / rst algorithm / well-developed technology / technology of propositional logic / truth-table enumeration algorithm / 7.16 The DPLL algorithm / Fuzzy logic / technology of logic / DPLL algorithm / 7.17 The WALK SAT algorithm / backtracking algorithms / /

SocialTag