In the field of Computation Science, ‘Commonsense Reasoning’ usually expresses the formalization of Logic systems in order to efficiently automate replication of human performances. This is done by employing methodologies from Computational Learning, and deals with the construction of information of both deductive and inductive nature. The process often happens in an ecologic, natural context (i.e., in the real world, not in an artificial laboratory setting), and in presence of incomplete and imprecise information
This report describes a domain independent reasoning system. The system uses a frame-based knowledg...
. The goal of foundational thinking in computer science is to understand the methods and practices o...
Automated deduction is not just application or implementation of logical systems. The field of compu...
Any theory aimed at understanding commonsense reasoning, the process that humans use to cope with th...
A novel, alternative approach to the fundamental logic of common- sense reasoning extending the conc...
Following Marr (1982), any computational account of cognition must satisfy constraints at three expl...
Introduction Nonmonotonic logics were introduced in the late 70s as knowledge representation formal...
Computational models and tools provide increasingly solid foundations for the study of cognition and...
Reasoning is an essential element of intelligence. Automated reasoning in formal and symbolic system...
Metacognitive reasoning in computational systems will be enabled by the development of formal theori...
This chapter argues that the most important issue for the cognitive science of reasoning is whether ...
Research in AI has built upon the tools and techniques of many different disciplines, including form...
Metacognitive reasoning in computational systems will be enabled by the development of formal theori...
This chapter surveys the use of logic and computational complexity theory in cognitive science. We e...
During the last decade computational models of argument have emerged as a successful approach to t...
This report describes a domain independent reasoning system. The system uses a frame-based knowledg...
. The goal of foundational thinking in computer science is to understand the methods and practices o...
Automated deduction is not just application or implementation of logical systems. The field of compu...
Any theory aimed at understanding commonsense reasoning, the process that humans use to cope with th...
A novel, alternative approach to the fundamental logic of common- sense reasoning extending the conc...
Following Marr (1982), any computational account of cognition must satisfy constraints at three expl...
Introduction Nonmonotonic logics were introduced in the late 70s as knowledge representation formal...
Computational models and tools provide increasingly solid foundations for the study of cognition and...
Reasoning is an essential element of intelligence. Automated reasoning in formal and symbolic system...
Metacognitive reasoning in computational systems will be enabled by the development of formal theori...
This chapter argues that the most important issue for the cognitive science of reasoning is whether ...
Research in AI has built upon the tools and techniques of many different disciplines, including form...
Metacognitive reasoning in computational systems will be enabled by the development of formal theori...
This chapter surveys the use of logic and computational complexity theory in cognitive science. We e...
During the last decade computational models of argument have emerged as a successful approach to t...
This report describes a domain independent reasoning system. The system uses a frame-based knowledg...
. The goal of foundational thinking in computer science is to understand the methods and practices o...
Automated deduction is not just application or implementation of logical systems. The field of compu...