Search Results - specifying AND verifying AND reasoning about progress general terms algorithms~

Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs.

Authors: Liu, Junyi Zhou, Li Barthe, Gilles et al.

Source: Journal of the ACM; Jun2025, Vol. 72 Issue 3, p1-51, 51p

Subject Terms: RANDOM walks, GENERALIZATION, ALGORITHMS, PHYSICS, FACTORIES

ARITHMETISING LOGIC: POLYNOMIAL SEMANTICS OF FOL.

Authors: GABBAY, MURDOCH J.

Source: Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP); Oct2025, Vol. 12 Issue 6, p1481-1548, 68p

Subject Terms: FIRST-order logic, POLYNOMIALS, CRYPTOGRAPHY, MATHEMATICAL logic, LOGIC

Empirical Game Theoretic Analysis: A Survey.

Authors: Wellman, Michael P. Tuyls, Karl Greenwald, Amy

Source: Journal of Artificial Intelligence Research; 2025, Vol. 82, p1017-1076, 60p

Subject Terms: MACHINE learning, AUCTIONS, GAMES, MOTIVATION (Psychology)

Deep Learning With DAGs.

Authors: Balgi, Sourabh Daoud, Adel Peña, Jose M. et al.

Source: Sociological Methods & Research; Nov2025, Vol. 54 Issue 4, p1624-1682, 59p

Subject Terms: DEEP learning, CAUSAL inference, CAUSATION (Philosophy), CAUSAL models, DIRECTED acyclic graphs, STATUS attainment, SCIENTIFIC observation, FLOWGRAPHS

Further N -Frame networking dynamics of conscious observer-self agents via a functional contextual interface: predictive coding, double-slit quantum mechanical experiment, and decision-making fallacy modeling as applied to the measurement problem in humans and AI

Authors: Edwards, Darren J.

Source: Frontiers in Computational Neuroscience; 2025, p1-53, 53p

Subject Terms: LANGUAGE models, ARTIFICIAL intelligence, COGNITIVE bias, QUANTUM operators, COGNITIVE maps (Psychology)

Mechanizing UNITY in Isabelle

Authors: Lawrence C. Paulson The Pennsylvania State University CiteSeerX Archives

Contributors: Lawrence C. Paulson The Pennsylvania State University CiteSeerX Archives

Source: http://www.cl.cam.ac.uk/users/lcp/papers/UNITY.pdf.

Subject Terms: Categories and Subject Descriptors, F.3.1 [Theory of Computation, Logics and Meanings of Programs—Specifying and Verifying and Reasoning about Programs General Terms, Theory, Verification Additional Key Words and Phrases, UNITY, Isabelle, concurrency, compositional reasoning

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.686; http://www.cl.cam.ac.uk/users/lcp/papers/UNITY.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.686
http://www.cl.cam.ac.uk/users/lcp/papers/UNITY.pdf

Citation of AI Contributions in Scientific Publications; How, Where and Why?

Authors: Abu-Naba'a, Layla A.

Source: Jordan Journal of Dentistry; Oct2025, Vol. 2 Issue 4, p6-16, 11p

Programming and reasoning about actors that share state.

Source: Journal of Functional Programming; 2024, Vol. 34, p1-69, 69p

Subject Terms: ACTORS, SHARING, WISHES, CONVERSATION

Representing and reasoning about auctions.

Authors: Mittelmann, Munyque Bouveret, Sylvain Perrussel, Laurent

Source: Autonomous Agents & Multi-Agent Systems; Apr2022, Vol. 36 Issue 1, p1-47, 47p

When a machine detects student reasoning: a review of machine learning-based formative assessment of mechanistic reasoning.

Authors: Martin, Paul P. Graulich, Nicole

Source: Chemistry Education: Research & Practice; 2023, Vol. 24 Issue 2, p407-427, 21p

Subject Terms: MACHINE learning, TECHNOLOGICAL innovations

INTERLEAVING LOGIC AND COUNTING.

Authors: VAN BENTHEM, JOHAN ICARD, THOMAS

Source: Bulletin of Symbolic Logic; Dec2024, Vol. 29 Issue 4, p503-587, 85p

Subject Terms: ARITHMETIC, DIOPHANTINE equations, GENERALIZATION, MONOTONIC functions, QUANTIFIERS (Linguistics)

Multi-Valued Reasoning about Reactive Systems.

Authors: Kupferman, Orna

Source: Foundations & Trends in Theoretical Computer Science; 2019, Vol. 15 Issue 2, p126-228, 103p

Subject Terms: COMPUTER science, BOOLEAN algebra, SEMANTICS, ALGORITHMS, MATHEMATICAL models

The Venus score for the assessment of the quality and trustworthiness of biomedical datasets.

Authors: Chicco, Davide Fabris, Alessandro Jurman, Giuseppe

Source: BioData Mining; 1/9/2025, Vol. 18 Issue 1, p1-31, 31p

Subject Terms: MEDICAL informatics, COMPUTATIONAL biology, TRUST, ELECTRONIC health records, ARTIFICIAL intelligence

(Chinavis 2024) TextLens: large language models-powered visual analytics enhancing text clustering.

Authors: Peng, Ruixiao Dong, Yu Li, Guan et al.

Source: Journal of Visualization; Jun2025, Vol. 28 Issue 3, p625-643, 19p

Detection and diagnosis of deviations in distributed systems of autonomous agents.

Authors: Nigam, Vivek Kim, Minyoung Mason, Ian et al.

Source: Mathematical Structures in Computer Science; Oct2022, Vol. 32 Issue 9, p1254-1282, 29p

Subject Terms: CYBER physical systems, FAULT diagnosis, COUNTERFACTUALS (Logic), WORKFLOW management systems, DIAGNOSIS, LOGIC

Developing a multiscale neural connectivity knowledgebase of the autonomic nervous system.

Authors: Imam, Fahim T. Gillespie, Thomas H. Ziogas, Ilias et al.

Source: Frontiers in Neuroinformatics; 2025, p1-25, 25p

Subject Terms: NEUROLOGICAL disorders, KNOWLEDGE representation (Information theory), KNOWLEDGE graphs, NEURAL circuitry, CENTRAL nervous system

Training 4.6-Bit Convolutional Neural Networks with a HardTanh Activation Function.

Authors: Trusov, A. V.

Source: Pattern Recognition & Image Analysis; Mar2025, Vol. 35 Issue 1, p44-64, 21p

HYPERATL: A LOGIC FOR HYPERPROPERTIES IN MULTI-AGENT SYSTEMS.

Authors: BEUTNER, RAVEN FINKBEINER, BERND

Source: Logical Methods in Computer Science (LMCS); 2023, Vol. 19 Issue 2, p1-44, 44p

Subject Terms: MULTIAGENT systems, LOGIC

Synchronised Shared Memory and Model Checking.

Authors: Aguado, Joaquín Duenas, Alejandra

Source: ACM Transactions on Embedded Computing Systems; Sep2024, Vol. 23 Issue 5, p1-30, 30p

Subject Terms: MEMORY, SEMANTICS, SCHEDULING

Shaping the Future of Healthcare: Ethical Clinical Challenges and Pathways to Trustworthy AI.

Authors: Goktas, Polat Grzybowski, Andrzej

Source: Journal of Clinical Medicine; Mar2025, Vol. 14 Issue 5, p1605, 28p

Subject Terms: MACHINE learning, LANGUAGE models, NATURAL language processing, DATA privacy, ALGORITHMIC bias