„Logic Programming“
Suchergebnisse
2.836 Treffer
-
Reasoning about Imprecise Beliefs in Multi-Agent Systems with PDT Logic
-
Safraless LTL synthesis considering maximal realizability
-
The Swift Practical Approach of Learning C-Programming – Covers: Computer Fundamentals,Problem Solving Techniques,Algorithm,Flow charts and Detail Explanation of Program Logic
-
Metric propositional neighborhood logic with an equivalence relation
-
Planning and execution with flexible timelines: a formal account
-
Checking interval properties of computations
-
Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification
-
Mining approximate interval-based temporal dependencies
-
Learning patterns of states from multi-channel time series using genetic programming
-
Proof checking and logic programming
-
Model-checking iterated games
-
Multi-agent systems: modeling and verification using hybrid automata
-
Using Constraint Logic Programming for Modeling and Verifying Hierarchical Hybrid Automata
-
A three-valued logic for Inductive Logic Programming
-
Problem Solving Through Flow Chart
-
Modeling in Applied Problems – Operations Research Models and Alternative Methods