Results 321 to 330 of about 348,999 (338)
Some of the next articles are maybe not open access.
Theory-Specific Automated Reasoning
2010In designing a large-scale computerized proof system, one is often confronted with issues of two kinds: issues regarding an underlying logical calculus, and issues that refer to theories, either specified axiomatically or characterized by indication of either a privileged model or a family of intended models. Proof services related to the theories most
Formisano A., OMODEO, EUGENIO
openaire +5 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 +3 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.
S. Post, A.P. Sage
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.
Claudia Schon +2 more
openaire +2 more sources
Automated Reasoning Building Blocks
2015There are automated reasoning building blocks shared between the prime calculi for propositional and first-order logic with equality, conflict driven clause learning (CDCL) and superposition, respectively. In this paper I identify these building blocks by a projection of superposition to propositional logic.
openaire +4 more sources
Uncertainty and Automated Reasoning
2003In this chapter, based on lattice-valued logic, we discuss some basis of applied theory for fuzziness and incomparability processing.
Yang Xu, Keyun Qin, Da Ruan, Jun Liu
openaire +2 more sources
Automated Reasoning for Regulatory Compliance
2013Regulatory compliance is gaining attention from information systems engineers who must design systems that at the same time satisfy stakeholder requirements and comply with applicable laws. In our previous work, we have introduced a conceptual modelling language called Nomos 2 that aids requirements engineers analyze law to identify alternative ways ...
Ingolfo, Silvia +5 more
openaire +3 more sources
The Flowering of Automated Reasoning
2005This article celebrates with obvious joy the role automated reasoning now plays for mathematics and logic. Simultaneously, this article evidences the realization of a dream thought impossible just four decades ago by almost all. But there were believers, including Joerg Siekmann to whom this article is dedicated in honor of his sixtieth birthday ...
openaire +2 more sources
Methods of automated reasoning
1986This chapter introduces into various aspects and methods of the formalization and automation of processes involved in performing inferences. It views automated inferencing as a machine-oriented simulation of human reasoning. In this sense classical deductive methods for first-order logic like resolution and the connection method are introduced as a ...
openaire +2 more sources