The integration of knowledge bases in classical first-order logic (and in particular of ontologies in various description logics) with rule languages rooted in logic programming is receiving considerable attention in the context of current efforts around Semantic-Web languages. Towards this integration we introduce fol-programs, which combine logic programs under the answer set and the wellfounded semantics with first-order logic knowledge bases and which generalize dl-programs, a closely related approach combining description logics with rules. Therefore, we define a syntax and a semantics...
The integration of knowledge bases in classical first-order logic (and in particular of ontologies in various description logics) with rule languages ...
This volume presents the revised and peer reviewed contributions of the 'ERP Future 2013' conference held in Vienna/Austria on November 12-13th, 2013.
The ERP Future 2013 Research conference is a scientific platform for research on enterprise information systems in general and specifically on core topics like business process management (BPM), business intelligence (BI) and enterprise resource planning (ERP) systems. Besides the scientific community the event also addresses businesses developing, implementing and intensively using enterprise information systems.
To...
This volume presents the revised and peer reviewed contributions of the 'ERP Future 2013' conference held in Vienna/Austria on November 12-13t...
This book constitutes the thoroughly refereed conference proceedings of the Third International Workshop on Risk Assessment and Risk-driven Testing, RISK 2015, held in conjunction with the OMG Technical Meeting in Berlin, Germany, in June 2015.
The revised 8 full papers were carefully reviewed and selected from 12 submissions. This workshop addresses systematic approaches that combine risk assessment and testing. Also, the workshop was structured into the three sessions namely Risk Assessment, Risk and Development and Security Testing.
This book constitutes the thoroughly refereed conference proceedings of the Third International Workshop on Risk Assessment and Risk-driven Testing...
This volume presents the revised and peer reviewed contributions of the 'EPR Future 2014' conference held in Dornbirn/Austria on November 17-18th, 2014.
The book assembles latest research and recent practice on enterprise information systems in general and specifically on core topics like business process management (BPM), business intelligence (BI) and enterprise resource planning (ERP) systems. To master the challenges of enterprise information systems comprehensively, this book contains chapters with a business as well as an IT focus to consider enterprise information systems...
This volume presents the revised and peer reviewed contributions of the 'EPR Future 2014' conference held in Dornbirn/Austria on November 17-18th, ...
This volume presents the revised and peer reviewed contributions of the ERP Future 2015 conference held in Munich, Germany on November 16-17, 2015.
The ERP Future 2015 Research conference is a scientific platform for research on enterprise information systems in general and specifically on core topics like business process management (BPM), business intelligence (BI) and enterprise resource planning (ERP) systems. Besides the scientific community the event also addresses businesses developing, implementing and using enterprise information systems.
The 7 full papers and...
This volume presents the revised and peer reviewed contributions of the ERP Future 2015 conference held in Munich, Germany on November 16-17, 2015....
This book constitutes the thoroughly refereed conference proceedings of the Fourth International Workshop on Risk Assessment and Risk-Driven Quality Assurance, RISK 2016, held in conjunction with ICTSS 2016, in Graz, Austria, in October 2016. The revised 9 full papers were carefully reviewed and selected from 11 submissions.
This book constitutes the thoroughly refereed conference proceedings of the Fourth International Workshop on Risk Assessment and Risk-Driven Quality A...
This book constitutes the refereed proceedings of the 18th International Conference on Product-Focused Software Process Improvement, PROFES 2017, held in Innsbruck, Austria, in November/December 2017. The 17 revised full papers presented together with 10 short papers, 21 workshop papers.
This book constitutes the refereed proceedings of the 18th International Conference on Product-Focused Software Process Improvement, PROFES 2017, held...
