knowledge representation reasoning system
51Ecological interface design — (EID) is an approach to interface design that was introduced specifically for complex sociotechnical, real time, and dynamic systems. It has been applied in a variety of domains including process control (e.g. nuclear power plants, petrochemical… …
52Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… …
53Philosophy — For other uses, see Philosophy (disambiguation) …
54Watson (computer) — IBM Watson redirects here. For the laboratory, see Thomas J. Watson Research Center. Watson s avatar, inspired by the IBM smarter planet logo[1] Watson is an artificial intelligence computer system capable of answering questions posed in …
55Mycin — In artificial intelligence, MYCIN was an early expert system designed to identify bacteria causing severe infections, such as bacteremia and meningitis, and to recommend antibiotics, with the dosage adjusted for patient s body weight the name… …
56Nous — For the philosophy journal, see Noûs. Philosophy …
57Dewey Decimal Classification — For the similar sounding base 12 numeral system, see Duodecimal. Dewey Decimal Classification, (also called the Dewey Decimal System) is a proprietary system of library classification developed by Melvil Dewey in 1876.[1] It has been greatly… …
58List of computer science conferences — This is a list of academic conferences in computer science. Most of these academic conferences are annual or bi annual events.The order with which the conferences are listed in their respective fields corresponds to a rough and non authoritative… …
59Epistemic modal logic — is a subfield of modal logic that is concerned with reasoning about knowledge. While epistemology has a long philosophical tradition dating back to Ancient Greece, epistemic logic is a much more recent development with applications in many fields …
60Abductive logic programming — is a high level knowledge representation framework that can be used to solve problems declaratively based on abductive reasoning. It extends normal Logic Programming by allowing some predicates to be incompletely defined, declared as abducible… …
