B
Barry O'Sullivan
Researcher at University College Cork
Publications - 324
Citations - 3966
Barry O'Sullivan is an academic researcher from University College Cork. The author has contributed to research in topics: Constraint programming & Constraint satisfaction problem. The author has an hindex of 29, co-authored 312 publications receiving 3610 citations. Previous affiliations of Barry O'Sullivan include Brown University & National University of Ireland.
Papers
More filters
Journal ArticleDOI
Sustainable Policy Making: A Strategic Challenge for Artificial Intelligence
TL;DR: Some potential use of AI technology as it emerged by the European Union (EU) EU FP7 project ePolicy: Engineering the Policy Making Life-Cycle is outlined, and some potential research challenges are identified.
Book ChapterDOI
Multilevel Security and Quality of Protection
TL;DR: This paper explores how the traditional assurance measures that are used in the network multilevel security model can be re-interpreted and generalised to provide the basis of a framework for reasoning about the quality of protection provided by a secure system configuration.
Posted Content
Generating All Partitions: A Comparison Of Two Encodings
Jerome Kelleher,Barry O'Sullivan +1 more
TL;DR: Three new algorithms to generate all ascending compositions are developed and compared with descending composition generators from the literature, and a new formula for the partition function p(n) is developed as part of the analysis of the lexicographic succession rule for ascending compositions.
Book ChapterDOI
Search heuristics and heavy-tailed behaviour
Tudor Hulubei,Barry O'Sullivan +1 more
TL;DR: It is demonstrated that heavy-tailed behaviour can be eliminated from particular classes of random problems by carefully selecting the search heuristics, even when using chronological backtrack search.
Proceedings Article
Weighted super solutions for constraint programs
Alan Holland,Barry O'Sullivan +1 more
TL;DR: This paper presents the weighted super solution framework that involves two important extensions: the set of variables that may lose their values is determined using a probabilistic approach enabling us to find repair solutions for assignments that are most likely to fail and a mechanism for reasoning about the cost of repair.