 |
|
|
|
 |
egories |
 |
|
New Addition |
|
|
|
 |
Details: |
 |
|
A language and environment for constructing intelligent applications. It is a research project in the Artificial Intelligence research group at the University of Southern California's Information Sciences Institute. The goal of the project is to develop and field advanced tools for knowledge representation and reasoning in Artificial Intelligence.
Sponsored Links:
|
| URL: |
http://www.isi.edu/isd/LOOM/LOOM-HOME.html
|
| Title: |
Loom |
| Description: |
Science, Math, Logic and Foundations, Software - LOOM. A language and environment for constructing intelligent applications. |
| Specialized in: |
|
|
|
|
|
LWB (Popularity:  ): Logics Workbench.
PROTEIN (Popularity: ): A PROver with a Theory Extension INterface. Theorem prover for first-order clause logic, written in ECRC's Prolog-dialect ECLiPSe. Free download, ...
Database of Existing Mechanized Reasoning Systems (Popularity: ): A list (>50 entries) of automatic resolution provers (like Otter), interactive provers (like PVS) and other mechanized reasoning tools.
Automated Reasoning Project (Popularity: ): Web resource provided by research group. Includes access to software developed by the team, coverering such projects as FINDER (Finite ...
MUltseq (Popularity: ): A generic sequent prover for propositional finitely-valued logics.
MUltlog (Popularity: ): Takes as input the specification of a finitely-valued first-order logic and produces a sequent calculus, a natural deduction system, and ...
WinKE: A Proof Assistant for Teaching Logic (Popularity: ): WinKE is an interactive proof assistant based on analytic tableaux, and designed for the teaching of deductive reasoning. Ordering information ...
The Coq Project (Popularity: ): Deals with effectively machine-checked formal mathematics. In practice, this includes the study of mathematical formalisms well-suited for implementations, the implementations ...
Logic Software from CSLI (Popularity: ): By Jon Barwise and John Etchemendy.
ProofPower (Popularity: ): A suite of tools supporting specification and proof in Higher Order Logic (HOL) and in Z notation.
|
|
Popular Sites |
|
WinKE: A Proof Assistant for Teaching Logic (Popularity: ): WinKE is an interactive proof assistant based on analytic tableaux, and designed for the teaching of deductive reasoning. Ordering information ...
LOOM (Popularity: ): A language and environment for constructing intelligent applications. It is a research project in the Artificial Intelligence research group at ...
MUltseq (Popularity: ): A generic sequent prover for propositional finitely-valued logics.
Gateway to Logic (Popularity: ): A collection of web-based logic programs offering a number of logical functions: interactively or automatically build proofs, check theorems, and ...
The Coq Project (Popularity: ): Deals with effectively machine-checked formal mathematics. In practice, this includes the study of mathematical formalisms well-suited for implementations, the implementations ...
|
|
Related Press |
|
Infant Entrapment and Suffocation Prompts Stork Craft to Recall More Than 2.1 Million Drop-Side Cribs (Popularity: ): The U.S. Consumer Product Safety Commission (CPSC), in cooperation with Stork Craft Manufacturing Inc., of British Columbia, Canada, today announced ...
MSI US Launches High-Performance Wind Top 21.5-inch Multi-Touch Screen All-in-One Desktop PC (Popularity: ): MSI, a leading manufacturer of computer components and systems, today announced the U.S. availability of the Wind Top AE2220 all-in-one ...
USA TODAY Remains Most Widely Read Print Newspaper in the United States (Popularity: ): USA TODAY, the nation's top-selling print newspaper, remains the most widely read print newspaper in the United States according to ...
LDK Solar Sells 15% Ownership Stake in Its 15,000 MT Polysilicon Plant (Popularity: ): LDK Solar Co., Ltd. (NYSE: LDK), a leading manufacturer of multicrystalline solar wafers, today announced that it has entered into ...
'Unfriend' Named New Oxford American Dictionary's 2009 Word of the Year (Popularity: ): Facebook fans will undoubtedly recognize the New Oxford American Dictionary's 2009 Word of the Year, unfriend.
unfriend - verb - To ...
|
|
Related Articles |
|
|
|
 |
|
 |
| |
| | |
|
|
|
© 2003-2008, ABC-Directory.Com. All Rights Reserved
|
|
|
 |
|
 |
|
