Results 61 to 70 of about 271,070 (187)
Mining Software Repair Models for Reasoning on the Search Space of Automated Program Fixing
, 2013 This paper is about understanding the nature of bug fixing by analyzing thousands of bug fix transactions of software repositories. It then places this learned knowledge in the context of automated program repair.
Martinez, Matias, Monperrus, Martin
core +1 more source
Automating structured reasoning with entity-driven semantic simplification in Llms
Systems Science & Control EngineeringChain-of-Thought (CoT) prompting has substantially improved zero-shot reasoning in large language models (LLMs). However, for problems involving multiple interacting entities, entangled dependencies and scattered attribute information often hinder ...
Jianquan Liao +3 more
doaj +1 more source
Satisfiability-Based Algorithms for Boolean Optimization
, 2004 This paper proposes new algorithms for the Binate Covering Problem (BCP), a well-known restriction of Boolean Optimization. Binate Covering finds application in many areas of Computer Science and Engineering.
Manquinho, V., Marques-Silva, J. P.
core +2 more sources
A Logical–Algebraic Approach to Revising Formal Ontologies: Application in Mereotopology
AIIn ontology engineering, reusing (or extending) ontologies poses a significant challenge, requiring revising their ontological commitments and ensuring accurate representation and coherent reasoning.
Gonzalo A. Aranda-Corral +3 more
doaj +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, 2012 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
Vincenza COFINI +4 more
doaj +1 more source
A Spectrum of Applications of Automated Reasoning
, 2002 The likelihood of an automated reasoning program being of substantial assistance for a wide spectrum of applications rests with the nature of the options and parameters it offers on which to base needed strategies and methodologies.
Wos, Larry
core +2 more sources
Aximo: automated axiomatic reasoning for information update
, 2007 Aximo is a software written in C++ that verifies epistemic properties of dynamic scenarios in multi-agent systems. The underlying logic of our tool is based on the algebraic axiomatics of Dynamic Epistemic Logic. We also present a new theoretical result:
Richards, Simon, Sadrzadeh, Mehrnoosh
core
Proofs to two inequality conjectures for a point on the plane of a triangle
Journal of Inequalities and Applications, 2016 We prove two conjectures for a point on the plane of a triangle presented in (Liu in J. Math. Inequal. 8(3):597-611, 2014, doi: 10.1007/s11590-013-0708-4 ) by using the successive difference substitution algorithm NEWTSDS.
Fangjian Huang
doaj +1 more source
Hidden-Markov Program Algebra with iteration
, 2011 We use Hidden Markov Models to motivate a quantitative compositional semantics for noninterference-based security with iteration, including a refinement- or "implements" relation that compares two programs with respect to their information leakage; and ...
ANNABELLE MCIVER +15 more
core +1 more source
Automated Reasoning in the Age of the Internet [PDF]
, 2018 The internet hosts a vast store of information that we cannot and should not ignore. It’s not enough just to retrieve facts. To make full use of the internet we must also infer new information from old. This is an exciting new opportunity for automated reasoning, but it also presents new kinds of research challenge.
Alan Bundy +2 more
openaire +1 more source