Oz

swMATH6799MaRDI QIDQ18874FDOQ18874

Author name not available (Why is that?)

Cited In (only showing first 100 items - show all)

• A survey of concurrent object-oriented languages
• Computer-aided construction of finite geometric spaces: Automated verification of geometric constraints
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On modelling mobility
• A survey of constraint-based programming paradigms
• JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming
• Lectures on Concurrency and Petri Nets
• Title not available (Why is that?)
• Two case studies of semantics execution in Maude: CCS and LOTOS
• Tools and Algorithms for the Construction and Analysis of Systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Integer optimization by local search. A domain-independent approach
• The integration of functions into logic programming: From theory to practice
• A closer look at constraints as processes
• A modeling layer for constraint-programming libraries
• Logic programming in the context of multiparadigm programming: the Oz experience
• Constraint and integer programming in OPL
• How efficient is a global constraint in practice? A fair experimental framework
• Dynamic state restoration using versioning exceptions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• MBase: Representing knowledge and context for the integration of mathematical software systems
• Coordination Models and Languages
• Decidability of infinite-state timed CCP processes and first-order LTL
• Constraint-based protocols for distributed problem solving
• Solving hierarchical constraints over finite domains with local search
• Title not available (Why is that?)
• A timed concurrent constraint language.
• On benchmarking constraint logic programming platforms. Response to Fernández and Hill's ``A comparative study of eight constraint programming languages over the Boolean and finite domains
• Recognition of Nested Gates in CNF Formulas
• Model checking with probabilistic tabled logic programming
• Evaluating ASP and commercial solvers on the CSPLib
• A methodological view of constraint solving
• A concurrent lambda calculus with futures
• CLAIRE: combining sets, search and rules to better express algorithms
• Title not available (Why is that?)
• Title not available (Why is that?)
• A new generic scheme for functional logic programming with constraints
• The distribution semantics for normal programs with function symbols
• Processing underspecified semantic representations in the constraint language for lambda structures
• Constraint solving for proof planning
• A complete axiomatization of a theory with feature and arity constraints
• Experiments with the ``Oregon Trail knapsack problem
• Title not available (Why is that?)
• Introduction to the constraint language NCL
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the expressiveness of timed coordination models
• Localizer
• Observational semantics for a concurrent lambda calculus with reference cells and futures
• Global constraints for round robin tournament scheduling.
• Ordering constraints over feature trees expressed in second-order monadic logic.
• Models and emerging trends of concurrent constraint programming
• Search combinators
• Three perspectives for solving the job grouping problem
• Computing an irregularity strength of selected graphs
• On temporal logic versus Datalog
• Combining model checking and data-flow analysis
• Scheduling a Major College Basketball Conference—Revisited
• The protein structure prediction problem: A constraint optimization approach using a new lower bound
• A constraint-based approach to fast and exact structure prediction in three-dimensional protein models
• A microkernel architecture for constraint programming
• Functional Logic Programming: From Theory to Curry
• Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
• Logic Programming
• Title not available (Why is that?)
• GOFFIN: Higher-order functions meet concurrent constraints
• Programming constraint services. High-level programming of standard and new constraint services
• Title not available (Why is that?)
• Title not available (Why is that?)
• Autonomous dynamic reconfiguration in multi-agent systems. Improving the quality and efficiency of collaborative problem solving
• Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
• Title not available (Why is that?)
• Dominance constraints with Boolean connectives: A model-eliminative treatment
• A design and implementation of the extended Andorra model
• Agent-oriented programming. From Prolog to guarded definite clauses.
• Iterative software engineering for multiagent systems. The MASSIVE method.
• Design for AJACS, yet another Java constraint programming framework
• Title not available (Why is that?)
• Title not available (Why is that?)
• Symbolic DNN-tuner
• Constraint programming: strategic directions
• Some challenges for constraint programming
• A Declarative Framework for Security: Secure Concurrent Constraint Programming
• Title not available (Why is that?)
• A CHR-based implementation of known arc-consistency
• Title not available (Why is that?)
• Separable GPL: decidable model checking with more non-determinism
• Title not available (Why is that?)
• Real-time solving of computationally hard problems using optimal algorithm portfolios
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Lifted discriminative learning of probabilistic logic programs
• Speculative constraint processing for hierarchical agents

This page was built for software: Oz