26
|
Steinlechner F, Ecker S, Fink M, Liu B, Bavaresco J, Huber M, Scheidl T, Ursin R. Distribution of high-dimensional entanglement via an intra-city free-space link. Nat Commun 2017; 8:15971. [PMID: 28737168 PMCID: PMC5527279 DOI: 10.1038/ncomms15971] [Citation(s) in RCA: 35] [Impact Index Per Article: 5.0] [Reference Citation Analysis] [Abstract] [Track Full Text] [Download PDF] [Figures] [Journal Information] [Subscribe] [Scholar Register] [Received: 10/11/2016] [Accepted: 05/17/2017] [Indexed: 11/09/2022] Open
Abstract
Quantum entanglement is a fundamental resource in quantum information processing and its distribution between distant parties is a key challenge in quantum communications. Increasing the dimensionality of entanglement has been shown to improve robustness and channel capacities in secure quantum communications. Here we report on the distribution of genuine high-dimensional entanglement via a 1.2-km-long free-space link across Vienna. We exploit hyperentanglement, that is, simultaneous entanglement in polarization and energy-time bases, to encode quantum information, and observe high-visibility interference for successive correlation measurements in each degree of freedom. These visibilities impose lower bounds on entanglement in each subspace individually and certify four-dimensional entanglement for the hyperentangled system. The high-fidelity transmission of high-dimensional entanglement under real-world atmospheric link conditions represents an important step towards long-distance quantum communications with more complex quantum systems and the implementation of advanced quantum experiments with satellite links. Increasing the dimensionality of entangled states improves robustness and capacity of secure quantum communications, but it requires suitably modified setups. Here the authors report the distribution of high-dimensional polarization and energy-time entangled photons via a 1.2 km-long free-space link.
Collapse
|
27
|
Fink M, Waldmann J, Schumm-Draeger PM. Diabetes and Periodontitis – can improvement of glycaemia also ameliorate periodontitis? DIABETOL STOFFWECHS 2017. [DOI: 10.1055/s-0037-1603543] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 10/19/2022]
|
28
|
Fink M, Rodriguez-Aramendia A, Handsteiner J, Ziarkash A, Steinlechner F, Scheidl T, Fuentes I, Pienaar J, Ralph TC, Ursin R. Experimental test of photonic entanglement in accelerated reference frames. Nat Commun 2017; 8:15304. [PMID: 28489082 PMCID: PMC5436216 DOI: 10.1038/ncomms15304] [Citation(s) in RCA: 20] [Impact Index Per Article: 2.9] [Reference Citation Analysis] [Abstract] [Track Full Text] [Download PDF] [Figures] [Journal Information] [Subscribe] [Scholar Register] [Received: 08/22/2016] [Accepted: 03/20/2017] [Indexed: 11/08/2022] Open
Abstract
The unification of the theory of relativity and quantum mechanics is a long-standing challenge in contemporary physics. Experimental techniques in quantum optics have only recently reached the maturity required for the investigation of quantum systems under the influence of non-inertial motion, such as being held at rest in gravitational fields, or subjected to uniform accelerations. Here, we report on experiments in which a genuine quantum state of an entangled photon pair is exposed to a series of different accelerations. We measure an entanglement witness for g-values ranging from 30 mg to up to 30 g-under free-fall as well on a spinning centrifuge-and have thus derived an upper bound on the effects of uniform acceleration on photonic entanglement.
Collapse
|
29
|
Handsteiner J, Friedman AS, Rauch D, Gallicchio J, Liu B, Hosp H, Kofler J, Bricher D, Fink M, Leung C, Mark A, Nguyen HT, Sanders I, Steinlechner F, Ursin R, Wengerowsky S, Guth AH, Kaiser DI, Scheidl T, Zeilinger A. Cosmic Bell Test: Measurement Settings from Milky Way Stars. PHYSICAL REVIEW LETTERS 2017; 118:060401. [PMID: 28234500 DOI: 10.1103/physrevlett.118.060401] [Citation(s) in RCA: 17] [Impact Index Per Article: 2.4] [Reference Citation Analysis] [Abstract] [Track Full Text] [Subscribe] [Scholar Register] [Received: 11/21/2016] [Indexed: 06/06/2023]
Abstract
Bell's theorem states that some predictions of quantum mechanics cannot be reproduced by a local-realist theory. That conflict is expressed by Bell's inequality, which is usually derived under the assumption that there are no statistical correlations between the choices of measurement settings and anything else that can causally affect the measurement outcomes. In previous experiments, this "freedom of choice" was addressed by ensuring that selection of measurement settings via conventional "quantum random number generators" was spacelike separated from the entangled particle creation. This, however, left open the possibility that an unknown cause affected both the setting choices and measurement outcomes as recently as mere microseconds before each experimental trial. Here we report on a new experimental test of Bell's inequality that, for the first time, uses distant astronomical sources as "cosmic setting generators." In our tests with polarization-entangled photons, measurement settings were chosen using real-time observations of Milky Way stars while simultaneously ensuring locality. Assuming fair sampling for all detected photons, and that each stellar photon's color was set at emission, we observe statistically significant ≳7.31σ and ≳11.93σ violations of Bell's inequality with estimated p values of ≲1.8×10^{-13} and ≲4.0×10^{-33}, respectively, thereby pushing back by ∼600 years the most recent time by which any local-realist influences could have engineered the observed Bell violation.
Collapse
|
30
|
Karst M, Fink M. Acupuncture—A Biomedical Information Therapy: A Translational Analysis. Med Acupunct 2016. [DOI: 10.1089/acu.2016.1196] [Citation(s) in RCA: 3] [Impact Index Per Article: 0.4] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 12/11/2022] Open
|
31
|
Fink M, Trunk S, Hall M, Schwab H, Steiner K. Engineering of TM1459 from Thermotoga maritima for Increased Oxidative Alkene Cleavage Activity. Front Microbiol 2016; 7:1511. [PMID: 27713741 PMCID: PMC5031596 DOI: 10.3389/fmicb.2016.01511] [Citation(s) in RCA: 5] [Impact Index Per Article: 0.6] [Reference Citation Analysis] [Abstract] [Key Words] [Track Full Text] [Download PDF] [Figures] [Journal Information] [Subscribe] [Scholar Register] [Received: 07/29/2016] [Accepted: 09/09/2016] [Indexed: 11/26/2022] Open
Abstract
Oxidative cleavage of alkenes is a widely employed process allowing oxyfunctionalization to corresponding carbonyl compounds. Recently, a novel biocatalytic oxidative alkene cleavage activity on styrene derivatives was identified in TM1459 from Thermotoga maritima. In this work we engineered the enzyme by site-saturation mutagenesis of active site amino acids to increase its activity and to broaden its substrate scope. A high-throughput assay for the detection of the ketone products was successfully developed. Several variants with up to twofold improved conversion level of styrene derivatives were successfully identified. Especially, changes in or removal of the C-terminus of TM1459 increased the activity most significantly. These best variants also displayed a slightly enlarged substrate scope.
Collapse
|
32
|
Mohan R, Gupta S, Sharma A, Anumanthan G, Sinha P, Fink M, Tripathi R, Raikwar S, Giuliano E, Rieger F, Hesemann N, Sinha N, Chaurasia S. Novel tissue-targeted localized gene therapy for corneal scarring and neovascularization. Acta Ophthalmol 2016. [DOI: 10.1111/j.1755-3768.2016.0452] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/27/2022]
|
33
|
Vorhagen S, Nafisi J, Tellkamp F, Fink M, Niessen C. 130 Polarity signaling in spindle orientation and regulation of epidermal stem cell fate. J Invest Dermatol 2016. [DOI: 10.1016/j.jid.2016.06.148] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/28/2022]
|
34
|
Pellizzari M, Simonutti M, Degardin J, Sahel JA, Fink M, Paques M, Atlan M. High speed optical holography of retinal blood flow. OPTICS LETTERS 2016; 41:3503-6. [PMID: 27472604 DOI: 10.1364/ol.41.003503] [Citation(s) in RCA: 3] [Impact Index Per Article: 0.4] [Reference Citation Analysis] [Abstract] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 05/20/2023]
Abstract
We performed noninvasive video imaging of retinal blood flow in a pigmented rat by holographic interferometry of near-infrared laser light backscattered by retinal tissue, beating against an off-axis reference beam sampled at a frame rate of 39 kHz with a high throughput camera. Local Doppler contrasts emerged from the envelopes of short-time Fourier transforms and the phase of autocorrelation functions of holograms rendered by Fresnel transformation. This approach permitted imaging of blood flow in large retinal vessels (∼30 microns diameter) over 400×400 pixels with a spatial resolution of ∼8 microns and a temporal resolution of ∼6.5 ms.
Collapse
|
35
|
Weber M, Fink M, Fortov V, Lipaev A, Molotkov V, Morfill G, Petrov O, Pustylnik M, Thoma M, Thomas H, Usachev A, Raeth C. Assessing particle kinematics via template matching algorithms. OPTICS EXPRESS 2016; 24:7987-8012. [PMID: 27137240 DOI: 10.1364/oe.24.007987] [Citation(s) in RCA: 1] [Impact Index Per Article: 0.1] [Reference Citation Analysis] [Abstract] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 06/05/2023]
Abstract
Template matching algorithms represent a viable tool to locate particles in optical images. A crucial factor of the performance of these methods is the choice of the similarity measure. Recently, it was shown in [Gao and Helgeson, Opt. Express 22 (2014)] that the correlation coefficient (CC) leads to good results. Here, we introduce the mutual information (MI) as a nonlinear similarity measure and compare the performance of the MI and the CC for different noise scenarios. It turns out that the mutual information leads to superior results in the case of signal dependent noise. We propose a novel approach to estimate the velocity of particles which is applicable in imaging scenarios where the particles appear elongated due to their movement. By designing a bank of anisotropic templates supposed to fit the elongation of the particles we are able to reliably estimate their velocity and direction of motion out of a single image.
Collapse
|
36
|
Fink M, Fricchione G, Rummans T, Shorter E. Catatonia is a systemic medical syndrome. Acta Psychiatr Scand 2016; 133:250-1. [PMID: 26426740 DOI: 10.1111/acps.12510] [Citation(s) in RCA: 20] [Impact Index Per Article: 2.5] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Submit a Manuscript] [Subscribe] [Scholar Register] [Indexed: 11/28/2022]
|
37
|
Bauer HK, Heller M, Fink M, Maresch D, Gartner J, Gassner UM, Al-Nawas B. Social and legal frame conditions for 3D (and) bioprinting in medicine. INTERNATIONAL JOURNAL OF COMPUTERIZED DENTISTRY 2016; 19:293-299. [PMID: 28008427] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Abstract] [MESH Headings] [Subscribe] [Scholar Register] [Indexed: 06/06/2023]
Abstract
The beginnings of three-dimensional (3D) printing and bioprinting can be traced to as early as 1984. From printing inorganic models for the generation of biologic scaffolds, additive manufacturing (AM) developed to the direct printing of organic materials, including specialized tissues, proteins, and cells. In recent years, these technologies have gained significantly in relevance, and there have been several innovations, especially in the field of regenerative medicine. It is becoming increasingly important to consider the economic and social aspects of AM, particularly in education and information of medical human resources, society, and politics, as well as for the establishment of homogenous, globally adapted legal regulations.
Collapse
|
38
|
Fink M. Seeing the king's frenzy as catatonia. Acta Psychiatr Scand 2015; 132:500-1. [PMID: 26696386 DOI: 10.1111/acps.12519] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Submit a Manuscript] [Subscribe] [Scholar Register] [Indexed: 11/27/2022]
|
39
|
Riviere JE, Gabrielsson J, Fink M, Mochel J. Mathematical modeling and simulation in animal health. Part I: Moving beyond pharmacokinetics. J Vet Pharmacol Ther 2015; 39:213-23. [PMID: 26592724 DOI: 10.1111/jvp.12278] [Citation(s) in RCA: 21] [Impact Index Per Article: 2.3] [Reference Citation Analysis] [Abstract] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Received: 08/11/2015] [Revised: 09/29/2015] [Accepted: 10/07/2015] [Indexed: 02/05/2023]
Abstract
The application of mathematical modeling to problems in animal health has a rich history in the form of pharmacokinetic modeling applied to problems in veterinary medicine. Advances in modeling and simulation beyond pharmacokinetics have the potential to streamline and speed-up drug research and development programs. To foster these goals, a series of manuscripts will be published with the following goals: (i) expand the application of modeling and simulation to issues in veterinary pharmacology; (ii) bridge the gap between the level of modeling and simulation practiced in human and veterinary pharmacology; (iii) explore how modeling and simulation concepts can be used to improve our understanding of common issues not readily addressed in human pharmacology (e.g. breed differences, tissue residue depletion, vast weight ranges among adults within a single species, interspecies differences, small animal species research where data collection is limited to sparse sampling, availability of different sampling matrices); and (iv) describe how quantitative pharmacology approaches could help understanding key pharmacokinetic and pharmacodynamic characteristics of a drug candidate, with the goal of providing explicit, reproducible, and predictive evidence for optimizing drug development plans, enabling critical decision making, and eventually bringing safe and effective medicines to patients. This study introduces these concepts and introduces new approaches to modeling and simulation as well as clearly articulate basic assumptions and good practices. The driving force behind these activities is to create predictive models that are based on solid physiological and pharmacological principles as well as adhering to the limitations that are fundamental to applying mathematical and statistical models to biological systems.
Collapse
|
40
|
Rettinger A, Broeckl S, Fink M, Prodinger WM, Blum H, Krebs S, Domogalla J, Just F, Gellert S, Straubinger RK, Büttner M. The Region of Difference Four is a Robust Genetic Marker for Subtyping Mycobacterium caprae Isolates and is Linked to Spatial Distribution of Three Subtypes. Transbound Emerg Dis 2015; 64:782-792. [PMID: 26518998 DOI: 10.1111/tbed.12438] [Citation(s) in RCA: 7] [Impact Index Per Article: 0.8] [Reference Citation Analysis] [Abstract] [Key Words] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Received: 05/21/2015] [Indexed: 12/22/2022]
Abstract
Alpine Mycobacterium caprae isolates found in cattle and red deer display at least three genetic variations in the region of difference four (RD4) that can be used for further differentiation of the isolates into the subtypes 'Allgäu', 'Karwendel' and 'Lechtal'. Each genomic subtype is thereby characterized by a specific nucleotide deletion pattern in the 12.7-kb RD4 region. Even though M. caprae infections are frequently documented in cattle and red deer, little is known about the transmission routes. Hence, robust markers for M. caprae subtyping are needed to gain insight into the molecular epidemiology. For this reason, a rapid and robust multiplex PCR was developed for the simultaneous detection of three M. caprae RD4 subtypes and was used to subtype a total number of 241 M. caprae isolates from animals (145 cattle, 95 red deer and one fox) from Bavaria and Austria. All three subtypes occur spatially distributed and are found in cattle and in red deer suggesting transmission between the two species. As subtypes are genetically stable in both species it is hypothesized that the described genetic variations developed within the host due to 'within-host replication'. The results of this study recommend the genomic RD4 region as a reliable diagnostic marker for M. caprae subtype differentiation.
Collapse
|
41
|
Fink M. Reply: To PMID 23215963. Acta Psychiatr Scand 2015; 132:320. [PMID: 26018981 DOI: 10.1111/acps.12444] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Submit a Manuscript] [Subscribe] [Scholar Register] [Indexed: 11/30/2022]
|
42
|
Büttner M, Bröckl S, Krebs S, Blum H, Fink M, Straubinger R. Molekulare Typisierungsverfahren bei Mykobacterium caprae. DAS GESUNDHEITSWESEN 2015. [DOI: 10.1055/s-0035-1563041] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 10/23/2022]
|
43
|
Gartner J, Maresch D, Fink M. The Potential of Additive Manufacturing for Technology Entrepreneurship: An Integrative Technology Assessment. CREATIVITY AND INNOVATION MANAGEMENT 2015. [DOI: 10.1111/caim.12132] [Citation(s) in RCA: 16] [Impact Index Per Article: 1.8] [Reference Citation Analysis] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 11/28/2022]
|
44
|
|
45
|
Hatak I, Harms R, Fink M. Age, job identification, and entrepreneurial intention. JOURNAL OF MANAGERIAL PSYCHOLOGY 2015. [DOI: 10.1108/jmp-07-2014-0213] [Citation(s) in RCA: 79] [Impact Index Per Article: 8.8] [Reference Citation Analysis] [Abstract] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 11/17/2022]
Abstract
Purpose
– The purpose of this paper is to examine how age and job identification affect entrepreneurial intention.
Design/methodology/approach
– The researchers draw on a representative sample of the Austrian adult workforce and apply binary logistic regression on entrepreneurial intention.
Findings
– The findings reveal that as employees age they are less inclined to act entrepreneurially, and that their entrepreneurial intention is lower the more they identify with their job. Whereas gender, education, and previous entrepreneurial experience matter, leadership and having entrepreneurial parents seem to have no impact on the entrepreneurial intention of employees.
Research limitations/implications
– Implications relate to a contingency perspective on entrepreneurial intention where the impact of age is exacerbated by stronger identification with the job.
Practical implications
– Practical implications include the need to account for different motivational backgrounds when addressing entrepreneurial employees of different ages. Societal implications include the need to adopt an age perspective to foster entrepreneurial intentions within established organizations.
Originality/value
– While the study corroborates and extends findings from entrepreneurial intention research, it contributes new empirical insights to the age and job-dependent contingency perspective on entrepreneurial intention.
Collapse
|
46
|
Gittins T, Fink M. Return migration, informal learning, human capital development and SME internationalization in the CEE region: A systematic literature review. JOURNAL OF EAST EUROPEAN MANAGEMENT STUDIES 2015. [DOI: 10.5771/0949-6181-2015-3-279] [Citation(s) in RCA: 6] [Impact Index Per Article: 0.7] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/11/2022]
|
47
|
Fink M, Frank H, Gundolf K, Kailer N. Management of qualitative change in small and medium-sized enterprises: a kaleidoscope of theoretical and empirical research. REVIEW OF MANAGERIAL SCIENCE 2014. [DOI: 10.1007/s11846-014-0153-5] [Citation(s) in RCA: 1] [Impact Index Per Article: 0.1] [Reference Citation Analysis] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 11/28/2022]
|
48
|
Fink M. What was learned: studies by the consortium for research in ECT (CORE) 1997-2011. Acta Psychiatr Scand 2014; 129:417-26. [PMID: 24571807 DOI: 10.1111/acps.12251] [Citation(s) in RCA: 64] [Impact Index Per Article: 6.4] [Reference Citation Analysis] [Abstract] [Key Words] [Track Full Text] [Journal Information] [Submit a Manuscript] [Subscribe] [Scholar Register] [Accepted: 01/16/2014] [Indexed: 11/28/2022]
Abstract
OBJECTIVE To review the findings of the four-hospital collaborative studies of electroconvulsive therapy (ECT) in unipolar depressed patients known as CORE between 1997 and 2011. Unipolar depressed patients were treated with bilateral ECT, and on remission were randomly assigned to a fixed schedule continuation ECT or to combined lithium and nortriptyline for 6 months. A second study compared three electrode placements in unipolar and bipolar depressed patients. METHOD Nineteen published reports were reviewed. The findings are compared with those of a parallel multi-hospital study of ECT led by a Columbia University Collaboration (CUC) team that studied right unilateral ECT in a similar population with similar inclusion/exclusion and remission criteria. Successful ECT was followed by placebo, nortriptyline alone, or combined lithium, and nortriptyline. RESULTS Relapse rates after remission were similar with fixed schedule ECT as with medications. Predictors of outcome (psychosis, suicide risk, polarity, melancholia, atypical depression, age) and technical aspects (electrode placement, seizure threshold, speed of response) are discussed, CONCLUSION The findings offer criteria to optimize the selection of patients, the technique, and outcome of ECT for unipolar and bipolar depressed patients. Continuation ECT is an effective alternative to continuation treatment with lithium and nortriptyline. Bilateral electrode placement is more efficient than alternative placements. ECT relieves both bipolar and unipolar depression.
Collapse
|
49
|
Fink M, Medelnik J, Strobel K, Hirschfelder U, Hofmann E. Metric precision via soft-tissue landmarks in three-dimensional structured-light scans of human faces. J Orofac Orthop 2014; 75:133-43. [PMID: 24577017 DOI: 10.1007/s00056-013-0201-9] [Citation(s) in RCA: 12] [Impact Index Per Article: 1.2] [Reference Citation Analysis] [Abstract] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Received: 01/17/2013] [Accepted: 05/13/2013] [Indexed: 10/25/2022]
Abstract
OBJECTIVES The goal of the current work was to investigate the suitability of ten facial soft-tissue landmarks (trichion, glabella, nasion, left and right orbital, subnasal, left and right porion, pogonion, gnathion) as reference points for metric facial analysis by analyzing their intra- and interserial precision in all three dimensions. METHODS The faces of 32 volunteers were scanned using a standardized protocol with a structured-light scanner (FaceSCAN(3D) Scientific Photolab 60 Hz; 3D Shape, Erlangen, Germany). Three examiners placed the landmarks twice within a 2-week interval. Image processing (Onyx Ceph(3); Image Instruments; Chemnitz, Germany) and statistical (SAS 9.2; SAS Institute, Cary, NC, USA) software was used for analysis. All measurements were corrected for mean values per patient and analyzed for intraserial and interserial error by model II ANOVA for a simple classification with random effects. RESULTS Median intraserial precision was 0.40 mm (range 0.05-1.01 mm) overall, including 0.40 mm (0.33-0.85 mm) on the x-axis, 0.64 mm (0.36-0.87 mm) on the y-axis, and 0.27 mm (0.05-1.01 mm) on the z-axis. Interserial precision was substantially lower at a median of 0.05 mm (0-0.22 mm), often not statistically assessable with intraserial precision. We observed no landmark-associated differences; in particular, the medians of the bilateral landmarks orbital (intraserial: 0.40 mm; interserial: 0.02 mm) and porion (intraserial: 0.36 mm; interserial: small and not assessable) were in the middle of the range of our results. Trichion (intraserial: 0.73 mm; interserial: 0.05 mm) and gnathion (intraserial: 0.87 mm; interserial: 0.20 mm) revealed the highest degrees of intraserial measurement imprecision. Outliers were identified in 1.2% (64 of 5400) of measurements. CONCLUSION All selected landmarks offer suitably high levels of intra- and interserial precision for the three-dimensional (3D) metric assessment of facial soft-tissue parameters. No difference between (bi)lateral and facial midline landmarks was noted.
Collapse
|
50
|
Eiter T, Fink M, Krennwallner T, Redl C, Schüller P. Efficient HEX-Program Evaluation Based on Unfounded Sets. J ARTIF INTELL RES 2014. [DOI: 10.1613/jair.4175] [Citation(s) in RCA: 15] [Impact Index Per Article: 1.5] [Reference Citation Analysis] [Abstract] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/04/2022] Open
Abstract
HEX-programs extend logic programs under the answer set semantics with external computations through external atoms. As reasoning from ground Horn programs with nonmonotonic external atoms of polynomial complexity is already on the second level of the polynomial hierarchy, minimality checking of answer set candidates needs special attention. To this end, we present an approach based on unfounded sets as a generalization of related techniques for ASP programs. The unfounded set detection is expressed as a propositional SAT problem, for which we provide two different encodings and optimizations to them. We then integrate our approach into a previously developed evaluation framework for HEX-programs, which is enriched by additional learning techniques that aim at avoiding the reconstruction of the same or related unfounded sets. Furthermore, we provide a syntactic criterion that allows one to skip the minimality check in many cases. An experimental evaluation shows that the new approach significantly decreases runtime.
Collapse
|