„Logic Programming“
Suchergebnisse
2.836 Treffer
-
Reduction rules for time Petri nets
-
Efficient recognition algorithms for boundary and linear eNCE graph languages
-
One-write algorithms for multivalued regular and atomic registers
-
Data structures for order-sensitive predicates in parallel nondeterministic systems
-
A complete algebraic characterization of behavioral subtyping
-
Explainable AI: To Reveal the Logic of Black-Box Models
-
On the power of deep pushdown stacks
-
A method for acceleration of logical inference in the production knowledge model
-
The EEE encounter model: Applying the service dominant logic to B2B e-marketplaces
-
On look-ahead heuristics in disjunctive logic programming
-
On regular tree languages and deterministic pushdown automata
-
A logic-based incremental approach to graph repair featuring delta preservation
-
Formal testing of timed graph transformation systems using metric temporal graph logic
-
MAT learners for tree series: an abstract data type and two realizations
-
Applications of the theory of records in the study of random trees
-
Early action in an Earley parser
-
Strongly transitive automata and the Černý conjecture
-
Quantitative pharmacophore models with inductive logic programming
-
A Markovian queue with varying number of servers and applications to the performance comparison of HSDPA user equipment
-
An extended variant of atoms loop check for positive logic programs