Article Per Year (5 Year)
p-Index From 2020 - 2025
0.61
P-Index
This Author published in this journals
All Journal IJID (International Journal on Informatics for Development) The Indonesian Journal of Computer Science
Ndungi, Rebeccah
Unknown Affiliation
Computer Science & IT Electrical & Electronics Engineering Engineering

Published : 3 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 1 Documents
Search
Journal : The Indonesian Journal of Computer Science

 1 
A Review of Automated Reasoning and Its Applications in the 21st Century. Ndungi, Rebeccah; Uyun , Shofwatul
The Indonesian Journal of Computer Science Vol. 12 No. 2 (2023): The Indonesian Journal of Computer Science
Publisher : AI Society & STMIK Indonesia

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.33022/ijcs.v12i2.3175

Abstract

This article takes a look at the progress and advancement of automated reasoning and its applications in the 21st century. Reasoning refers to the method of reaching logical conclusions. The construction of computing systems that automate this process over some knowledge bases is the focus of automatic reasoning. Automated Reasoning is frequently regarded as a subfield of machine learning. It is also studied in theoretical computer science and philosophy. Some of the applications of automated reasoning include but not limited to Tableau-style systems, Automatic Theorem Proving, Superposition and Saturation, benchmarks and Classical First-Order Logic. The development of formal led to the development of artificial intelligence, which was essential in the development of artificial intelligence for reasoning.
Co-Authors Gunawan, Eko Hadi Karuga, Samuel Maria Ulfah Siregar Muhammad Anshari, Muhammad Mulyawan, Rizki Nurochman Nurochman, Nurochman Ramadhan, Ade Umar Syifaun Nafisah Uyun , Shofwatul