Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
Heuristics: intelligent search strategies for computer problem solving
Heuristics: intelligent search strategies for computer problem solving
The logic of programming
Foundations of logic programming
Foundations of logic programming
Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Intellectual issues in the history of artificial intelligence
The study of information: interdisciplinary messages
BYTE - Lecture notes in computer science Vol. 174
Artificial Intelligence
Self-adjusting binary search trees
Journal of the ACM (JACM)
Communicating sequential processes
Communicating sequential processes
MULTILISP: a language for concurrent symbolic computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Programmer's Apprentice: A Session with KBEmacs
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
An experiment in partial evaluation: the generation of a compiler generator
Proc. of the first international conference on Rewriting techniques and applications
PARLOG: parallel programming in logic
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
The concept of a supercompiler
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Schubert's steamroller problem: formulations and solutions
Journal of Automated Reasoning
Machine translation: past, present, future
Machine translation: past, present, future
Algorithms for mutual exclusion
Algorithms for mutual exclusion
Prolog programming for artificial intelligence
Prolog programming for artificial intelligence
Acta Informatica
Computability theory, semantics, and logic programming
Computability theory, semantics, and logic programming
Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
A fully distributed (minimal) spanning tree algorithm
Information Processing Letters
The relation between logic and functional languages: A survey
Journal of Logic Programming
The DADO production system machine
Journal of Parallel and Distributed Computing
The role of logic programming in the Fifth Generation Computer Project
Proceedings on Third international conference on logic programming
A sequential implementation of Parlog
Proceedings on Third international conference on logic programming
Parallel execution of logic programs
Parallel execution of logic programs
Current trends in concurrency. Overviews and tutorials
Introduction to expert systems
Introduction to expert systems
Operation systems: advanced concepts
Operation systems: advanced concepts
Operating systems: design and implementation
Operating systems: design and implementation
Computer
Computer
The society of mind
Theory of deductive systems and its applications
Theory of deductive systems and its applications
Transputer-based experiments with the ZAPP architecture
Volume I: Parallel architectures on PARLE: Parallel Architectures and Languages Europe
Parallel logic programming in PARLOG: the language and its implementation
Parallel logic programming in PARLOG: the language and its implementation
Structure and interpretation of computer programs
Structure and interpretation of computer programs
SOAR: an architecture for general intelligence
Artificial Intelligence
Object-oriented programming with flavors
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Using prototypical objects to implement shared behavior in object-oriented systems
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Object-oriented concurrent programming ABCL/1
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Theory of recursive functions and effective computability
Theory of recursive functions and effective computability
Prolog multiprocessors
Nonmonotonic logic and temporal projection
Artificial Intelligence
Inheritance and synchronization in concurrent OOP
European conference on object-oriented programming on ECOOP '87
Inheritance and subtyping in a parallel object-oriented language
European conference on object-oriented programming on ECOOP '87
Parlog86 and the dining logicians
Communications of the ACM
A view of the origins and development of Prolog
Communications of the ACM
The early years of logic programming
Communications of the ACM
Making exhaustive search programs deterministic
New Generation Computing
Compiling OR-parallelism into AND-parallelism
New Generation Computing
Exploiting constraints in design synthesis
Exploiting constraints in design synthesis
Functional programming for concurrent and distributed computing
The Computer Journal
Concepts and experiments in computational reflection
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Strategies for real-time system specification
Strategies for real-time system specification
The evolution of Babbage's calculating engines
IEEE Annals of the History of Computing
The concurrent logic programming language CP: Definition and operational semantics
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Certain aspects of the anatomy and physiology of the cerebral cortex
Parallel distributed processing: explorations in the microstructure of cognition, vol. 2
Alpha-Beta search on virtual tree machines
Information Sciences: an International Journal - Parallel Processing/Part II
Nondeterminism with referential transparency in functional programming languages
The Computer Journal
Program Translation Via Abstraction and Reimplementation
IEEE Transactions on Software Engineering
Almost all k-colorable graphs are easy to color
Journal of Algorithms
Distributed algorithms and protocols
Distributed algorithms and protocols
Decision theory in expert systems and artificial intelligence
International Journal of Approximate Reasoning
Computational category theory
Concurrent object-oriented programming in Act 1
Object-oriented concurrent programming
Transputer reference manual
The general problem solving algorithm and its implementation
New Generation Computing
Two fundamental issues in multiprocessing
4th International DFVLR Seminar on Foundations of Engineering Sciences on Parallel Computing in Science and Engineering
New Generation Computing - Special Issue: Selected Papers from the Workshop on Partial Evaluation and Mixed
Unfolding rules for GHC programs
New Generation Computing - Special Issue: Selected Papers from the Workshop on Partial Evaluation and Mixed
Composing recursive logic programs with clausal join
New Generation Computing - Special Issue: Selected Papers from the Workshop on Partial Evaluation and Mixed
Merging many streams efficiently: The importance of atomic commitment
Concurrent Prolog
Vulcan: logical concurrent objects
Concurrent Prolog: collected papers
Or-parallel Prolog in flat Concurrent Prolog
Concurrent Prolog: collected papers
Parallel program design: a foundation
Parallel program design: a foundation
The logic of induction
Distributed Artificial Intelligence
Distributed Artificial Intelligence
Communications of the ACM
Essays in computing science
Efficient implementation of graph algorithms using contraction
Journal of the ACM (JACM)
ACM SIGPLAN Notices
Concurrent object-oriented programming languages
Object-oriented concepts, databases, and applications
The artificial intelligence debate: false starts, real foundations
Intelligence as an emergent behavior: or, the songs of Eden
The artificial intelligence debate: false starts, real foundations
Mathematical logic in artificial intelligence
The artificial intelligence debate: false starts, real foundations
Implementing a graph-colouring algorithm in Parlog
ACM SIGPLAN Notices
New Generation Computing
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
Neural Computers
Inheritance and synchronization with enabled-sets
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
The definition of Standard ML
Computer architecture: a quantitative approach
Computer architecture: a quantitative approach
ABCL: an object-oriented concurrent system
ABCL: an object-oriented concurrent system
Artificial Intelligence
Logic programming: Prolog and stream parallel languages
Logic programming: Prolog and stream parallel languages
The languages FCP(:) and FCP(:,?)
New Generation Computing - Selected papers on parallel logic programming from the International Conference on Fifth Generation Computer Systems, 1988
A logic programming language based on the Andorra model
New Generation Computing - Selected papers on parallel logic programming from the International Conference on Fifth Generation Computer Systems, 1988
The Aurora or-parallel Prolog system
New Generation Computing - Selected papers on parallel logic programming from the International Conference on Fifth Generation Computer Systems, 1988
The craft of Prolog
Concurrent object-oriented programming
Communications of the ACM
Unified theories of cognition
Meta-programming in logic programming
Issues in the partial evaluation of meta-interpreters
Meta-programming in logic programming
The partial evaluation of imperative programs using Prolog
Meta-programming in logic programming
How computers play chess
Aaron's code
A parallel object-oriented language with inheritance and subtyping
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Programming techniques for efficiently exploiting parallelism in logic programming languages
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Strand: new concepts in parallel programming
Strand: new concepts in parallel programming
ACM SIGCSE Bulletin
Design of the kernel language for the parallel inference machine
The Computer Journal - On concurrent logic programming
On the development of reactive systems
Logics and models of concurrent systems
The concurrent language, Shared Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
Constant propagation with conditional branches
ACM Transactions on Programming Languages and Systems (TOPLAS)
Stream data analysis in Prolog
The practice of Prolog
Learning internal representations by error propagation
Parallel distributed processing: explorations in the microstructure of cognition, vol. 1
Social conceptions of knowledge and action: DAI foundations and open systems semantics
Artificial Intelligence
Intelligence without representation
Artificial Intelligence
Today the earwig, tomorrow man?
Artificial Intelligence
Concurrent programming: principles and practice
Concurrent programming: principles and practice
Parallel logic programming
A rule language to capture and model business policy specifications
CAiSE '91 Proceedings of the third international conference on Advanced information systems engineering
Warren's abstract machine: a tutorial reconstruction
Warren's abstract machine: a tutorial reconstruction
Functional programming with Miranda
Functional programming with Miranda
Partial evaluation is fuller laziness
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Partial evaluation in logic programming
Journal of Logic Programming
Three-valued nonmonotonic formalisms and semantics of logic programs
Artificial Intelligence - Special issue on knowledge representation
Formal specification of advanced AI architectures
Formal specification of advanced AI architectures
An algebraic framework for abstract interpretation of definite programs
Proceedings of the 1990 North American conference on Logic programming
A concurrent object-oriented framework for the simulation of neural networks
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
Adaptation in natural and artificial systems
Adaptation in natural and artificial systems
A comparison of the decision table and tree
Communications of the ACM
Coordination languages and their significance
Communications of the ACM
Spawn: A Distributed Computational Economy
IEEE Transactions on Software Engineering
What computers still can't do: a critique of artificial reason
What computers still can't do: a critique of artificial reason
Machine independent parallel execution of speculative computations
Machine independent parallel execution of speculative computations
(ML)2: a formal language for KADS models of expertise
Knowledge Acquisition - Special issue on the KADS approach to knowledge engineering
Artificial Intelligence
Communications of the ACM
Partial evaluation and automatic program generation
Partial evaluation and automatic program generation
Computation as logic
HOPL-II The second ACM SIGPLAN conference on History of programming languages
The early history of Smalltalk
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Analysis of inheritance anomaly in object-oriented concurrent programming languages
Research directions in concurrent object-oriented programming
Agents that reduce work and information overload
Communications of the ACM
The Go¨del programming language
The Go¨del programming language
Logical basis for the automation of reasoning: case studies
Handbook of logic in artificial intelligence and logic programming
Handbook of logic in artificial intelligence and logic programming
Object-based concurrent programming and distributed artificial intelligence
Distributed artificial intelligence
Intelligence without robots: a reply to Brooks
AI Magazine
Higher-order aspects of logic programming (summary)
Proceedings of the eleventh international conference on Logic programming
Mixtus: an automatic partial evaluator for full Prolog
New Generation Computing
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
A unified approach to intelligent agency
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
The PLACA agent programming language
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
On social laws for artificial agent societies: off-line design
Artificial Intelligence - Special volume on computational research on interaction and agency, part 2
Unfolding-definition-folding, in this order, for avoiding unnecessary variables in logic programs
PLILP '91 Selected papers of the symposium on Programming language implementation and logic programming
The mythical man-month (anniversary ed.)
The mythical man-month (anniversary ed.)
Controlling cooperative problem solving in industrial multi-agent systems using joint intentions
Artificial Intelligence
ACM Transactions on Information Systems (TOIS) - Special issue: selected papers from the conference on office information systems
Describing Prolog by its interpretation and compilation
Communications of the ACM
Computation & intelligence: collected readings
Computation & intelligence: collected readings
Realization of a geometry-theorem proving machine
Computers & thought
GPS, a program that simulates human thought
Computers & thought
CYC: a large-scale investment in knowledge infrastructure
Communications of the ACM
Concurrent programming in ERLANG (2nd ed.)
Concurrent programming in ERLANG (2nd ed.)
Hilbert
Dataflow computer development in Japan
ICS '90 Proceedings of the 4th international conference on Supercomputing
Declarative Ada: parallel dataflow programming in a familiar context
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
OOPSLA '93 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
ACM Computing Surveys (CSUR)
A shorter model theory
Artificial intelligence: a new synthesis
Artificial intelligence: a new synthesis
The concurrent object-oriented language braid
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Efficiently monitoring relational databases
ACM Transactions on Database Systems (TODS)
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
System R: relational approach to database management
ACM Transactions on Database Systems (TODS)
A Fortran-Compiled List-Processing Language
Journal of the ACM (JACM)
A Computing Procedure for Quantification Theory
Journal of the ACM (JACM)
A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus
Journal of the ACM (JACM)
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Mechanical Theorem-Proving by Model Elimination
Journal of the ACM (JACM)
The Unit Proof and the Input Proof in Theorem Proving
Journal of the ACM (JACM)
Two Results on Ordering for Resolution with Merging and Linear Format
Journal of the ACM (JACM)
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
Fast Decision Procedures Based on Congruence Closure
Journal of the ACM (JACM)
Contributions to the Theory of Logic Programming
Journal of the ACM (JACM)
Classes versus prototypes in object-oriented languages
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
New Programming Languages for Artificial Intelligence Research
ACM Computing Surveys (CSUR)
Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty
ACM Computing Surveys (CSUR)
Testing and Debugging Custom Integrated Circuits
ACM Computing Surveys (CSUR)
Parallel Search of Strongly Ordered Game Trees
ACM Computing Surveys (CSUR)
Program Transformation Systems
ACM Computing Surveys (CSUR)
Deleting Irrelevant Tasks in an Expression-Oriented Multiprocessor System
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Efficient Unification Algorithm
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Byzantine Generals Problem
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Distributed Algorithm for Minimum-Weight Spanning Trees
ACM Transactions on Programming Languages and Systems (TOPLAS)
Anomalies in parallel branch-and-bound algorithms
Communications of the ACM
Communications of the ACM
Combinatorially implosive algorithms
Communications of the ACM
Communications of the ACM
Communications of the ACM
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Communications of the ACM
Computer science as empirical inquiry: symbols and search
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
Backtrack programming techniques
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
The nucleus of a multiprogramming system
Communications of the ACM
A relational model of data for large shared data banks
Communications of the ACM
Concurrent control with “readers” and “writers”
Communications of the ACM
Letters to the editor: go to statement considered harmful
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
“Pānini-Backus Form” suggested
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Correspondence between ALGOL 60 and Church's Lambda-notation: part I
Communications of the ACM
A formal semantics for computer languages and its application in a compiler-compiler
Communications of the ACM
The next 700 programming languages
Communications of the ACM
Solution of a problem in concurrent programming control
Communications of the ACM
Flow diagrams, turing machines and languages with only two formation rules
Communications of the ACM
Design of a separable transition-diagram compiler
Communications of the ACM
Sequential formula translation
Communications of the ACM
Recursive functions of symbolic expressions and their computation by machine, Part I
Communications of the ACM
Report on the algorithmic language ALGOL 60
Communications of the ACM
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The Smalltalk-76 programming system design and implementation
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A straightforward denotational semantics for non-determinate data flow programs
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The Design of Intelligent Agents: A Layered Approach
The Design of Intelligent Agents: A Layered Approach
Turing Test and the Frame Problem: Al's Mistaken Understanding of Intelligence
Turing Test and the Frame Problem: Al's Mistaken Understanding of Intelligence
Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp
Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp
Meta-Level Inference Systems
Artificial Life: Proceedings of an Interdisciplinary Workshop on the Synthesis and Simulation of Living Systems
Coordination of Distributed Problem Solvers
Coordination of Distributed Problem Solvers
Concurrent PROLOG: Collected Papers
Concurrent PROLOG: Collected Papers
Distributed Artificial Intelligence
Distributed Artificial Intelligence
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Logic for Problem Solving
Computer Architecture: A Structured Approach
Computer Architecture: A Structured Approach
Godel, Escher, Bach: An Eternal Golden Braid
Godel, Escher, Bach: An Eternal Golden Braid
Algorithms + Data Structures = Programs
Algorithms + Data Structures = Programs
Chess and Computers
Operating system principles
Designing Complex Organizations
Designing Complex Organizations
Understanding Natural Language
Understanding Natural Language
A Discipline of Programming
Distributed Systems: Concepts and Design
Distributed Systems: Concepts and Design
A Pathology of Computer Viruses
A Pathology of Computer Viruses
PASCAL user manual and report
The Art of the Metaobject Protocol
The Art of the Metaobject Protocol
Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project
Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project
Smalltalk-80: The Language
Understanding Computers and Cognition: A New Foundation for Design
Understanding Computers and Cognition: A New Foundation for Design
Artificial Intelligence Programming
Artificial Intelligence Programming
Computers for Artificial Intelligence Applications
Computers for Artificial Intelligence Applications
Readings in Knowledge Representation
Readings in Knowledge Representation
Logic Programming
History of Computing in the Twentieth Century
History of Computing in the Twentieth Century
Applications of Artificial Intelligence for Chemical Inference: The Dendral Project
Applications of Artificial Intelligence for Chemical Inference: The Dendral Project
Structured Systems Analysis: Tools and Techniques
Structured Systems Analysis: Tools and Techniques
Pattern-Directed Inference Systems
Pattern-Directed Inference Systems
A Theory of Programming Language Semantics
A Theory of Programming Language Semantics
Decision Table Languages and Systems
Decision Table Languages and Systems
A Roadmap of Agent Research and Development
Autonomous Agents and Multi-Agent Systems
Reverse Engineering and Design Recovery: A Taxonomy
IEEE Software
Real-Time Hierarchical Control
IEEE Software
Programming In Concurrent Logic Languages
IEEE Software
The case for the reduced instruction set computer
ACM SIGARCH Computer Architecture News
A preliminary architecture for a basic data-flow processor
ISCA '75 Proceedings of the 2nd annual symposium on Computer architecture
Deforestation: Transforming Programs to Eliminate Trees
ESOP '88 Proceedings of the 2nd European Symposium on Programming
Automatic Online Partial Evaluation
Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture
Intractable Unifiability Problems and Backtracking
Proceedings of the Third International Conference on Logic Programming
OLD Resolution with Tabulation
Proceedings of the Third International Conference on Logic Programming
P-Prolog: A Parallel Logic Language Based on Exclusive Relation
Proceedings of the Third International Conference on Logic Programming
Qualified Answers and their Application to Transformation
Proceedings of the Third International Conference on Logic Programming
Solving Optimisation Problems in the Aurora Or-parallel Prolog System
ICLP '91 Pre-Conference Workshop on Parallel Execution of Logic Programs
The Pandora Deadlock Handler Meta-Level Relation
META-92 Proceedings of the 3rd International Workshop on Meta-Programming in Logic
Definable Naming Relations in Meta-level Systems
META-92 Proceedings of the 3rd International Workshop on Meta-Programming in Logic
Distributed Databases Tied with StrIng
BNCOD 11 Proceedings of the 11th British National Conference on Databases: Advances in Databases
Scenarios: A Model of Non-Determinate Computation
Proceedings of the International Colloquium on Formalization of Programming Concepts
PLILP '90 Proceedings of the 2nd International Workshop on Programming Language Implementation and Logic Programming
Multiple Tuple Spaces in Linda
PARLE '89 Proceedings of the Parallel Architectures and Languages Europe, Volume II: Parallel Languages
Natural Language Communication with Computers
Requirements for a Composition Language
ECOOP '94 Selected papers from the ECOOP'94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Object-Based Models and Languages for Concurrent Systems
Law-Governed Linda as a Coordination Model
ECOOP '94 Selected papers from the ECOOP'94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Object-Based Models and Languages for Concurrent Systems
MAAMAW '92 Selected papers from the 4th European Workshop on on Modelling Autonomous Agents in a Multi-Agent World, Artificial Social Systems
Experiments in Multi-Agent System Dynamics
MAAMAW '92 Selected papers from the 4th European Workshop on on Modelling Autonomous Agents in a Multi-Agent World, Artificial Social Systems
Making a Case for Multi-Agent Systems
Proceedings of the 8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: Multi-Agent Rationality
An Overview of Mobile Agent Programming
Selected papers from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages
On the Semantics of Fair Parallelism
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
Analyzing Mobile Code Languages
MOS '96 Selected Presentations and Invited Papers Second International Workshop on Mobile Object Systems - Towards the Programmable Internet
A Note on Distributed Computing
MOS '96 Selected Presentations and Invited Papers Second International Workshop on Mobile Object Systems - Towards the Programmable Internet
Sumatra: A Language for Resource-Aware Mobile Programs
MOS '96 Selected Presentations and Invited Papers Second International Workshop on Mobile Object Systems - Towards the Programmable Internet
History of programming languages I
History of programming languages I
Reflection and semantics in LISP
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Towards a taxonomy of computer architecture based on the machine data type view
ISCA '83 Proceedings of the 10th annual international symposium on Computer architecture
The new generation of computer architecture
ISCA '83 Proceedings of the 10th annual international symposium on Computer architecture
Reification: Reflection without metaphysics
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Super-combinators a new implementation method for applicative languages
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
A procedure for designing abstract interfaces for device interface modules
ICSE '81 Proceedings of the 5th international conference on Software engineering
The architecture and system method of DDM1: A recursively structured Data Driven Machine
ISCA '78 Proceedings of the 5th annual symposium on Computer architecture
Definitional interpreters for higher-order programming languages
ACM '72 Proceedings of the ACM annual conference - Volume 2
SCRATCHPAD/1: An interactive facility for symbolic mathematics
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
REDUCE 2: A system and language for algebraic manipulation
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Indeterminacy, monitors, and dataflow
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
Hints for computer system design
SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles
Parallel interpretation of logic programs
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
A relational language for parallel programming
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Register allocation & spilling via graph coloring
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Nesting in Ada programs is for the birds
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
ACM SIGPLAN Notices - Special issue: History of programming languages conference
Interactive support for non-programmers: The relational and network approaches
SIGFIDET '74 Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control: Data models: Data-structure-set versus relational
Distributed Constraint Satisfaction Algorithm for Complex Local Problems
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
A Multiagent Robot Language for Communication and Concurrency Control
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Distributed Constraint Satisfaction: Foundation and Applications
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Compositional C++: Compositional Parallel Programming
Compositional C++: Compositional Parallel Programming
Mobile agents for mobile computing
Mobile agents for mobile computing
Micro-Planner Reference Manual
Micro-Planner Reference Manual
Lambda: The Ultimate Imperative
Lambda: The Ultimate Imperative
Generating Semantic Descriptions From Drawings of Scenes With Shadows
Generating Semantic Descriptions From Drawings of Scenes With Shadows
The art of artificial intelligence: I. Themes and case studies of knowledge engineering
The art of artificial intelligence: I. Themes and case studies of knowledge engineering
Conversion of decision tables into decision trees
Conversion of decision tables into decision trees
The design and analysis of algorithms for asynchronous multiprocessors.
The design and analysis of algorithms for asynchronous multiprocessors.
Mundane reasoning by parallel constraint satisfaction
Mundane reasoning by parallel constraint satisfaction
Concurrent constraint programming languages
Concurrent constraint programming languages
Breaking the complexity barrier again
SIGPLAN '73 Proceedings of the 1973 meeting on Programming languages and information retrieval
Tabsol decision table preprocessor
ACM SIGPLAN Notices - Special issue on decision tables
Conversion of limited-entry decision tables into optimal decision trees: fundamental concepts
ACM SIGPLAN Notices - Special issue on decision tables
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
Algorithm + strategy = parallelism
Journal of Functional Programming
Artificial intelligence meets natural stupidity
ACM SIGART Bulletin
ACM SIGART Bulletin
Special issue on knowledge representation
ACM SIGART Bulletin
Computation: finite and infinite machines
Computation: finite and infinite machines
Human Problem Solving
Simula Begin
The Wealth of Nations
Problem-Solving Methods in Artificial Intelligence
Problem-Solving Methods in Artificial Intelligence
Structured Analysis and System Specification
Structured Analysis and System Specification
A Mathematical Theory of Communication
A Mathematical Theory of Communication
Theory of Self-Reproducing Automata
Theory of Self-Reproducing Automata
Structured programming
Chapter I: Notes on structured programming
Structured programming
Chapter III: Hierarchical program structures
Structured programming
Concurrency in Operating Systems
Computer
IEEE Transactions on Computers
IEEE Transactions on Computers
The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver
IEEE Transactions on Computers
Distributed Interpretation: A Model and Experiment
IEEE Transactions on Computers
A Method for Analyzing Loop Programs
IEEE Transactions on Software Engineering
The Modular Structure of Complex Systems
IEEE Transactions on Software Engineering
Computer
A Trilogy on Errors in the History of Computing
IEEE Annals of the History of Computing
Pattern recognition and modern computers
AFIPS '55 (Western) Proceedings of the March 1-3, 1955, western joint computer conference
The FORTRAN automatic coding system
IRE-AIEE-ACM '57 (Western) Papers presented at the February 26-28, 1957, western joint computer conference: Techniques for reliability
TABSOL: a fundamental concept for systems-oriented languages
IRE-AIEE-ACM '60 (Eastern) Papers presented at the December 13-15, 1960, eastern joint IRE-AIEE-ACM computer conference
Sketchpad: a man-machine graphical communication system
AFIPS '63 (Spring) Proceedings of the May 21-23, 1963, spring joint computer conference
Validity of the single processor approach to achieving large scale computing capabilities
AFIPS '67 (Spring) Proceedings of the April 18-20, 1967, spring joint computer conference
A language design for concurrent processes
AFIPS '68 (Spring) Proceedings of the April 30--May 2, 1968, spring joint computer conference
From PLANNER to CONNIVER: a genetic approach
AFIPS '72 (Fall, part II) Proceedings of the December 5-7, 1972, fall joint computer conference, part II
The entity-relationship model: a basis for the enterprise view of data
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
Progress in natural language understanding: an application to lunar geology
AFIPS '73 Proceedings of the June 4-8, 1973, national computer conference and exposition
A heuristic programming study of theory formation in science
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
STRIPS: a new approach to the application of theorem proving to problem solving
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Meta-level knowledge: overview and applications
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
OPS: a domain-independent production system language
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Epistemological problems of artificial intelligence
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
NEOMYCIN: reconfiguring a rule-based expert system for application to teaching
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
Logic programs with uncertainties: a tool for implementing rule-based systems
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Negotiation and task sharing among autonomous agents in cooperative domains
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Focus of attention in the Hearsay-II speech understanding system
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
PLANNER: a language for proving theorems in robots
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
A universal modular ACTOR formalism for artificial intelligence
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Incomplete information and deception in multi-agent negotiation
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Where the really hard problems are
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Sensorimotor transformations in the worlds of frogs and robots
Artificial Intelligence
Tables, flow charts, and program logic
IBM Systems Journal
IBM Journal of Research and Development
Some studies in machine learning using the game of checkers
IBM Journal of Research and Development
Robotics and Autonomous Systems
A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Inferring non-suspension conditions for logic programs with dynamic scheduling
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |