TY - GEN
T1 - Constraint lingo
T2 - 8th European Conference on Logics in Artificial Intelligence, JELIA 2002
AU - Finkel, Raphael
AU - Marek, Victor W.
AU - Truszczyński, Mirosław
PY - 2002
Y1 - 2002
N2 - Constraint Lingo is a high-level language for specifying and solving tabular constraint problems [FMT01]. We show the syntax of this language through examples. Our software translates Constraint Lingo programs into a variety of back-end logic formalisms, including smodels [NS00], dlv [ELM+98], ECLiPSe [WNS97] and aspps [ET01]. The associated logic engine then generates a set of answers, each of which our software converts to a human-readable table.
AB - Constraint Lingo is a high-level language for specifying and solving tabular constraint problems [FMT01]. We show the syntax of this language through examples. Our software translates Constraint Lingo programs into a variety of back-end logic formalisms, including smodels [NS00], dlv [ELM+98], ECLiPSe [WNS97] and aspps [ET01]. The associated logic engine then generates a set of answers, each of which our software converts to a human-readable table.
UR - https://www.scopus.com/pages/publications/77952057096
UR - https://www.scopus.com/pages/publications/77952057096#tab=citedBy
M3 - Conference contribution
AN - SCOPUS:77952057096
SN - 3540441905
SN - 9783540441908
SN - 9783540457572
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 513
EP - 516
BT - Logics in Artificial Intelligence - 8th European Conference, JELIA 2002, Proceedings
A2 - Flesca, Sergio
A2 - Greco, Sergio
A2 - Ianni, Giovambattista
A2 - Leone, Nicola
Y2 - 23 September 2002 through 26 September 2002
ER -