Results 51 to 60 of about 348,999 (338)
Toward Formal Models and Languages for Verifiable Multi-Robot Systems
Frontiers in Robotics and AI, 2018 Incorrect operation of a multi-robot system (MRS) may not only lead to unsatisfactory results, but it can also cause economic losses and jeopardize safety.
Rocco De Nicola +2 more
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
The interaction of representation and reasoning [PDF]
, 2013 Automated reasoning is an enabling technology for many applications of informatics. These applications include verifying that a computer program meets its specification; enabling a robot to form a plan to achieve a task and answering questions by ...
Ascoli G +8 more
core +1 more source
Automated Reasoning on Aspects Interactions [PDF]
21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06), 2006 The aspect-oriented paradigm allows weaving aspects in different join points of a program. Aspects can modify object fields and method control flow, thus possibly introducing subtle and undesired interactions (conflicts) among aspects and objects, which are not easily detectable. In this paper we propose a fully automated approach to discover conflicts
FALCARIN, PAOLO, TORCHIANO, MARCO
openaire +2 more sources
Theorema 2.0: Computer-Assisted Natural-Style Mathematics
Journal of Formalized Reasoning, 2016 The Theorema project aims at the development of a computer assistant for the working mathematician. Support should be given throughout all phases of mathematical activity, from introducing new mathematical concepts by definitions or axioms, through first
Bruno Buchberger +4 more
doaj +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
Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements [PDF]
EPTCS 311, 2019, 2019 These are the post-proceedings of the second ARCADE workshop, which took place on the 26th August 2019 in Natal, Brazil, colocated with CADE-27. ARCADE stands for Automated Reasoning: Challenges, Applications, Directions, Exemplary achievements. The goal of this workshop was to bring together key people from various sub-communities of automated ...
arxiv +1 more source
A String of Pearls: Proofs of Fermat's Little Theorem
Journal of Formalized Reasoning, 2013 We discuss mechanised proofs of Fermat's Little Theorem in a variety of styles, focusing in particular on an elegant combinatorial ``necklace'' proof that has not been mechanised previously.What is elegant in prose turns out to be long-winded ...
Hing Lun Chan, Michael Norrish
doaj +1 more source
LAMBADA: Backward Chaining for Automated Reasoning in Natural Language [PDF]
arXiv, 2022 Remarkable progress has been made on automated reasoning with natural text, by using Language Models (LMs) and methods such as Chain-of-Thought and Selection-Inference. These techniques search for proofs in the forward direction from axioms to the conclusion, which suffers from a combinatorial explosion of the search space, and thus high failure rates ...
arxiv
, 1990 Over the recent years, several proposals were made to enhance database systems with automated reasoning. In this article we analyze two such enhancements based on meta-interpretation.
Bry, François
core +1 more source