Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Belief revision theory and philosophy of science both aspire to shed light on the dynamics of knowledge – on how our view of the world changes (typically) in the light of new evidence. Yet these two areas of research have long seemed strangely detached from each other, as witnessed by the small number of cross-references and researchers working in both domains. One may speculate as to what has brought about this surprising, and perhaps unfortunate, state of affairs. One factor may be that while belief revision theory has traditionally been pursued in a bottom- up manner, focusing on the endeavors of single inquirers, philosophers of science, inspired by logical empiricism, have tended to be more interested in science as a multi-agent or agent-independent phenomenon.

Belief change. --- Science -- Philosophy. --- Science --- Belief change --- Physical Sciences & Mathematics --- Philosophy & Religion --- Sciences - General --- Philosophy --- Nonmonotonic reasoning. --- Conditionals (Logic) --- Knowledge, Theory of. --- Formalization (Philosophy) --- Epistemology --- Theory of knowledge --- Conditional statements (Logic) --- Non-monotonic reasoning --- Philosophy. --- Logic. --- Philosophy and science. --- Philosophy of Science. --- Form (Philosophy) --- Knowledge, Theory of --- Logic --- Methodology --- Psychology --- Grammar, Comparative and general --- Reasoning --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Thought and thinking --- Normal science --- Philosophy of science --- Science and philosophy

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematics --- Fuzzy sets --- Fuzzy systems --- Ensembles flous --- Systèmes flous --- Periodicals --- Périodiques --- Systèmes flous --- Fuzzy sets. --- Mathematics. --- Périodiques. --- aggregation operations --- non-additive uncertainty theory --- possibility theory --- linguistic modelling --- numerical modeling fuzzy rule-based systems --- category theory --- topology --- data fusion --- interpolative reasoning --- non-monotonic reasoning --- logic programming --- constraint-di --- #TS:TCPW --- 621 --- Mechanical engineering in general. Nuclear technology. Electrical engineering. Machinery --- Information Technology --- Artificial Intelligence --- Neural Networks --- Robotics --- General and Others --- Mathematical Sciences --- Applied Mathematics --- Information Technology. --- General and Others. --- Mathematical Sciences. --- 621 Mechanical engineering in general. Nuclear technology. Electrical engineering. Machinery --- Périodiques --- EJMATHE ELSEVIER-E EPUB-ALPHA-F EPUB-PER-FT --- Journal --- 621 Algemene mechanische bouwkunde. Nucleaire technologie. Electronica. Machinebouw --- Algemene mechanische bouwkunde. Nucleaire technologie. Electronica. Machinebouw --- Fuzzy systems - Periodicals --- Fuzzy sets - Periodicals

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Artificial intelligence. Robotics. Simulation. Graphics --- Mathematical logic --- Artificial intelligence --- Nonmonotonic reasoning --- Logic, symbolic and mathematical --- Logic, Symbolic and mathematical --- 681.3*I23 --- Non-monotonic reasoning --- Reasoning --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Artificial intelligence. --- Logic, Symbolic and mathematical. --- Nonmonotonic reasoning. --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Non Monotonic Logic

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

681.3*D16 --- 681.3*F41 --- 681.3*I2 --- 681.3*I23 --- 681.3*I23 Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence) --- Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence) --- 681.3*I2 Artificial intelligence. AI --- Artificial intelligence. AI --- 681.3*F41 Mathematical logic: computability theory computational logic lambda calculus logic programming mechanical theorem proving model theory proof theoryrecursive function theory--See also {681.3*F11} {681.3*I22} {681.3*I23} --- Mathematical logic: computability theory computational logic lambda calculus logic programming mechanical theorem proving model theory proof theoryrecursive function theory--See also {681.3*F11} {681.3*I22} {681.3*I23} --- Computerwetenschap--?*D16 --- Logic programming --- Nonmonotonic reasoning --- Non-monotonic reasoning --- Computer science. --- Software engineering. --- Computer programming. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Artificial Intelligence (incl. Robotics). --- Programming Techniques. --- Mathematical Logic and Formal Languages. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Programming --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Reasoning --- Artificial Intelligence. --- Logic programming - Congresses --- Nonmonotonic reasoning - Congresses