Skip navigation

Computational Intelligence

  • Page 4 of 11

Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be described as a blend of three complementary classical ingredients: propositional calculus, modal logic, and the algebra of regular events. In First-Order Dynamic Logic (DL), the propositional calculus is replaced by classical first-order predicate calculus.

Knowledge discovery and data mining (KDD) deals with the problem of extracting interesting associations, classifiers, clusters, and other patterns from data. The emergence of network-based distributed computing environments has introduced an important new dimension to this problem—distributed sources of data. Traditional centralized KDD typically requires central aggregation of distributed data, which may not always be feasible because of limited network bandwidth, security concerns, scalability problems, and other practical issues.

Proceedings of the Seventeenth National Conference on Artificial Intelligence and The Twelfth Annual Conference on Innovative Applications of Artificial Intelligence

The annual AAAI National Conference provides a forum for information exchange and interaction among researchers from all disciplines of AI. Contributions include theoretical, experimental, and empirical results. Topics cover principles of cognition, perception, and action; the design, application, and evaluation of AI algorithms and systems; architectures and frameworks for classes of AI systems; and analyses of tasks and domains in which intelligent systems perform.

Distributed for AAAI Press

Proceedings of the 1999 Conference

The annual conference on Neural Information Processing System (NIPS) is the flagship conference on neural computation. It draws preeminent academic researchers from around the world and is widely considered to be a showcase conference for new developments in network algorithms and architectures. The broad range of interdisciplinary research areas represented includes computer science, neuroscience, statistics, physics, cognitive science, and many branches of engineering, including signal processing and control theory.

Computer Explorations of Fractals, Chaos, Complex Systems, and Adaptation

In this book Gary William Flake develops in depth the simple idea that recurrent rules can produce rich and complicated behaviors.

Proceedings of the 1999 International Conference on Logic Programming

The International Conference on Logic Programming, sponsored by the Association for Logic Programming, includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, nonmonotonic reasoning, and logic programming and the Internet.

Exploring the Neural Code


What does it mean to say that a certain set of spikes is the right answer to a computational problem? In what sense does a spike train convey information about the sensory world? Spikes begins by providing precise formulations of these and related questions about the representation of sensory signals in neural spike trains. The answers to these questions are then pursued in experiments on sensory neurons.

Proceedings of the Sixteenth National Conference on Artificial Intelligence and The Eleventh Annual Conference on Innovative Applications of Artificial Intelligence

The annual AAAI National Conference provides a forum for information exchange and interaction among researchers from all disciplines of AI. Contributions include theoretical, experimental, and empirical results. Topics cover principles of cognition, perception, and action; the design, application, and evaluation of AI algorithms and systems; architectures and frameworks for classes of AI systems; and analyses of tasks and domains in which intelligent systems perform.

Distributed for the AAAI Press

 

This wide-ranging collection of essays is inspired by the memory of the cognitive psychologist John Macnamara, whose influential contributions to language and concept acquisition have provided the basis for numerous research programs. The areas covered by the essays include the foundations of language and thought, congnitive and linguistic development, and mathematical approaches to cognition.

  • Page 4 of 11