Results 81 to 90 of about 271,070 (187)
Higher-order Representation and Reasoning for Automated Ontology Evolution [PDF]
, 2010 : The GALILEO system aims at realising automated ontology evolution. This is necessary to enable intelligent agents to manipulate their own knowledge autonomously and thus reason and communicate effectively in open, dynamic digital environments ...
Bundy, Alan, Chan, M., Lehmann, J.
core
A Novel Conflict Deduction Algorithm Based on Contradiction Separation Inference Rule
International Journal of Computational Intelligence SystemsAutomated reasoning, a significant field within artificial intelligence, has attracted increased attention in recent years due to the rising demand for trustworthy AI.
Hailin Guo +4 more
doaj +1 more source
Vietnam Journal of Computer ScienceAs the complexity of software systems is ever increasing, so is the need for practical tools for formal verification. Among these are automatic theorem provers, capable of solving various reasoning problems automatically, and proof assistants, capable of
Simon Tobias Lund, Jørgen Villadsen
doaj +1 more source
Correctness Verification of Mutual Exclusion Algorithms by Model Checking
ModellingMutual exclusion algorithms are at the heart of concurrent/parallel and distributed systems. It is well known that such algorithms are very difficult to analyze, and in the literature, different conjectures about starvation freedom and the number of by ...
Libero Nigro, Franco Cicirelli
doaj +1 more source
Automated reasoning about machines
Artificial Intelligence, 1995 AbstractNumerical simulation is often used in predicting machine behavior, a basic capability for many tasks such as design and fault diagnosis. However, using simulators requires considerable human effort both to create behavioral models and to analyze and understand simulation results.
openaire +1 more source
Modeling the C. elegans germline stem cell genetic network using automated reasoning.
Biosystems, 2022 Amar A, Hubbard EJA, Kugler H.
europepmc +1 more source
Automated Reasoning for Mathematics
AbstractThroughout the history of automated reasoning, mathematics has been viewed as a prototypical domain of application. It is therefore surprising that the technology has had almost no impact on mathematics to date and plays almost no role in the subject today. This article presents an optimistic view that the situation is about to change.
openaire +1 more source
Design Smart Games with requirements, generate them with a Click, and revise them with a GUIs
Advances in Distributed Computing and Artificial Intelligence Journal, 2013 TERENCE is an FP7 ICT European project that is developing an adaptive learning system for supporting poor comprehenders and their educators. Its learning material are books of stories and games. The games are specialised into smart games, which stimulate
Rosella GENNARI +4 more
doaj
Developing satellite ground control software through graphical models [PDF]
This paper discusses a program of investigation into software development as graphical modeling. The goal of this work is a more efficient development and maintenance process for the ground-based software that controls unmanned scientific satellites ...
Bailin, Sidney +3 more
core +1 more source
Annals of GISSpatial prediction is essential for obtaining the spatial distribution of geographic variables and selecting appropriate covariates for this process can be challenging, especially for non-expert users.
Yi-Jie Wang +6 more
doaj +1 more source