Narrow your search

Library

KU Leuven (2)

ULB (2)

LUCA School of Arts (1)

Odisee (1)

Thomas More Kempen (1)

Thomas More Mechelen (1)

UCLouvain (1)

UCLL (1)

UGent (1)

ULiège (1)

More...

Resource type

book (2)


Language

English (2)


Year
From To Submit

2004 (2)

Listing 1 - 2 of 2
Sort by
Coherent systems
Author:
ISBN: 1281119792 9786611119799 1423709349 0080502199 0444517898 Year: 2004 Publisher: Amsterdam ; Boston : Elsevier,

Loading...
Export citation

Choose an application

Bookmark

Abstract

One aspect of common sense reasoning is reasoning about normal cases, e.g. a physician will first try to interpret symptoms by a common disease, and will take more exotic possibilities only later into account. Such ""normality"" can be encoded, e.g. bya relation, where case A is considered more normal than case B. This gives a standard semantics or interpretation to nonmonotonic reasoning (a branch of common sense reasoning), or, more formally, to nonmonotonic logics. We consider in this book the repercussions such normality relations and similarconstructions have on the resulting nonm

Logic Programming and Nonmonotonic Reasoning : 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings
Authors: --- ---
ISBN: 354020721X 9786610307975 3540246096 9783540207214 Year: 2004 Volume: 2923 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

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 - 2 of 2
Sort by


Copyright ©2024 SemperTool