By the same authors

From the same journal

From the same journal

Qualitative modelling via constraint programming

Research output: Contribution to journalArticle

Standard

Qualitative modelling via constraint programming. / Kelsey, Thomas William; Kotthoff, Lars; Jefferson, Christopher Anthony; Linton, Stephen Alexander; Miguel, Ian James; Nightingale, Peter William; Gent, Ian Philip.

In: Journal of Constraints, Vol. 19, No. 2, 01.04.2014, p. 163-173.

Research output: Contribution to journalArticle

Harvard

Kelsey, TW, Kotthoff, L, Jefferson, CA, Linton, SA, Miguel, IJ, Nightingale, PW & Gent, IP 2014, 'Qualitative modelling via constraint programming', Journal of Constraints, vol. 19, no. 2, pp. 163-173. https://doi.org/10.1007/s10601-014-9158-6

APA

Kelsey, T. W., Kotthoff, L., Jefferson, C. A., Linton, S. A., Miguel, I. J., Nightingale, P. W., & Gent, I. P. (2014). Qualitative modelling via constraint programming. Journal of Constraints, 19(2), 163-173. https://doi.org/10.1007/s10601-014-9158-6

Vancouver

Kelsey TW, Kotthoff L, Jefferson CA, Linton SA, Miguel IJ, Nightingale PW et al. Qualitative modelling via constraint programming. Journal of Constraints. 2014 Apr 1;19(2):163-173. https://doi.org/10.1007/s10601-014-9158-6

Author

Kelsey, Thomas William ; Kotthoff, Lars ; Jefferson, Christopher Anthony ; Linton, Stephen Alexander ; Miguel, Ian James ; Nightingale, Peter William ; Gent, Ian Philip. / Qualitative modelling via constraint programming. In: Journal of Constraints. 2014 ; Vol. 19, No. 2. pp. 163-173.

Bibtex - Download

@article{735f362526ab4833a8a0c923e54abab2,
title = "Qualitative modelling via constraint programming",
abstract = "Qualitative modelling is a technique integrating the fields of theoretical computer science, artificial intelligence and the physical and biological sciences. The aim is to be able to model the behaviour of systems without estimating parameter values and fixing the exact quantitative dynamics. Traditional applications are the study of the dynamics of physical and biological systems at a higher level of abstraction than that obtained by estimation of numerical parameter values for a fixed quantitative model. Qualitative modelling has been studied and implemented to varying degrees of sophistication in Petri nets, process calculi and constraint programming. In this paper we reflect on the strengths and weaknesses of existing frameworks, we demonstrate how recent advances in constraint programming can be leveraged to produce high quality qualitative models, and we describe the advances in theory and technology that would be needed to make constraint programming the best option for scientific investigation in the broadest sense.",
keywords = "Constraint programming, Qualitative models",
author = "Kelsey, {Thomas William} and Lars Kotthoff and Jefferson, {Christopher Anthony} and Linton, {Stephen Alexander} and Miguel, {Ian James} and Nightingale, {Peter William} and Gent, {Ian Philip}",
note = "This work was supported by United Kingdom EPSRC grant EP/H004092/1. LK was supported by EU FP7 grants 284715 (ICON) and 288147 (ePolicy).",
year = "2014",
month = "4",
day = "1",
doi = "10.1007/s10601-014-9158-6",
language = "English",
volume = "19",
pages = "163--173",
journal = "Journal of Constraints",
issn = "1383-7133",
publisher = "Springer Netherlands",
number = "2",

}

RIS (suitable for import to EndNote) - Download

TY - JOUR

T1 - Qualitative modelling via constraint programming

AU - Kelsey, Thomas William

AU - Kotthoff, Lars

AU - Jefferson, Christopher Anthony

AU - Linton, Stephen Alexander

AU - Miguel, Ian James

AU - Nightingale, Peter William

AU - Gent, Ian Philip

N1 - This work was supported by United Kingdom EPSRC grant EP/H004092/1. LK was supported by EU FP7 grants 284715 (ICON) and 288147 (ePolicy).

PY - 2014/4/1

Y1 - 2014/4/1

N2 - Qualitative modelling is a technique integrating the fields of theoretical computer science, artificial intelligence and the physical and biological sciences. The aim is to be able to model the behaviour of systems without estimating parameter values and fixing the exact quantitative dynamics. Traditional applications are the study of the dynamics of physical and biological systems at a higher level of abstraction than that obtained by estimation of numerical parameter values for a fixed quantitative model. Qualitative modelling has been studied and implemented to varying degrees of sophistication in Petri nets, process calculi and constraint programming. In this paper we reflect on the strengths and weaknesses of existing frameworks, we demonstrate how recent advances in constraint programming can be leveraged to produce high quality qualitative models, and we describe the advances in theory and technology that would be needed to make constraint programming the best option for scientific investigation in the broadest sense.

AB - Qualitative modelling is a technique integrating the fields of theoretical computer science, artificial intelligence and the physical and biological sciences. The aim is to be able to model the behaviour of systems without estimating parameter values and fixing the exact quantitative dynamics. Traditional applications are the study of the dynamics of physical and biological systems at a higher level of abstraction than that obtained by estimation of numerical parameter values for a fixed quantitative model. Qualitative modelling has been studied and implemented to varying degrees of sophistication in Petri nets, process calculi and constraint programming. In this paper we reflect on the strengths and weaknesses of existing frameworks, we demonstrate how recent advances in constraint programming can be leveraged to produce high quality qualitative models, and we describe the advances in theory and technology that would be needed to make constraint programming the best option for scientific investigation in the broadest sense.

KW - Constraint programming

KW - Qualitative models

U2 - 10.1007/s10601-014-9158-6

DO - 10.1007/s10601-014-9158-6

M3 - Article

VL - 19

SP - 163

EP - 173

JO - Journal of Constraints

JF - Journal of Constraints

SN - 1383-7133

IS - 2

ER -