Oz
From MaRDI portal
Cited in
(only showing first 100 items - show all)- scientific article; zbMATH DE number 2090952 (Why is no real title available?)
- scientific article; zbMATH DE number 1688809 (Why is no real title available?)
- Autonomous dynamic reconfiguration in multi-agent systems. Improving the quality and efficiency of collaborative problem solving
- Computer-aided construction of finite geometric spaces: Automated verification of geometric constraints
- A survey of concurrent object-oriented languages
- scientific article; zbMATH DE number 1689586 (Why is no real title available?)
- On modelling mobility
- scientific article; zbMATH DE number 1223724 (Why is no real title available?)
- A survey of constraint-based programming paradigms
- scientific article; zbMATH DE number 2084726 (Why is no real title available?)
- JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming
- Two case studies of semantics execution in Maude: CCS and LOTOS
- Lectures on Concurrency and Petri Nets
- scientific article; zbMATH DE number 1088219 (Why is no real title available?)
- Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
- Dominance constraints with Boolean connectives: A model-eliminative treatment
- scientific article; zbMATH DE number 1254033 (Why is no real title available?)
- Integer optimization by local search. A domain-independent approach
- scientific article; zbMATH DE number 1614716 (Why is no real title available?)
- scientific article; zbMATH DE number 1538007 (Why is no real title available?)
- A closer look at constraints as processes
- Tools and Algorithms for the Construction and Analysis of Systems
- 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.
- The integration of functions into logic programming: From theory to practice
- A modeling layer for constraint-programming libraries
- Constraint and integer programming in OPL
- Logic programming in the context of multiparadigm programming: the Oz experience
- How efficient is a global constraint in practice? A fair experimental framework
- Dynamic state restoration using versioning exceptions
- scientific article; zbMATH DE number 1688814 (Why is no real title available?)
- Symbolic DNN-tuner
- scientific article; zbMATH DE number 1113816 (Why is no real title available?)
- scientific article; zbMATH DE number 1954119 (Why is no real title available?)
- Design for AJACS, yet another Java constraint programming framework
- scientific article; zbMATH DE number 2090057 (Why is no real title available?)
- scientific article; zbMATH DE number 2097775 (Why is no real title available?)
- Constraint programming: strategic directions
- Some challenges for constraint programming
- Constraint-based protocols for distributed problem solving
- Decidability of infinite-state timed CCP processes and first-order LTL
- MBase: Representing knowledge and context for the integration of mathematical software systems
- Coordination Models and Languages
- Solving hierarchical constraints over finite domains with local search
- 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
- A timed concurrent constraint language.
- scientific article; zbMATH DE number 1231543 (Why is no real title available?)
- Evaluating ASP and commercial solvers on the CSPLib
- Recognition of Nested Gates in CNF Formulas
- Model checking with probabilistic tabled logic programming
- A methodological view of constraint solving
- A concurrent lambda calculus with futures
- A Declarative Framework for Security: Secure Concurrent Constraint Programming
- CLAIRE: combining sets, search and rules to better express algorithms
- A new generic scheme for functional logic programming with constraints
- scientific article; zbMATH DE number 2096830 (Why is no real title available?)
- The distribution semantics for normal programs with function symbols
- scientific article; zbMATH DE number 1630028 (Why is no real title available?)
- scientific article; zbMATH DE number 2084713 (Why is no real title available?)
- A CHR-based implementation of known arc-consistency
- scientific article; zbMATH DE number 2172811 (Why is no real title available?)
- CLPS-B
- Figaro
- Lutess
- FocusCheck
- GeneSyst
- JavaLog
- LogiMOO
- MetaMorph
- ObjectCurry
- DiVer
- JoCaml
- CLAIRE
- PROCOL
- SALSA
- MANIFOLD
- BABEL
- CHIP
- KLIC
- OMRS
- Mozart
- DECAF
- OPBDP
- WSAT(OIP)
- METATEM
- PITA
- LISP
- HAL_
- LMNtal
- Skyblue
- Mercury
- Curry
- Kima
- Kernel-LEAF
- Pict
- Janus
- TeaBag
- OscaR
- TOY
This page was built for software: Oz
