Вы здесь

Главная

Computers and Artificial Intelligence

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

A Communication Architecture for Cooperating Agents
A Concept of Decompositional Approach to Concurrent Systems Design
A Distributed Protocol for Channel-Based Communication with Choice
Adornments in Database Programs
A First Step Towards Autoepistemic Logic Programming
A Framework for Network Modeling
A Generalized Algebraic Approach to Uncertainty Processing in Rule-based Expert Systems (Dempsteroids)
A Graph-Based Approach to Action Scheduling in a Parallel Database System
A Guide to Sorting on the Mesh-connected Processor Array
A HIlbert Space Fuzzy Set Theory
An Algebra of Nondeterministic Computations and Its Powerdomain
An Algebra of Regular Macronets for Formal Specification of Communication Protocols
An Algorithmic Approach to Query Optimization
Analysis of Parallel Discrete Systems by Discrete Stochastic and Fuzzy Petri Nets
An Approach to Algebraic Theory of Discrete Signals
An Efficient Strategy for Analysis and Verification in Rule-Based Expert System Development
An Extension of Linear Time Temporal Logic and Its Application to Hardware Design
An Operational Approach to Semantics of Real-Time Programming Languages
A Note on Cooperating Grammars with Terminal Productions
A Note on Lower Bound for One-Dimensional Systolic Array
A Program System for Efficient Operation with embedded semantic network
A Proof Procedure Based on Recomputation-Free Lemmatization
A Rule based approach to the semantic interpretation of natural language
A Task Scheduling Algorithm for Microcomputer Control Systems
Branching Programs versus Oblivious Branching Programs
Candela - A Topology Description Language
Communication and Transactions in Vienna Parallel Logic
Comparison of two VLSI Models
Conditions for Convergence of Genetic Algorithms through Walsh Series
Confidence in Information and its sources in expert systems
Construction of Belief Sets for Logic Programs and Default Theories
Cooperating/Distributed Grammar Systems with Registers: the Regular Case
Cooperating/Distributed Grammar Systems with Regular Components
COOPLAN: A Logic-Based Framework for Cooperative Response Generation
Data Structures for Representing and Processing of Fuzzy Information in Lisp
Declarative Programming for Conventional MIMD Multiprocessors
Distributed AI, Decentralized AI, and Multiagent Systems
Distribution of strategies in a formalism of multi-agent systems
Efficient Loop Handling in a Stream-oriented Unravelling Dataflow Interpreter
Epistemic Logic, Probability Theory and Multiagent Nonmonotonic Reasoning
Expert Systems with Boolean-valued Uncertainties
Exploiting Parallelism in Primitive Operations on Bulk Data Types: Some Results
Exploiting Small Clauses in Automatic Theorem Proving
Fast Sequential and Parallel Simulations of Nondeterministic Computations
Formal Reasoning on Timing at the Timing Diagram Level
GEKATOO: A General Knowledge Acquisition
Generating Explanations of Geometrical Concepts
Genetic Algorithms and Trees. Part I: Recognition Trees (the Fixed Width Case)
Graph-Based Processing of Logic Programs
Handling Constraints and Generating Intensional Answers in a Deductive Database System