Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

5

AAAI
1994

favoriteEmaildiscussreport

63views Intelligent Agents» more AAAI 1994»

Using Hundreds of Workstations to Solve First-Order Logic Problems

13 years 6 months ago

Using Hundreds of Workstations to Solve First-Order Logic Problems

Download www.aaai.org

Alberto Maria Segre, David B. Sturgill

Real-time Traffic

AAAI 1994 | Intelligent Agents |

claim paper

Related Content

» The TPTP Typed FirstOrder Form with Arithmetic

» Using FirstOrder Logic to Reason about Submodule Construction

» Pure Type Systems in Rewriting Logic Specifying Typed HigherOrder Languages in a FirstOrde...

» Proof Planning for FirstOrder Temporal Logic

» Reflecting Proofs in FirstOrder Logic with Equality

» Symbolic Dynamic Programming for FirstOrder MDPs

» Stochastic Planning with First Order Decision Diagrams

» Solving Combinatorial Auctions Using Stochastic Local Search

» The Interactive Museum TourGuide Robot

Post Info
More Details (n/a)

Added	02 Nov 2010
Updated	02 Nov 2010
Type	Conference
Year	1994
Where	AAAI
Authors	Alberto Maria Segre, David B. Sturgill

Comments (0)