Вы здесь

Главная

логический

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

15th July 1972: A Significant Moment for Logic Programming
A Backtracking Algorithm for the Stream AND-parallel Execution of Logic Programs
Abduction in Temporal Reasoning
Abduction over 3-valued Extended Logic Programs
Abductive Analysis of Modular Logic Programs
A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs
A Bottom-Up Interpreter for a Higher-Order Logic Programming Language
A Bottom-up Reconstruction of the Well-founded Semantics for Disjunctive Logic Programs
About Boundedness for Some DATALOG and DATALOGneg Programs
About Logical Clocks for Distributed Systems
A Brief Introduction to Inductive Logic Programming
Abstract Data Types for the Logical Modeling of Comlex Data
Abstract Debugging of Logic Programs
Abstracting s-semantics Using a Model-Theoretic Approach
Abstracting Unification: A Key Step in the Design of Logic Program Analyses
Abstract Interpretation and Application to Logic Programs
Abstract Interpretation and Finite Domain Symbolic Constraints
Abstract Interpretation and Partial Evaluation in Functional and Logic Programming
Abstract Interpretation for Concurrent Logic Languages
Abstract Interpretation of logic programs: an abstract domain for groundness, sharing, freeness and compoundness analysis
Abstract Iterpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs
A Call-by-Need Strategy for Higher-Order Functional-Logic Programming
A Categorical Model for Logic Programs: Indexed Monoidal Categories
ACE: And/Or-parallel Copying-based Execution of Logic Program
A Characterization of Non-Floundering Logic Programs
ACL - A Concurrent Linear Logic Programming Paradigm
A Clausal Form for the Completion of Logic Programs
A Closed Form for DATALOG Queries with Integer Order
A CLP(R) Options Trading Analisys System
A Combination of Clausal and Non Clausal Temporal Logic Programs
A Complete Indexing Scheme for WAM-based Abstract Machines
A Complete Narrowing Calculus for Higher-Order Functional Logic Programming
A Complete Resolution Method for Logical Meta-programming Languages
A Complex Benchmark for Logic Programming and Deductive Databases, or Who Can Beat the N-Queens?
A Compositional Semantics for Logic Programs and Deductive Databases
A Computational Model for Functional Logic Deductive Databases
A Conceptual and Contextual Object-Oriented Logic Programming: The PROLOG++ Language
A Confluent Relational Calculus for Higher-Order Programming with Constraints
A Conservative Approach to Meta-Programming in Constraint Logic Programming
A Constraint Logic Programming Approach for Maintaining Consistency in User-Interface Design
A Correct Goal-directed Proof Procedure for a General Logic Program with Integrity Constraints
A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing
ACTILOG: An Agent Activation Language
Actions and Specificity
Actions with Preconditions and Postconditions
Active-U-Datalog: Integrating Active Rules in a Logical Update Language
Acyclic logic programs and the completeness of SLDNF-resolution
A Database Interface for Complex Objects
A Data-Driven Parallel Execution Model for Logic Programs
A Dataflow Semantics for Constraint Logic Programs