Communicating sequential processes
Communicating sequential processes
Do the right thing: studies in limited rationality
Do the right thing: studies in limited rationality
Handbook of theoretical computer science (vol. B)
Operational and algebraic semantics of concurrent processes
Handbook of theoretical computer science (vol. B)
Genetic programming (videotape): the movie
Genetic programming (videotape): the movie
Elements of interaction: Turing award lecture
Communications of the ACM
A calculus of mobile processes, II
Information and Computation
Operational rationality through compilation of anytime algorithms
Operational rationality through compilation of anytime algorithms
Models of massive parallelism: analysis of cellular automata and neural networks
Models of massive parallelism: analysis of cellular automata and neural networks
The sciences of the artificial (3rd ed.)
The sciences of the artificial (3rd ed.)
Why interaction is more powerful than algorithms
Communications of the ACM
Interactive foundations of computing
Theoretical Computer Science - Special issue: theoretical aspects of coordination languages
Complexity - Special issue on uncoventional models of computation
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Neural networks and analog computation: beyond the Turing limit
Neural networks and analog computation: beyond the Turing limit
Proof, language, and interaction: essays in honour of Robin Milner
Proof, language, and interaction: essays in honour of Robin Milner
How to solve it: modern heuristics
How to solve it: modern heuristics
How we know what technology can do
Communications of the ACM
Automata and Computability
Minds and Machines
PARLE: A Parallel Target Language for Integrating Symbolic and Numeric Processing
PARLE '89 Proceedings of the Parallel Architectures and Languages Europe, Volume II: Parallel Languages
Expressiveness of $-Calculus: What Matters?
Proceedings of the IIS'2000 Symposium on Intelligent Information Systems
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
A Generic Tool for Distributed AI with Matching as Message Passing
ICTAI '97 Proceedings of the 9th International Conference on Tools with Artificial Intelligence
A study of drift analysis for estimating computation time of evolutionary algorithms
Natural Computing: an international journal
Algorithmic Graph Theory and Perfect Graphs (Annals of Discrete Mathematics, Vol 57)
Algorithmic Graph Theory and Perfect Graphs (Annals of Discrete Mathematics, Vol 57)
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
Theory of Self-Reproducing Automata
Theory of Self-Reproducing Automata
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
No free lunch theorems for optimization
IEEE Transactions on Evolutionary Computation
Hi-index | 5.23 |
The $-calculus is the extension of the π-calculus, built around the central notion of cost and allowing infinity in its operators. We propose the $-calculus as a more complete model for problem solving to provide a support to handle intractability and undecidability. It goes beyond the Turing Machine model. We define the semantics of the $-calculus using a novel optimization method (the kΩ-optimization), which approximates a nonexisting universal search algorithm and allows the simulation of many other search methods. In particular, the notion of total optimality has been utilized to provide an automatic way to deal with intractability of problem solving by optimizing together the quality of solutions and search costs. The sufficient conditions needed for completeness, optimality and total optimality of problem solving search are defined. A very flexible classification scheme of problem solving methods into easy, hard and solvable in the limit classes has been proposed. In particular, the third class deals with non-recursive solutions of undecidable problems. The approach is illustrated by solutions of some intractable and undecidable problems. We also briefly overview two possible implementations of the $-calculus.