Adding Constraints to Logic-based Formalisms
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Adding Constraints to Logic-based Formalisms
|
| Id. |
41849527 |
| Idioma |
inglés
|
| Titulo |
Adding Constraints to Logic-based Formalisms |
| Autor(es) |
Michael J. Maher
|
| Localización |
http://citeseer.ist.psu.edu/414132.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Constraints are predefined relations with a special implementation mechanism.
Logic formalisms provide specific reasoning facilities. We look at the
effect of adding constraints to existing logic-based executable formalisms, focussing
on the semantics of the combined formalisms. We find that in cases
where this has been successful the operations of the formalism can be formulated
logically and then extended easily to constraints. In many cases a
disjunctive property of the constraints is reflected in the combined formalism,
to the detriment of efficiency.
1 Introduction
Constraints are essentially relations among variables ranging over fixed domains.
Since most logics incorporate predicate symbols -- which are interpreted
as relations -- and variables, there is clearly a degree of compatibility
between constraint- and logic-based formalisms. Indeed, in some sense both
constraint programming and logic programming can be considered part of an
umbrella relational programming paradigm.
...
|
| Tipo |
ps
|
| Palabras clave |
Michael J. Maher Adding Constraints to Logic-based Formalisms
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
unrestricted |
| Formatos |
ps
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.math.luc.edu/~mjm/pubs/lpp.ps
[References] oai:CiteSeerPSU:183595
[References] oai:CiteSeerPSU:168219
[References] oai:CiteSeerPSU:192210
[References] oai:CiteSeerPSU:22666
[References] oai:CiteSeerPSU:106879
[References] oai:CiteSeerPSU:324049
[References] oai:CiteSeerPSU:216100
[References] oai:CiteSeerPSU:302704
[References] oai:CiteSeerPSU:410924
[References] oai:CiteSeerPSU:391011
[References] oai:CiteSeerPSU:45724
[References] oai:CiteSeerPSU:407723
[References] oai:CiteSeerPSU:18400
[References] oai:CiteSeerPSU:679970
[References] oai:CiteSeerPSU:228404
[References] oai:CiteSeerPSU:378200
[References] oai:CiteSeerPSU:449470
[References] oai:CiteSeerPSU:312597
|
| Fecha de contribución |
31-mar-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
