The following pages link to (Q3735050):
Displaying 32 items.
- Stochastic relational processes: efficient inference and applications (Q413831) (← links)
- On the analysis of compensation correctness (Q444367) (← links)
- On graph equivalences preserved under extensions (Q536221) (← links)
- Collaborative software infrastructure for adaptive multiple model simulation (Q649340) (← links)
- Linear-space best-first search (Q685539) (← links)
- General information in relevant logic (Q833037) (← links)
- On the determination of Green's relations in finite transformation semigroups (Q1173774) (← links)
- Top-down induction of first-order logical decision trees (Q1274285) (← links)
- A state-space search approach for parallel processor scheduling problems with arbitrary precedence relations (Q1333456) (← links)
- A Prolog simulator for deterministic P systems with active membranes (Q1762939) (← links)
- Heuristic optimization of sequence of customer orders (Q1765868) (← links)
- Patterns of abduction (Q1947247) (← links)
- Mixed logical-linear programming (Q1961464) (← links)
- Beyond graph neural networks with lifted relational neural networks (Q2071316) (← links)
- Handling epistemic and aleatory uncertainties in probabilistic circuits (Q2163184) (← links)
- A general approach to reasoning with probabilities (Q2283285) (← links)
- Learning long-term chess strategies from databases (Q2433173) (← links)
- Simple heuristic algorithm for profile reduction of arbitrary sparse matrix (Q2572728) (← links)
- Verification, validation, and integrity issues in expert and database systems: Two perspectives (Q2739003) (← links)
- An Optimal Strategy for the Constrained Cycle Cover Problem (Q2741265) (← links)
- Values Suggestion in Mixed Integer Programming by Machine Learning Algorithm (Q2741268) (← links)
- Abductive Belief Revision in Science (Q2912131) (← links)
- The HeKatE methodology. Hybrid engineering of intelligent systems (Q2930572) (← links)
- L-CATA: A logic-based expert travel system (Q3354609) (← links)
- The design and use of a prolog trace generator for CSP (Q4728238) (← links)
- VIRTUAL SHARED MEMORY MACHINES— AN APPLICATION OF PVM∗ (Q4820127) (← links)
- The Prolog Debugger and Declarative Programming (Q5097636) (← links)
- Answering the “why” in answer set programming – A survey of explanation approaches (Q5197747) (← links)
- A Behavioral Comparison of Some Probabilistic Logic Models (Q5452031) (← links)
- Inductive logic programming (Q5895240) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)
- A relaxed condition for avoiding the occur-check (Q6076347) (← links)