ORCID Profile
0000-0002-7125-3289
Current Organisations
University of South Australia - Mawson Lakes Campus
,
University of South Australia
,
Technische Universität Wien
Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the Feedback Form.
Publisher: Elsevier
Date: 2014
Publisher: ACM
Date: 31-01-2017
Publisher: Springer Berlin Heidelberg
Date: 2013
Publisher: Elsevier BV
Date: 03-2007
Publisher: IEEE
Date: 09-2014
Publisher: Springer Berlin Heidelberg
Date: 2011
Publisher: Springer Science and Business Media LLC
Date: 11-08-2012
Publisher: ACM
Date: 14-10-2018
Publisher: Springer Science and Business Media LLC
Date: 31-01-2012
Publisher: SCITEPRESS - Science and Technology Publications
Date: 2022
Publisher: Springer Science and Business Media LLC
Date: 05-04-2018
Publisher: Cambridge University Press (CUP)
Date: 02-2003
DOI: 10.1017/S0890060403171016
Abstract: The configuration task is commonly defined as composing a complex product from a set of predefined component types while taking into account a set of well-defined restrictions on how components belonging to these types can be combined. Configuration, always a successful artificial intelligence (AI) application area ever since the R1/XCON system of the early 1980s, has recently attracted renewed research interest. This is also demonstrated by an annual series of workshops on configuration that have been held at the AAAI, ECAI, and IJCAI conferences since 1999. Important real-world industrial configuration tasks are encountered in marketing, manufacturing, and design. They usually involve physical products, such as telecommunication switches, computers, elevators, large diesel engines, automation systems, or vehicles (some of which appear as application domains in the articles in this issue), but can also pertain to financial or other services or software.
Publisher: ACM
Date: 15-10-2018
Publisher: European Association of Software Science and Technology
Date: 2010
Publisher: Elsevier BV
Date: 2014
Publisher: IEEE
Date: 10-2012
Publisher: ACM
Date: 10-2012
Publisher: Springer Berlin Heidelberg
Date: 2013
Publisher: Springer International Publishing
Date: 12-11-2018
Publisher: Elsevier
Date: 2014
Publisher: Springer International Publishing
Date: 2016
Publisher: IEEE
Date: 10-2018
Publisher: Springer International Publishing
Date: 28-07-2018
Publisher: IEEE
Date: 10-2018
Publisher: Springer International Publishing
Date: 2023
Publisher: ACM
Date: 28-09-2015
DOI: 10.1145/2811681
Publisher: Elsevier BV
Date: 04-2022
Publisher: Springer Science and Business Media LLC
Date: 04-2015
Publisher: Elsevier BV
Date: 2018
Publisher: Springer New York
Date: 30-10-2010
Publisher: ACM
Date: 02-2016
Publisher: ACM
Date: 23-05-2011
Publisher: IEEE
Date: 09-2013
DOI: 10.1109/EDOC.2013.16
Publisher: Elsevier BV
Date: 05-2017
Publisher: Springer International Publishing
Date: 2018
Publisher: Springer London
Date: 2010
Publisher: Elsevier BV
Date: 02-2004
Publisher: ACM
Date: 18-03-2013
Publisher: Springer International Publishing
Date: 2018
Publisher: International Council for Research and Innovation in Building and Construction
Date: 19-04-2022
DOI: 10.36680/J.ITCON.2022.016
Abstract: This research proposes recommendations that could improve interoperability in the architecture, engineering, construction and operations (AECO) sector, by connecting domains, building lifecycles, and software systems with each other and the web. The objective has been to identify methods that promote evolution from file-based formats by advancing object-based data exchange solutions. The research design is a mapping of standards and systems that have affected the nature of object-based data exchanges, and which have either been proposed or implemented in AECO and the Oil & Gas sector. This is an approach which allows for the range and ersity of information to be examined. A review of the Oil & Gas sector confirms a norm where object-based, rather than file-based, transactions have shaped data exchange models, formats, use case methodologies, and collaboration mechanisms, thus contributing towards semantic connectivity across its erse systems. Key research questions address the nature of these sectors, the promise that object-based data exchange offers, and examine recommendations that would improve standards and systems. The paper affirms that measures taken to improve interoperability in the Oil & Gas sector have relevance for the AECO sector, and that better understanding, and recognition of the structure of AECOs interoperability ecosystem is central to effecting lasting and significant change. Thus, we make recommendations that acknowledge the hybrid nature of AECO data exchanges and propose an interoperability ecosystem that connects both distributed and centralised federated models. Improved standards to define application programming interfaces (APIs) and adaptors, based on a modular approach, would be central to this proposal. We also make recommendations to improve use case definitions, and to ensure that semantic connectivity at the object level is scalable to web-based transactions. Finally, we assert that, to realise these changes, the developers and vendors of its systems should recognise and address the AECO sector’s pressing needs and concerns.
Publisher: Elsevier BV
Date: 12-2015
Publisher: Springer Berlin Heidelberg
Date: 2010
Publisher: Springer International Publishing
Date: 2018
Publisher: Springer International Publishing
Date: 18-09-2018
Publisher: Elsevier BV
Date: 07-2021
Publisher: IEEE
Date: 12-2021
Publisher: Springer International Publishing
Date: 2023
Publisher: ACM
Date: 02-2016
Publisher: ACM
Date: 29-01-2019
Publisher: IEEE
Date: 11-2017
Publisher: Springer International Publishing
Date: 2018
Publisher: Springer International Publishing
Date: 2022
Publisher: Association for Computing Machinery (ACM)
Date: 05-2014
DOI: 10.1145/2560546
Abstract: Languages that combine aspects of probabilistic representations with aspects of first-order logic are referred to as first-order probabilistic languages (FOPLs). FOPLs can be ided into three categories: rule-based, procedural-based and entity-relation--based languages. This article presents a survey of directed entity-relation--based FOPLs and their associated model construction and inference algorithms.
Publisher: Institute of Electrical and Electronics Engineers (IEEE)
Date: 2021
Publisher: IEEE
Date: 11-2013
Publisher: Elsevier BV
Date: 09-2023
Publisher: Springer International Publishing
Date: 2015
Publisher: IEEE
Date: 10-2019
Publisher: Cambridge University Press (CUP)
Date: 02-2003
DOI: 10.1017/S0890060403171041
Abstract: Today's economy exhibits a growing trend toward highly specialized solution providers cooperatively offering configurable products and services to their customers. This paradigm shift requires the extension of current standalone configuration technology with capabilities of knowledge sharing and distributed problem solving. In this context a standardized configuration knowledge representation language with formal semantics is needed in order to support knowledge interchange between different configuration environments. Languages such as Ontology Inference Layer (OIL) and DARPA Agent Markup Language (DAML+OIL) are based on such formal semantics (description logic) and are very popular for knowledge representation in the Semantic Web. In this paper we analyze the applicability of those languages with respect to configuration knowledge representation and discuss additional demands on expressivity. For joint configuration problem solving it is necessary to agree on a common problem definition. Therefore, we give a description logic based definition of a configuration problem and show its equivalence with existing consistency-based definitions, thus joining the two major streams in knowledge-based configuration (description logics and predicate logic/constraint based configuration).
Publisher: IEEE
Date: 09-2015
Publisher: Springer London
Date: 2012
Publisher: IEEE
Date: 10-2012
Publisher: Springer International Publishing
Date: 2015
Publisher: Springer International Publishing
Date: 2017
Publisher: Springer Berlin Heidelberg
Date: 2018
Publisher: Springer International Publishing
Date: 2014
Publisher: IEEE
Date: 09-2021
Publisher: Springer International Publishing
Date: 2015
Publisher: Wiley
Date: 20-04-2023
Publisher: Cambridge University Press (CUP)
Date: 20-04-2011
DOI: 10.1017/S0890060410000594
Abstract: This article describes the technical principles and representation of a constraint-based configuration method for work processes. Methods developed for the configuration of modular systems comprising components have traditionally adopted a representation where the properties and compatibility requirements are expressed as constraints associated with in idual components. However, this representation does not accurately capture constraints on paths and subprocesses and is therefore unsuitable for process configuration. This article extends established constraint-based configuration methods with a constraint language for specifying properties of execution paths in work processes. A framework for semiautomated process customization is presented. It integrates the extended constraint language with a metamodel of the work processes in an organization and allows to adapt generic work processes to fit the requirements of specific development projects. Heuristic search methods are applied to build valid process configurations by incrementally resolving constraint violations. The declarative framework facilitates the adaptation of abstract work processes as well as the validation and repair of existing processes. The approach was developed in the context of a real-world system of complex design and development processes where it was shown that significant process improvements and reduction in effort required to edit process models can be achieved.
Publisher: ACM
Date: 14-02-2022
Publisher: IEEE
Date: 12-2019
Publisher: IEEE
Date: 12-2019
Publisher: World Scientific Pub Co Pte Lt
Date: 03-2015
DOI: 10.1142/S021884301540002X
Abstract: In large organizations, multiple stakeholders may modify the same business process. This paper addresses the problem when stakeholders perform changes on process views which become inconsistent with the business process and other views. Related work addressing this problem is based on execution trace analysis which is performed in a post-analysis phase and can be complex when dealing with large business process models. In this paper, we propose a design-based approach that can efficiently check consistency criteria and propagate changes on-the-fly from a process view to its reference process and related process views. The technique is based on consistent specialization of business processes and supports the control flow aspect of processes. Consistency checks can be performed during the design time by checking simple rules which support an efficient change propagation between views and reference process.
Location: Australia
No related grants have been discovered for Markus Stumptner.