ConfigNow: A knowledge based approach to configuration software

Kumar Abhinav; Hanne Vlaeminck; Joost Vennekens; Johan Wittocx; Marc Denecker

ConfigNow: A knowledge based approach to configuration software

Kumar Abhinav
, Hanne Vlaeminck
, Joost Vennekens
, Johan Wittocx
, Marc Denecker

University of Leuven

Research output: Contribution to journal › Conference article › peer-review

Abstract

ConfigNow is package that allows users to create configuration software following a knowledge based approach. The user can write the constraints on the domain down in a separate file, using (extensions of) first order logic as knowledge representation language. The ConfigNow package then provides an interface to perform a number of tasks that one typically wants to solve in configuration software, and link this to the user interface.

Original language	English
Journal	Belgian/Netherlands Artificial Intelligence Conference
Publication status	Published - 2010
Externally published	Yes
Event	22nd Benelux Conference on Artificial Intelligence, BNAIC 2010 - Kirchberg, Luxembourg Duration: 25 Oct 2010 → 26 Oct 2010

Cite this

@article{b1b218589af64316afbf70c3327220ae,

title = "ConfigNow: A knowledge based approach to configuration software",

abstract = "ConfigNow is package that allows users to create configuration software following a knowledge based approach. The user can write the constraints on the domain down in a separate file, using (extensions of) first order logic as knowledge representation language. The ConfigNow package then provides an interface to perform a number of tasks that one typically wants to solve in configuration software, and link this to the user interface.",

author = "Kumar Abhinav and Hanne Vlaeminck and Joost Vennekens and Johan Wittocx and Marc Denecker",

year = "2010",

language = "English",

journal = "Belgian/Netherlands Artificial Intelligence Conference",

issn = "1568-7805",

publisher = "University of Groningen",

note = "22nd Benelux Conference on Artificial Intelligence, BNAIC 2010 ; Conference date: 25-10-2010 Through 26-10-2010",

}

TY - JOUR

T1 - ConfigNow

T2 - 22nd Benelux Conference on Artificial Intelligence, BNAIC 2010

AU - Abhinav, Kumar

AU - Vlaeminck, Hanne

AU - Vennekens, Joost

AU - Wittocx, Johan

AU - Denecker, Marc

PY - 2010

Y1 - 2010

N2 - ConfigNow is package that allows users to create configuration software following a knowledge based approach. The user can write the constraints on the domain down in a separate file, using (extensions of) first order logic as knowledge representation language. The ConfigNow package then provides an interface to perform a number of tasks that one typically wants to solve in configuration software, and link this to the user interface.

AB - ConfigNow is package that allows users to create configuration software following a knowledge based approach. The user can write the constraints on the domain down in a separate file, using (extensions of) first order logic as knowledge representation language. The ConfigNow package then provides an interface to perform a number of tasks that one typically wants to solve in configuration software, and link this to the user interface.

UR - https://www.scopus.com/pages/publications/84874017230

M3 - Conference article

AN - SCOPUS:84874017230

SN - 1568-7805

JO - Belgian/Netherlands Artificial Intelligence Conference

JF - Belgian/Netherlands Artificial Intelligence Conference

Y2 - 25 October 2010 through 26 October 2010

ER -

ConfigNow: A knowledge based approach to configuration software

Abstract

Other files and links

Fingerprint

Cite this