Listing 1 - 7 of 7 |
Sort by
|
Choose an application
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
Artificial intelligence --- Nonmonotonic reasoning --- Logic --- 681.3*I23 --- Non-monotonic reasoning --- Reasoning --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Thought and thinking --- 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) --- Methodology --- Artificial intelligence. --- Logic. --- Nonmonotonic reasoning. --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)
Choose an application
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
This volume contains revised and extended versions of the papers presented at the Second International Workshop on Non-Monotonic Reasoning, held in Grassau (FRG), June 13-15, 1988. The workshop brought together researchers with different backgrounds, including non-monotonic logic, logic programming, truth maintenance and philosophy. Their papers contain substantial advances to the logical foundations of non-monotonic reasoning, its computational realization, and its application to the formalization of common sense reasoning. The book presents a snapshot of the state of the art in this research area, and provides in-depth discussions of current problems and approaches.
Artificial intelligence. Robotics. Simulation. Graphics --- Artificial intelligence --- Nonmonotonic reasoning --- Logic, symbolic and mathematical --- Congresses --- -Logic, Symbolic and mathematical --- -Nonmonotonic reasoning --- -681.3*I23 --- Non-monotonic reasoning --- Reasoning --- Algebra of logic --- Logic, Universal --- Mathematical logic --- 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) --- Logic, Symbolic and mathematical --- Congresses. --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 --- Artificial intelligence. --- Artificial Intelligence. --- Artificial intelligence - Congresses --- Nonmonotonic reasoning - Congresses --- Logic, Symbolic and mathematical - Congresses
Choose an application
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
This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Non-Monotonic Extensions of Logic Programming, NMELP '96, held in Bad Honnef, Germany, in September 1996. The nine full papers presented in the volume in revised version were carefully reviewed and selected from a total of 18 submissions; the set of papers addresses theoretical, applicational and implementational issues and reflects the current state of the art in the area of non-monotonic extensions of logic programming. An introductory survey by the volume editors entitled "Prolegomena to Logic Programming for Non-Monotonic Reasoning" deserves special mentioning; it contains a bibliography listing 136 entries.
Logic programming --- Nonmonotonic reasoning --- Congresses. --- Computer Science --- Engineering & Applied Sciences --- Congresses --- Non-monotonic reasoning --- Computer science. --- Architecture, Computer. --- Computer programming. --- Programming languages (Electronic computers). --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Computer System Implementation. --- Programming Languages, Compilers, Interpreters. --- Artificial Intelligence (incl. Robotics). --- Mathematical Logic and Formal Languages. --- Programming Techniques. --- 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 --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Architecture, Computer --- Informatics --- Science --- Programming --- Computer network architectures. --- Artificial Intelligence. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Logic programming - Congresses --- Nonmonotonic reasoning - Congresses.
Choose an application
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
Listing 1 - 7 of 7 |
Sort by
|