Results 241 to 250 of about 1,200,969 (291)
Selecting Authentic and Feasible Pass/Fail Assessments in Competency-Based Education: A Clinical Teacher's Toolbox. [PDF]
Clin TeachHelms J, Bender J, Stempel SB.
europepmc +1 more source
Intelligenza Artificiale: The international journal of the AIxIA, 2013 Knowledge representation and automated reasoning are two of the pillars of Artificial Intelligence but, differently from other pillars, they are strictly intertwined. Depending on how knowledge is represented, different types of reasoning can be applied and, on the other hand, new developments in the automated reasoning column fosters new ideas on the ...
Marco Gavanelli, MANCINI, Toni
core +4 more sources
Larry Wos: Visions of Automated Reasoning [PDF]
Journal of Automated Reasoning, 2022 This paper celebrates the scientific discoveries and the service to the automated reasoning community of Lawrence (Larry) T. Wos, who passed away in August 2020.
Maria Paola Bonacina +2 more
exaly +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Proceedings of the May 4-7, 1981, national computer conference on - AFIPS '81, 1981
This paper is an introduction to an automated reasoning program developed at Northern Illinois University and Argonne National Laboratory over the past nine years. Recently the program has reached the stage where it can be considered a useful research tool in a variety of disciplines.
Larry Wos +2 more
openaire +2 more sources
This paper is an introduction to an automated reasoning program developed at Northern Illinois University and Argonne National Laboratory over the past nine years. Recently the program has reached the stage where it can be considered a useful research tool in a variety of disciplines.
Larry Wos +2 more
openaire +2 more sources
An overview of automated reasoning
IEEE Transactions on Systems, Man, and Cybernetics, 1990Two general approaches to reasoning with imperfect information are discussed: nonmonotonic reasoning and a calculus of uncertainty. Default reasoning is posed as an approach that is potentially capable of integrating many facets of these two approaches. Practical requirements for default reasoning are then established.
Stephen D. Post, Andrew P. Sage
openaire +2 more sources
Automating Automated Reasoning
2019The vision of automated support for the investigation of logics, proposed decades ago, has been implemented in many forms, producing numerous tools that analyze various logical properties (e.g., cut-elimination, semantics, and more). However, full ‘automation of automated reasoning’ in the sense of automatic generation of efficient provers has remained
Zohar, Yoni +3 more
openaire +2 more sources
Automated Reasoning in the Wild
2015This paper discusses the use of first order automated reasoning in question answering and cognitive computing. For this the natural language question answering project LogAnswer is briefly depicted and the challenges faced therein are addressed.
Ulrich Furbach +2 more
openaire +1 more source