Foundations of logic programming
Foundations of logic programming
Introduction to mathematical logic (3rd ed.)
Introduction to mathematical logic (3rd ed.)
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
Parallel distributed processing: explorations in the microstructure of cognition, vol. 1: foundations
Computational learning theory: an introduction
Computational learning theory: an introduction
The engineering of knowledge-based systems: theory and practice
The engineering of knowledge-based systems: theory and practice
Inferential Theory of Learning as a Conceptual Basis for Multistrategy Learning
Machine Learning - Special issue on multistrategy learning
Mining association rules between sets of items in large databases
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Deduction systems based on resolution
Handbook of logic in artificial intelligence and logic programming (vol. 1)
Handbook of logic in artificial intelligence and logic programming (vol. 1)
Logical features of Horn Clauses
Handbook of logic in artificial intelligence and logic programming (vol. 1)
General patterns in nonmonotonic reasoning
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
Reasoning about knowledge
Reasoning about knowledge: a survey
Handbook of logic in artificial intelligence and logic programming (Vol. 4)
Handbook of logic in artificial intelligence and logic programming (Vol. 4)
Non-monotonic temporal reasoning
Handbook of logic in artificial intelligence and logic programming (Vol. 4)
Advances in knowledge discovery and data mining
Advances in knowledge discovery and data mining
A first course in database systems
A first course in database systems
Fuzzy Sets and Systems - Special issue: fuzzy sets: where do we stand? Where do we go?
Readings in agents
A relational model of data for large shared data banks
Communications of the ACM
Default Reasoning: Causal and Conditional Theories
Default Reasoning: Causal and Conditional Theories
Rough Sets: Theoretical Aspects of Reasoning about Data
Rough Sets: Theoretical Aspects of Reasoning about Data
Machine Learning
Foundations of Fuzzy Systems
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
ILP '96 Selected Papers from the 6th International Workshop on Inductive Logic Programming
Mobile Robotics: A Practical Introduction
Mobile Robotics: A Practical Introduction
A bibliography of temporal, spatial and spatio-temporal data mining research
ACM SIGKDD Explorations Newsletter
Ten challenges in propositional reasoning and search
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Fuzzy logic = computing with words
IEEE Transactions on Fuzzy Systems
Hi-index | 0.00 |
Logic understood as a study of mechanisms of inference, including inference of knowledge from data, has evolved into many reasoning schemes (languages) differing by understanding of semantics of inference. In this chapter, basic schemes are outlined along with their relation to KDD: classical calculi, many-valued logics, modal logics along with deductive mechanisms: axiomatized schemes, resolution in logic programming. An example of the system DATALOG is discussed. In complex tasks of AI and KDD like pattern recognition or machine learning, inductive reasoning is frequent in applications aimed at defining relevant concepts and dependencies among them. We discuss basic aspects of reasoning with knowledge, that is, making inferences in a chosen logical language from a given knowledge base, as well as basic aspects of reasoning about knowledge, that is, making inferences concerning properties of knowledge such as completeness, certainty.