ISBN |
9985500466 |
Sarjaandmed |
Technical report CS ; 57/93
|
Sisukord |
Sisu: Using the intrinsic structure of relational domains to improve constraint propagation and relaxation procedures / D.Hernandez. Minimal Forward Checking / M.J.Dent, R.E.Mercer. On the decomposition of hypergraphs / P.Jeavons, D.Cohen, M.Gyssens. Constraint propagation in subdefinite models / V.V.Telerman. Untyped constrained lambda Calculus is Weakly Church Rosser / J.N.Crossley, L.Mandel, M.Wirsing. Proving the existence of solutions in logical arithmetic / J.G.Cleary. Solving linear Diophantine equations / A.P.Toma's, M.Filgueiras. Solving space planning problems using constraint technology / P.Charman. The framework for specification of conceptual constraints in data engineering / R.Gustas. Integration of different knowledge representation means in knowledge bases / T.M.Yakhno. From competition to amalgamation of different programming paradigms / S.G.Maslov. Disjunctive constraints as generalization of finite domains / A.Mantsivoda. Real-time semantics for concurrent logic languages / T.Savor, P.Dasiewicz. Constraint satisfaction problem as a causal theory / R.Rodošek. Constraints specification for task scheduling in real-time systems / C.Cardeira, Z.Mammeri, J.-P.Thomesse |
Märkused |
Bibliograafia artiklite lõpus |
Märksõnad |
küberneetika
|
|
konverentsikogumikud
|
Täiendkirjed |
Telerman, Vitali V., autor
|
|
Jeavons, Peter, autor
|
|
Hernandez, Daniel, autor
|
|
Tõugu, Enn, 1935-2020, toimetaja
|
|
Crossley, John N., autor
|
|
North Atlantic Treaty Organisation. Advanced Study Institute Constraint Programming (1993 : Pärnu)
|
|
Cohen, David, autor
|
|
Penjam, Jaan, 1955- toimetaja
|
|
Mandel, Luis, autor
|
|
Gyssens, Marc, autor
|
|
Mayoh, Brian, toimetaja
|
|
Dent, Michael J., autor
|
|
Mercer, Robert E., autor
|
|
Küberneetika Instituut
|
UDK |
519.7 (063)
|
|