dc.contributor.author |
Stevenson, L
|
|
dc.contributor.author |
Britz, AA
|
|
dc.contributor.author |
Home, T
|
|
dc.date.accessioned |
2009-01-07T13:58:35Z |
|
dc.date.available |
2009-01-07T13:58:35Z |
|
dc.date.issued |
2008-12 |
|
dc.identifier.citation |
Stevenson, L, Britz, AA and Home T. 2008. KT and S4 satisfiability in a constraint logic environment. Lecture Notes in Computer Science, vol. 5351, pp 370-381 |
en |
dc.identifier.issn |
0302-9743 |
|
dc.identifier.uri |
http://www.springerlink.com/content/t718x882070w/?p=147e8ec915b443a5804d19f04b3a981f&pi=25
|
|
dc.identifier.uri |
http://hdl.handle.net/10204/2768
|
|
dc.description |
Copyright: Springer-verlag |
en |
dc.description.abstract |
The modal satisfiability problem is solved either by using a specifically designed algorith, or by translating the modal logic formula into an instance of a different class of problem, or, more recently, a constraint satisfaction problem. In the latter approach, the modal formula is translated into layered propositional formulae. Each layer is translated into a constraint satisfaction problem which is solved using a constraint solver. The researchers extend this approach to the modal logics KT and S4 and introduce a range of optimizatins of the basic prototype. The results compare favorably with those of other solvers, and support the adoption of constraint programming as implementation platform for modal and other related satisfiability solvers. |
en |
dc.language.iso |
en |
en |
dc.publisher |
Springer-verlag |
en |
dc.subject |
Constraint satisfaction problem |
en |
dc.subject |
Constraint logic environment |
en |
dc.subject |
Layered propositional formulae |
en |
dc.subject |
Constraint solver |
en |
dc.title |
KT an S4 satisfiability in a constraint logic environment |
en |
dc.type |
Article |
en |
dc.identifier.apacitation |
Stevenson, L., Britz, A., & Home, T. (2008). KT an S4 satisfiability in a constraint logic environment. http://hdl.handle.net/10204/2768 |
en_ZA |
dc.identifier.chicagocitation |
Stevenson, L, AA Britz, and T Home "KT an S4 satisfiability in a constraint logic environment." (2008) http://hdl.handle.net/10204/2768 |
en_ZA |
dc.identifier.vancouvercitation |
Stevenson L, Britz A, Home T. KT an S4 satisfiability in a constraint logic environment. 2008; http://hdl.handle.net/10204/2768. |
en_ZA |
dc.identifier.ris |
TY - Article
AU - Stevenson, L
AU - Britz, AA
AU - Home, T
AB - The modal satisfiability problem is solved either by using a specifically designed algorith, or by translating the modal logic formula into an instance of a different class of problem, or, more recently, a constraint satisfaction problem. In the latter approach, the modal formula is translated into layered propositional formulae. Each layer is translated into a constraint satisfaction problem which is solved using a constraint solver. The researchers extend this approach to the modal logics KT and S4 and introduce a range of optimizatins of the basic prototype. The results compare favorably with those of other solvers, and support the adoption of constraint programming as implementation platform for modal and other related satisfiability solvers.
DA - 2008-12
DB - ResearchSpace
DP - CSIR
KW - Constraint satisfaction problem
KW - Constraint logic environment
KW - Layered propositional formulae
KW - Constraint solver
LK - https://researchspace.csir.co.za
PY - 2008
SM - 0302-9743
T1 - KT an S4 satisfiability in a constraint logic environment
TI - KT an S4 satisfiability in a constraint logic environment
UR - http://hdl.handle.net/10204/2768
ER -
|
en_ZA |