Results 141 to 150 of about 271,070 (187)
Advancing the bioassay ontology through integrated PK/PD and safety pharmacology representation. [PDF]
J Biomed SemanticsGlenny-Pescov J +7 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Lecture Notes in Computer Science
Zertifizierte Computersysteme werden zunehmend zum Schlüssel für die immer komplexeren Entscheidungsprozesse in unserer modernen Gesellschaft. Fehlerfreie und sichere Lösungen sind unter anderem in Bereichen wie Künstlicher Intelligenz (KI), autonomen Systemen, Big Data, Blockchain, Dezentraler Finanzen (DeFi) oder Cloud Computing unverzichtbar ...
exaly +5 more sources
Zertifizierte Computersysteme werden zunehmend zum Schlüssel für die immer komplexeren Entscheidungsprozesse in unserer modernen Gesellschaft. Fehlerfreie und sichere Lösungen sind unter anderem in Bereichen wie Künstlicher Intelligenz (KI), autonomen Systemen, Big Data, Blockchain, Dezentraler Finanzen (DeFi) oder Cloud Computing unverzichtbar ...
exaly +5 more sources
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
openaire +3 more sources
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
openaire +3 more sources
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 +1 more source
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 +1 more source
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 +1 more source
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
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 Kleene Algebra
2007It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. We demonstrate that off-the-shelf automated proof and counterexample search is an interesting alternative if combined with the right domain model.
Höfner, Peter, Struth, G.
openaire +2 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 +1 more source
Automated Reasoning with Power Maps
Journal of Automated Reasoning, 2019In this paper, we employ automated deduction techniques to prove and generalize some well-known theorems in group theory that involve power maps $$ x^n$$. The difficulty lies in the fact that the term $$x^n$$ cannot be expressed in the syntax of first-order logic when n is an integer variable.
G. I. Moghaddam +2 more
openaire +1 more source