Вы здесь

Главная

логический

Связанные издания:

Repeated Redundant Inequalities in Constraint Logic Programming
Replacement Can Preserve Termination
Representing Concurrent Actions and Solving Conflicts
Representing Incomplete Knowledge in Abductive Logic Programming
Representing Linguistic Knowledge through Logic Programming
Representing Logic Program Schemata in Prolog
Representing Null Values in Logic Programming
Representing Plans Under Uncertainty. A Logic of Time, Chance, and Action
Residuation and Guarded Rules for Constraint Logic Programming
Restriction Site Mapping in CLP(R)
Reuse of Results in Termination Analysis of Typed Logic Programs
Reversible Computation: Proc./9th International Conference, RC 2017, Kolkata, India, July 2017
Reversible Computation: Revised Papers/3rd International Workshop, RC 2011, Gent, Belgium, July 2011
Revision by Communication
Revision by Expansion in Logic Programs
Revision of Non-Monotonic Theories: Some Postulates and an Application to Logic Programming
Revision Specifications by Means of Program
Rewriting Rule Methods in Logic Databases
RISC-CLP(CF) Constraint Logic Programming over Complex Functions
ROSE: A Practical Higher-Order Functional/Logic Language
Rule-Based Generation of Logical Query Plans with Controlled Complexity
Run-Time Compilation of Constraints in Flang
Run Time Type Information in Mercury
RUTH: an ILP Theory Revision System
Safe Query Languages for Constraint Databases
Safe Stratified Datalog with Integer Order Programs
Sample: New Programming Technology and AI Language
Schedule Analysis of Concurrent Logic Programs
Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types
Search-Based Software Engineering: Proc./10th International Symposium, SSBSE 2018, Montpellier, France, September 2018
Selecting Choice Points in an Intelligent Backtracking Schema
Semantical Equivalences of (Non-Classical) Logic Programs
Semantic Definitions for Normal Open Programs
Semantic models for concurrent logic languages
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling
Semantics of Constraint Logic Programs with Bounded Quantifiers
Semantics of Horn and disjunctive logic programs
Semantics of Logic Programs with Aggregates
Semantics of Nonmonotonic Reasoning in Logic Programming
Semantics of Normal Logic Programs with Embedded Implications
Sequentialization of Parallel Logic Programs with Mode Analysis
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs
Set Constraints and Logic Programming
Set Constraints and Set-Based Analysis
Set Constraints: Results, Applications and Future Directions
Set-Term Matching in Logic Programming
Signed Logic Programs
Simulating Logic Circuits: A Multiprocessor Application
Simulation of Communications Architecture Specifications Using Prolog
SLWV - A Theorem Prover for Logic Programming