Oz
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Evaluating ASP and commercial solvers on the CSPLib
- CLPS-B
- Integer optimization by local search. A domain-independent approach
- Figaro
- GOFFIN: Higher-order functions meet concurrent constraints
- Constraint-based protocols for distributed problem solving
- Lutess
- On temporal logic versus Datalog
- FocusCheck
- GeneSyst
- JavaLog
- Global constraints for round robin tournament scheduling.
- LogiMOO
- MetaMorph
- ObjectCurry
- Solving hierarchical constraints over finite domains with local search
- DiVer
- JoCaml
- PROCOL
- CLAIRE
- SALSA
- MANIFOLD
- BABEL
- On modelling mobility
- KLIC
- OMRS
- Computer-aided construction of finite geometric spaces: Automated verification of geometric constraints
- CHIP
- Programming constraint services. High-level programming of standard and new constraint services
- Mozart
- WSAT(OIP)
- DECAF
- How efficient is a global constraint in practice? A fair experimental framework
- A microkernel architecture for constraint programming
- OPBDP
- Decidability of infinite-state timed CCP processes and first-order LTL
- Processing underspecified semantic representations in the constraint language for lambda structures
- Constraint solving for proof planning
- Autonomous dynamic reconfiguration in multi-agent systems. Improving the quality and efficiency of collaborative problem solving
- Ordering constraints over feature trees expressed in second-order monadic logic.
- A timed concurrent constraint language.
- METATEM
- Dominance constraints with Boolean connectives: A model-eliminative treatment
- Iterative software engineering for multiagent systems. The MASSIVE method.
- Agent-oriented programming. From Prolog to guarded definite clauses.
- PITA
- LISP
- HAL_
- Skyblue
- LMNtal
- A methodological view of constraint solving
- Localizer
- Mercury
- Real-time solving of computationally hard problems using optimal algorithm portfolios
- Pict
- Kima
- TeaBag
- Curry
- Kernel-LEAF
- Symbolic DNN-tuner
- Janus
- TOY
- OscaR
- Models and emerging trends of concurrent constraint programming
- Constraint programming: strategic directions
- Some challenges for constraint programming
- Lifted discriminative learning of probabilistic logic programs
- SICStus
- JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming
- On the expressiveness of timed coordination models
- Freja
- Hat
- Hood
- PAKCS
- Lazy-CSeq
- XSB
- LOTOSphere
- CC-Pi
- scientific article; zbMATH DE number 1614716 (Why is no real title available?)
- scientific article; zbMATH DE number 1630028 (Why is no real title available?)
- Experiments with the ``Oregon Trail knapsack problem
- Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
- The first-order theory of ordering constraints over feature trees
- scientific article; zbMATH DE number 1688809 (Why is no real title available?)
- scientific article; zbMATH DE number 1688814 (Why is no real title available?)
- scientific article; zbMATH DE number 1689586 (Why is no real title available?)
- scientific article; zbMATH DE number 1691456 (Why is no real title available?)
- scientific article; zbMATH DE number 1691458 (Why is no real title available?)
- scientific article; zbMATH DE number 1692898 (Why is no real title available?)
- scientific article; zbMATH DE number 1696589 (Why is no real title available?)
- scientific article; zbMATH DE number 1696803 (Why is no real title available?)
- Defining actions in concurrent declarative programming
- A framework for interpreting traces of functional logic computations
- Constraint and integer programming in OPL
- A modeling layer for constraint-programming libraries
- A design and implementation of the extended Andorra model
- Speculative constraint processing for hierarchical agents
- CFLP
- A complete axiomatization of a theory with feature and arity constraints
- The distribution semantics for normal programs with function symbols
This page was built for software: Oz
