Narrow your search

Library

KU Leuven (2)

UAntwerpen (1)

UGent (1)

ULB (1)

ULiège (1)


Resource type

book (2)


Language

English (2)


Year
From To Submit

2003 (1)

2000 (1)

Listing 1 - 2 of 2
Sort by
Abduction and induction : essays on their relation and integration
Authors: ---
ISBN: 0792362500 9048154332 9401706069 Year: 2000 Publisher: Dordrecht Kluwer

Loading...
Export citation

Choose an application

Bookmark

Abstract

From the very beginning of their investigation of human reasoning, philosophers have identified two other forms of reasoning, besides deduction, which we now call abduction and induction. Deduction is now fairly well understood, but abduction and induction have eluded a similar level of understanding. The papers collected here address the relationship between abduction and induction and their possible integration. The approach is sometimes philosophical, sometimes that of pure logic, and some papers adopt the more task-oriented approach of AI. The book will command the attention of philosophers, logicians, AI researchers and computer scientists in general.

Keywords

Logic --- Abduction (Logic) --- Induction (Logic) --- 681.3*I23 --- 681.3*I26 --- Inductive logic --- Logic, Inductive --- Reasoning --- Syllogism --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32} --- 681.3*I26 Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32} --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Abduction (Logic). --- Induction (Logic). --- Mathematical logic. --- Logic. --- Artificial intelligence. --- Numerical analysis. --- Philosophy and science. --- Mathematical Logic and Foundations. --- Artificial Intelligence. --- Numeric Computing. --- Philosophy of Science. --- Science and philosophy --- Science --- Mathematical analysis --- 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 --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Thought and thinking --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Methodology

Advances in Informatics : 8th Panhellenic Conference on Informatics, PCI 2001. Nicosia, Cyprus, November 8-10, 2001, Revised Selected Papers
Authors: --- --- ---
ISBN: 3540075445 3540380760 Year: 2003 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the thoroughly refereed post-proceedings of the 8th Panhellenic Conference on Informatics, PCI 2001, held in Nicosia, Cyprus in November 2001. The 31 revised full papers presented were carefully selected and improved during two months of reviewing from 104 conference papers. The papers cover the areas of databases, data mining and intelligent systems, e-learning, human computer interaction, image processing, networks and systems, software and languages, and theoretical computer science.

Keywords

Information technology --- Information Technology --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Computer science. --- Computer communication systems. --- Software engineering. --- Computers. --- Algorithms. --- Database management. --- User interfaces (Computer systems). --- Computer Science. --- Theory of Computation. --- Database Management. --- Computer Communication Networks. --- Software Engineering. --- Algorithm Analysis and Problem Complexity. --- User Interfaces and Human Computer Interaction. --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Electronic data processing --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer software engineering --- Engineering --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Informatics --- Science --- Foundations --- Distributed processing --- Information theory. --- Computer software. --- Software, Computer --- Communication theory --- Communication

Listing 1 - 2 of 2
Sort by


Copyright ©2024 SemperTool