scientific article
From MaRDI portal
Publication:3735050
zbMath0599.68007MaRDI QIDQ3735050
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01) Theory of operating systems (68N25)
Related Items (31)
A state-space search approach for parallel processor scheduling problems with arbitrary precedence relations ⋮ General information in relevant logic ⋮ Abductive Belief Revision in Science ⋮ VIRTUAL SHARED MEMORY MACHINES— AN APPLICATION OF PVM∗ ⋮ Handling epistemic and aleatory uncertainties in probabilistic circuits ⋮ The Prolog Debugger and Declarative Programming ⋮ Fifty Years of Prolog and Beyond ⋮ A relaxed condition for avoiding the occur-check ⋮ Stochastic relational processes: efficient inference and applications ⋮ Verification, validation, and integrity issues in expert and database systems: Two perspectives ⋮ Patterns of abduction ⋮ Learning long-term chess strategies from databases ⋮ On the analysis of compensation correctness ⋮ Collaborative software infrastructure for adaptive multiple model simulation ⋮ Mixed logical-linear programming ⋮ On the determination of Green's relations in finite transformation semigroups ⋮ Inductive logic programming ⋮ An Optimal Strategy for the Constrained Cycle Cover Problem ⋮ Values Suggestion in Mixed Integer Programming by Machine Learning Algorithm ⋮ Linear-space best-first search ⋮ On graph equivalences preserved under extensions ⋮ A Prolog simulator for deterministic P systems with active membranes ⋮ Heuristic optimization of sequence of customer orders ⋮ L-CATA: A logic-based expert travel system ⋮ Answering the “why” in answer set programming – A survey of explanation approaches ⋮ A general approach to reasoning with probabilities ⋮ A Behavioral Comparison of Some Probabilistic Logic Models ⋮ Top-down induction of first-order logical decision trees ⋮ The design and use of a prolog trace generator for CSP ⋮ Beyond graph neural networks with lifted relational neural networks ⋮ Simple heuristic algorithm for profile reduction of arbitrary sparse matrix
This page was built for publication:
