scientific article
From MaRDI portal
Publication:3493325
zbMath0709.68101MaRDI QIDQ3493325
Judea Pearl, Itay Meiri, Rina Dechter
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) General topics in the theory of software (68N01)
Related Items (8)
Managing concurrency in temporal planning using planner-scheduler interaction ⋮ The SAT-based approach to separation logic ⋮ Argumentation frameworks as constraint satisfaction problems ⋮ Scheduling with neural networks -- the case of the Hubble Space Telescope ⋮ A uniform representation for time and space and their mutual constraints ⋮ Backtracking algorithms for disjunctions of temporal constraints ⋮ Querying temporal and spatial constraint networks in PTIME ⋮ The octagon abstract domain for continuous constraints
This page was built for publication: