FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Logic-based Methods for Software Engineers and Business People

Author: Joost Vennekens

Paper Information

Title:Logic-based Methods for Software Engineers and Business People
Authors:Joost Vennekens
Proceedings:LPOP Position Papers
Editors: K. Tuncay Tekle and Marc Denecker
Keywords:Knowledge Representation, Decision Modeling, Decision Model and Notation (DMN), Python
Abstract:

ABSTRACT. Both software engineers and business people tend to be reluctant to adopt logic-based methods. On the one hand, this may be due to unfamiliarity with ``scary'' logical syntax. To ameliorate this, we developed an API for a state-of-the-art logic system, using only standard Python syntax. On the other hand, logic-based methods might have more impact if they could be used directly by business people. The recent DMN standard that might help in this respect.

Pages:3
Talk:Jul 18 12:00 (Session 126E: Security Policies as Challenge Problems)
Paper: