In Partnership with AOL Search
 

Dealing with what is possible to compute and in what bounds. Covering simple linear problems up to NP-Hard problems.

Computational logic consists of those approaches to general logic in which insights from the theory of computation play an essential part, for example in decision problems in logic, effective semantics of logic, computationally effective frameworks for proofs theory and theorem proving.
This category lists sites that link to lots of logic sites. While an attempt is made by the editor to make it link to all logic directories that don't link to themselves, it is a well-known fact that any such attempt must fail.
This category is for those sites on mathematical logic (and related topics) that are of interest to the general public rather than to professional mathematicians.
Anything that relates to games in logic, or logic in games.
Anything that relates to logic-based knowledge representation systems, knowledge base systems, systems for planning and action.
Most entries in this category are transferred from the category Conferences above it. Submissions should contain some ''added value'' such as papers, abstracts, photographs, etc.
Meetings, conferences and symposia related to mathematical logic.
Include sites that cover the topic of Fuzzy Logic. This is sometimes compared to using percentages, but is a bit different.Application of this type of logic is used for artificial intelligence and smart appliances.
There is currently no description created for this category.
Professional organizations for people working in the field of mathematical logic.
Format for listings in this category should be:

Title: Last Name, First Name
Description: Institutional Affiliation - research interests.

Websites of active academic logicians.
This category is for web sites which contain material complementing printed books, for example with software, tables or errata. Online texts are also welcome. Please do not submit pages which merely announce or advertise books. Please submit publishers'' sites to Science/Math/Publications/Book_Publishers.
There is currently no description created for this category.
Please submit your site to the most appropriate category. Submitting to an incorrect category may delay review of your site.
Please submit only websites that have English language content to this category. If your site is in a language other than English, please submit it to the appropriate category of World.
Most research activities will either occur in academic departments or in research institutes (which may either be in universities or external). Both of these are included in this category.
All submissions are welcome.
Logic-related software: Software implement "logic(s)" explicitly. This category includes e.g. automated reasoning systems, theorem provers, self-study software, and their "add-in"s. Both non-commercial and commercial software will be listed.
Copyright © 1998-2014 AOL Inc. Terms of Use
Last update: Saturday, June 22, 2013 11:18:24 PM EDT - edit