Abstract
Part 1 Concurrency: a concurrent semantics for concurrent constraint programmes via contextual nets, Ugo Montanari and Francesca Rossi object-oriented concurrent constraint programming in Oz, Martin Henz et al. Part 2 Reactive systems: constraint programming in constraint nets, Ying Zhang and Alan K. Mackworth robot programming and constraints, Dinesh K. Pai constraint logic programming - hybrid control, logic as linear programming, Wolf Kohn et al. Part 3 Languages and environments: 2LP - linear programming and logic programming, Ken McAloon and Carol Tretkoff a constraint-based scientific programming language, Richard Zippel designing constraint logic programming langauges using computational systems, Claude Kirchner et al aggregation in constraint databases, Gabriel M. Kuper synthesis on constraint algorithms, Douglas R. Smith and Stephen J Westfold exploiting constraint dependency information for debugging and explanation, Walid T. Keirouz et al constraining the structure and style of object-oriented programmes, Scott Meyers et al. Part 4 Constraint-solving algorithms: an approach for solving systems of parametric polynomial equations, Deepak Kapur Fourier's elimination - which to choose?, Jean-Louis Imbert verifying logic circuits by benders decomposition, J.N. Hooker and H. Yan an incremental hierarchical constraint solver, Francisco Menezes and Pedro Barahona. Part 5 Artificial intelligence: a disjunctive decomposition control schema for constraint satisfaction, Eugene C. Freuder and Paul D. Hubbe local consistency in parallel constraint-satisfaction networks, Simon Kasif and Arthur L. Delcher terminological reasoning with constraint handling rules, Thom Fruhwirth and Philipp Hanschke. Part 6 Computer graphics: the SkyBlue constraint solver with its applications, Michael Sanella practical issues in graphical constraints, Michael Gleicher constraint management in a declarative design method for 3D scene sketch modelling, Stephane Donikian and Gerard Hegron expressing constraints for data display specification - a visual approach, Isabel F. Cruz.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
