Statistical relational artificial intelligence: Logic, probability, and computation
An intelligent agent interacting with the real world will encounter individual people, courses,
test results, drugs prescriptions, chairs, boxes, etc., and needs to reason about properties of …
test results, drugs prescriptions, chairs, boxes, etc., and needs to reason about properties of …
A combination of shape and texture features for classification of pulmonary nodules in lung CT images
Classification of malignant and benign pulmonary nodules is important for further treatment
plan. The present work focuses on the classification of benign and malignant pulmonary …
plan. The present work focuses on the classification of benign and malignant pulmonary …
Unifying logical and statistical AI with Markov logic
P Domingos, D Lowd - Communications of the ACM, 2019 - dl.acm.org
Unifying logical and statistical AI with Markov logic Page 1 74 COMMUNICATIONS OF THE
ACM | JULY 2019 | VOL. 62 | NO. 7 review articles To handle the complexity and uncertainty …
ACM | JULY 2019 | VOL. 62 | NO. 7 review articles To handle the complexity and uncertainty …
A user-guided approach to program analysis
Program analysis tools often produce undesirable output due to various approximations. We
present an approach and a system EUGENE that allows user feedback to guide such …
present an approach and a system EUGENE that allows user feedback to guide such …
Lifted graphical models: a survey
Lifted graphical models provide a language for expressing dependencies between different
types of entities, their attributes, and their diverse relations, as well as techniques for …
types of entities, their attributes, and their diverse relations, as well as techniques for …
Tractability through exchangeability: A new perspective on efficient probabilistic inference
M Niepert, G Van den Broeck - Proceedings of the AAAI Conference on …, 2014 - ojs.aaai.org
Exchangeability is a central notion in statistics and probability theory. The assumption that
an infinite sequence of data points is exchangeable is at the core of Bayesian statistics …
an infinite sequence of data points is exchangeable is at the core of Bayesian statistics …
Marrying uncertainty and time in knowledge graphs
M Chekol, G Pirrò, J Schoenfisch… - Proceedings of the AAAI …, 2017 - ojs.aaai.org
The management of uncertainty is crucial when harvesting structured content from
unstructured and noisy sources. Knowledge Graphs (KGs) are a prominent example. KGs …
unstructured and noisy sources. Knowledge Graphs (KGs) are a prominent example. KGs …
Content-based image retrieval system for pulmonary nodules: assisting radiologists in self-learning and diagnosis of lung cancer
Visual information of similar nodules could assist the budding radiologists in self-learning.
This paper presents a content-based image retrieval (CBIR) system for pulmonary nodules …
This paper presents a content-based image retrieval (CBIR) system for pulmonary nodules …
Semantic-based Big Data integration framework using scalable distributed ontology matching strategy
Abstract Nowadays, Big Data management has become a key basis for innovation,
productivity growth, and competition. The correlated exploitation of data of this magnitude …
productivity growth, and competition. The correlated exploitation of data of this magnitude …
Maximum satisfiability in software analysis: Applications and techniques
A central challenge in software analysis concerns balancing different competing tradeoffs.
To address this challenge, we propose an approach based on the Maximum Satisfiability …
To address this challenge, we propose an approach based on the Maximum Satisfiability …