Enhancing SMT-based Weighted Model Integration by structure awareness

, , , &
Artificial Intelligence 328 (C):104067 (2024)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2024.104067

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,323

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Advanced SMT techniques for weighted model integration.Paolo Morettin, Andrea Passerini & Roberto Sebastiani - 2019 - Artificial Intelligence 275 (C):1-27.
Inner time-consciousness and pre-reflective self-awareness.Dan Zahavi - 2003 - In Donn Welton (ed.), The New Husserl: A Critical Reader. Bloomington: Indiana University Press. pp. 157-180.
Construction of 3D model of knee joint motion based on MRI image registration.Mohd Asif Shah, Zheng Wen Lai & Lei Zhang - 2021 - Journal of Intelligent Systems 31 (1):15-26.
Link Prediction Model for Weighted Networks Based on Evidence Theory and the Influence of Common Neighbours.Miaomiao Liu, Yang Wang, Jing Chen & Yongsheng Zhang - 2022 - Complexity 2022:1-16.
Approximate weighted model integration on DNF structures.Ralph Abboud, İsmail İlkan Ceylan & Radoslav Dimitrov - 2022 - Artificial Intelligence 311 (C):103753.
An efficient recurrent neural network with ensemble classifier-based weighted model for disease prediction.Ramesh Kumar Krishnamoorthy & Tamilselvi Kesavan - 2022 - Journal of Intelligent Systems 31 (1):979-991.
Image retrieval based on weighted nearest neighbor tag prediction.Xiancheng Ding, Dayang Jiang & Qi Yao - 2022 - Journal of Intelligent Systems 31 (1):589-600.
Awareness in Logic and Epistemology: A Conceptual Schema and Logical Study of the Underlying Main Epistemic Concepts.Claudia Fernández-Fernández - 2021 - Springer Verlag.
Ontology For Europe's Space Situational Awareness Program.Robert J. Rovetto - 2017 - In T. Flohrer & F. Schmitz (eds.), Proceedings of the 7th European Conference on Space Debris. Darmstadt, Germany: European Space Agency.
Compliance Model and Structure Optimization Method Based on Genetic Algorithm for Flexure Hinge Based on X-Lattice Structure.Yin Zhang, Jianwei Wu & Jiubin Tan - 2021 - Complexity 2021:1-14.
A Direct Realist Account of Perceptual Awareness.Michael Huemer - 1998 - Dissertation, Rutgers University
A Weighted Statistical Network Modeling Approach to Product Competition Analysis.Yaxin Cui, Faez Ahmed, Zhenghui Sha, Lijun Wang, Yan Fu, Noshir Contractor & Wei Chen - 2022 - Complexity 2022:1-16.
Learning and expertise with scientific external representations: an embodied and extended cognition model.Prajakt Pande - 2020 - Phenomenology and the Cognitive Sciences 20 (3):463-482.
Theory structure, reduction, and disciplinary integration in biology.Kenneth F. Schaffner - 1993 - Biology and Philosophy 8 (3):319-347.
Most of the avian genome appears available for retroviral DNA integration.Alan Engelman - 1994 - Bioessays 16 (11):797-799.

Analytics

Added to PP
2024-01-22

Downloads
6 (#1,466,578)

6 months
6 (#530,399)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

On probabilistic inference by weighted model counting.Mark Chavira & Adnan Darwiche - 2008 - Artificial Intelligence 172 (6-7):772-799.

Add more references