|
| | | | |
| | | |
| Stat |
Members: 3644
Articles: 2'499'343
Articles rated: 2609
16 April 2024 |
|
| | | | |
|
Article overview
| |
|
|
First-order Logic as a Constraint Programming Language | | K.R. Apt
; C.F.M. Vermeulen
; | | Date: |
20 Aug 2002 | | Journal: | "Logic for Programming, Artificial Intelligence and Reasoning", Proceedings of the 9th International Conference LPAR2002, Tbilisi, Georgia; Editors: A. Voronkov and M. Baaz; Springer Verlag LNAI2514; pages 19-35; October 2002 | | Subject: | Logic in Computer Science ACM-class: F3.2, D3.1 | cs.LO | | Abstract: | We provide a denotational semantics for first-order logic that captures the two-level view of the computation process typical for constraint programming. At one level we have the usual program execution. At the other level an automatic maintenance of the constraint store takes place. We prove that the resulting semantics is sound with respect to the truth definition. By instantiating it by specific forms of constraint management policies we obtain several sound evaluation policies of first-order formulas. This semantics can also be used a basis for sound implementation of constraint maintenance in presence of block declarations and conditionals. | | Source: | arXiv, cs.LO/0208032 | | Services: | Forum | Review | PDF | Favorites | |
|
|
No review found.
Did you like this article?
Note: answers to reviews or questions about the article must be posted in the forum section.
Authors are not allowed to review their own article. They can use the forum section.
browser claudebot
|
| |
|
|
|
|
News, job offers and information for researchers and scientists:
| |
REGISTER