Results 31 to 40 of about 271,070 (187)
Premise Selection and External Provers for HOL4 [PDF]
, 2015 Learning-assisted automated reasoning has recently gained popularity among the users of Isabelle/HOL, HOL Light, and Mizar. In this paper, we present an add-on to the HOL4 proof assistant and an adaptation of the HOLyHammer system that provides machine ...
Farmer W. M. +7 more
core +1 more source
Automated Reasoning on Feature Models [PDF]
, 2005 Premio Mensual Publicación Científica Destacada de la US.
Benavides Cuevas, David Felipe +2 more
openaire +4 more sources
PyZX: Large Scale Automated Diagrammatic Reasoning
, 2020 The ZX-calculus is a graphical language for reasoning about ZX-diagrams, a type of tensor networks that can represent arbitrary linear maps between qubits.
Kissinger, Aleks, van de Wetering, John
core +1 more source
Further Thoughts on Defining f(x) for Ethical Machines: Ethics, Rational Choice, and Risk Analysis
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2023 There is a tendency to anthropomorphize artificial intelligence (AI) and reify it as a person. From the perspective of machine ethics and ethical AI, this has resulted in the belief that truly autonomous ethical agents (i.e., machines and algorithms) can
Clayton Peterson
doaj +1 more source
Constraint Solving for Finite Model Finding in SMT Solvers
, 2017 SMT solvers have been used successfully as reasoning engines for automated verification and other applications based on automated reasoning. Current techniques for dealing with quantified formulas in SMT are generally incomplete, forcing SMT solvers to ...
Barrett, Clark +2 more
core +1 more source
Knowledge-Based Decision Support in Healthcare via Near Field Communication
Sensors, 2020 The benefits of automatic identification technologies in healthcare have been largely recognized. Nevertheless, unlocking their potential to support the most knowledge-intensive medical tasks requires to go beyond mere item identification.
Giuseppe Loseto +6 more
doaj +1 more source
Automating Leibniz’s Theory of Concepts [PDF]
, 2015 Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’).
Alama, Jesse +2 more
core +2 more sources
Automated Reasoning and Learning for Automated Payroll Management
Proceedings of the AAAI Conference on Artificial Intelligence, 2021 While payroll management is a crucial aspect of any business venture, anticipating the future financial impact of changes to the payroll policy is a challenging task due to the complexity of tax legislature. The goal of this work is to automatically explore potential payroll policies and find the optimal set of policies that satisfies the user's needs.
Dumancic, Sebastijan +5 more
openaire +2 more sources
A Framework for the Evaluation of SUMO-Based Ontologies Using WordNet
IEEE Access, 2019 This paper offers a new practical approach toward automated commonsense reasoning with first-order logic (FOL) SUMO-based ontologies. We propose a new black-box evaluation framework for SUMO-based ontologies, which exploits the world knowledge encoded in
Javier Alvez, Paqui Lucio, German Rigau
doaj +1 more source
BMC Medical Informatics and Decision Making, 2020 Background Ontologies are widely used throughout the biomedical domain. These ontologies formally represent the classes and relations assumed to exist within a domain. As scientific domains are deeply interlinked, so too are their representations.
Luke T. Slater +2 more
doaj +1 more source