On design principles for a molecular computer
Communications of the ACM
A pragmatic view of the system architect
Communications of the ACM
Logic and databases: a critique
ACM SIGPLAN Notices
Metaclasses are first class: The ObjVlisp Model
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Thesaurus based concept spaces
SIGIR '87 Proceedings of the 10th annual international ACM SIGIR conference on Research and development in information retrieval
An artifical intelligence course in a liberal arts program
ACM SIGCSE Bulletin
Legal reasoning - a jurisprudential description
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Threads and input/output in the synthesis kernal
SOSP '89 Proceedings of the twelfth ACM symposium on Operating systems principles
Neural agents - a frame of mind
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
The object-oriented paradigm and neurocomputing
ANNA '91 Proceedings of the conference on Analysis of neural network applications
Andorra I: a parallel Prolog system that transparently exploits both And-and or-parallelism
PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming
Quality of information and the goals and targets of the organization
SIGCPR '94 Proceedings of the 1994 computer personnel research conference on Reinventing IS : managing information technology in changing organizations: managing information technology in changing organizations
Where no mind has gone before: ontological design for virtual spaces
ECHT '94 Proceedings of the 1994 ACM European conference on Hypermedia technology
Modeling shared variables in VHDL
EURO-DAC '94 Proceedings of the conference on European design automation
Self-evolution in a constructive binary string system
Artificial Life
Fifty years of research on self-replication: an overview
Artificial Life - Special issue on self-replication
Where do intelligent agents come from?
Crossroads
Recursively speaking: analyzing students' discourse of recursive phenomena
Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
Communications of the ACM
Communications of the ACM - Special issue on digital multimedia systems
On the fundamental limitations of transformational design
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Local microcomputer networks and their impact on computer science education
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
Artificial chemistries—a review
Artificial Life
Enterprise application integration and complex adaptive systems
Communications of the ACM
The Design and Role of Synthetic Creative Traits in Artificial Ant Colonies
Journal of Intelligent and Robotic Systems
Journal of Logic, Language and Information
Software evolution: let's sharpen the terminology before sharpening (out-of-scope) tools
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution
IEEE Expert: Intelligent Systems and Their Applications
A Study of Synthetic Creativity: Behavior Modeling and Simulation of an Ant Colony
IEEE Intelligent Systems
A Study of Replicators and Hypercycles by Typogenetics
ECAL '01 Proceedings of the 6th European Conference on Advances in Artificial Life
Agents in a Multi-cultural World: Towards Ontological Reconciliation
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Modelling multiple mind-matter interaction
International Journal of Human-Computer Studies
SIGDOC '84 Proceedings of the 3rd annual international conference on Systems documentation
A designing system for multi-family housing
DAC '84 Proceedings of the 21st Design Automation Conference
Information security issues in an APL application
APL '84 Proceedings of the international conference on APL
General systems analysis in the liberal arts curriculum
SIGSCE '84 Proceedings of the fifteenth SIGCSE technical symposium on Computer science education
Applied Mathematics and Computation
Models, software models and UML
UML for real
VIS '90 Proceedings of the 1st conference on Visualization '90
Efficient generation of random sentences
Natural Language Engineering
Notes on notes on postmodern programming: radio edit
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
xAssist — Inferring User Goals from Observed Actions
BT Technology Journal
Notes on notes on postmodern programming
ACM SIGPLAN Notices
A novel interaction between AI and philosophy
ACM SIGART Bulletin
Genetic design of discrete dynamical basis networks that approximate data sequences and functions
International Journal of Systems Science
Problem solving with insufficient resources
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Communications of the ACM - Spyware
Minds and Machines
An Active Symbols Theory of Chess Intuition
Minds and Machines
Investigating the anaesthesiologists' practice through externalist and internalist approaches
EACE '05 Proceedings of the 2005 annual conference on European association of cognitive ergonomics
IEEE MultiMedia
Legal logic? Or can we do without?
Artificial Intelligence and Law - Law, logic and defeasibility
AI Communications
An overview of auditory display to assist comprehension of molecular information
Interacting with Computers
Journal of Integrated Design & Process Science
Computer models of musical creativity: Book Reviews
Journal of the American Society for Information Science and Technology
Children, Robots and... the Parental Role
Minds and Machines
ACM Transactions on Computer-Human Interaction (TOCHI)
Games played by Boole and Galois
Discrete Applied Mathematics
Regular languages and their generating functions: The inverse problem
Theoretical Computer Science
Three fundamental misconceptions of Artificial Intelligence
Journal of Experimental & Theoretical Artificial Intelligence
ACM Lisp Bulletin
T2D: Generating Dialogues Between Virtual Agents Automatically from Text
IVA '07 Proceedings of the 7th international conference on Intelligent Virtual Agents
Isoperimetric Problem and Meta-fibonacci Sequences
COCOON '08 Proceedings of the 14th annual international conference on Computing and Combinatorics
Artificial Life
Dynamic Optimization Of Systems Of Systems Using Value Measurement
Journal of Integrated Design & Process Science
ACM SIGEVOlution
From the binary digit to technological convergence
ICS'08 Proceedings of the 12th WSEAS international conference on Systems
Program Self-reference in Constructive Scott Subdomains
CiE '09 Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice
The interrogator as critic: The turing test and the evaluation of generative music systems
Computer Music Journal
Artificial thought and emergent mind
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Support collaboration by teaching fundamentals
TeachCL '08 Proceedings of the Third Workshop on Issues in Teaching Computational Linguistics
Nature of creative analogies in biologically inspired innovative design
Proceedings of the seventh ACM conference on Creativity and cognition
Collective intelligence system engineering
Proceedings of the International Conference on Management of Emergent Digital EcoSystems
Chaos as a source of complexity and diversity in evolution
Artificial Life
Symbol Grounding in Computational Systems: A Paradox of Intentions
Minds and Machines
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Data diodes in support of trustworthy cyber infrastructure
Proceedings of the Sixth Annual Workshop on Cyber Security and Information Intelligence Research
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Concepts, Structures, and Goals: Redefining Ill-Definedness
International Journal of Artificial Intelligence in Education
A content account of creative analogies in biologically inspired design
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Artificial Intelligence
Music translation of tertiary protein structure: auditory patterns of the protein folding
EvoApplications'11 Proceedings of the 2011 international conference on Applications of evolutionary computation - Volume Part II
Can code polymorphism limit information leakage?
WISTP'11 Proceedings of the 5th IFIP WG 11.2 international conference on Information security theory and practice: security and privacy of mobile devices in wireless communication
Biological realms in computer science
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software
Study on unified metamodeling framework based on down-up mechanism
CSCWD'05 Proceedings of the 9th international conference on Computer Supported Cooperative Work in Design II
Subjunctive interfaces in exploratory e-learning
WM'05 Proceedings of the Third Biennial conference on Professional Knowledge Management
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Extensions and variations on construction of autoreplicators in typogenetics
ECAL'05 Proceedings of the 8th European conference on Advances in Artificial Life
Towards understanding meme media knowledge evolution
Proceedings of the 2005 international conference on Federation over the Web
Benefits of subjunctive interface support for exploratory access to online resources
IHI'04 Proceedings of the 2004 international conference on Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets
Computer Languages
Employing emotions to drive plot generation in a computer-based storyteller
Cognitive Systems Research
Laguerrian eigenvalue problems and Wright functions
Mathematical and Computer Modelling: An International Journal
Fifty years of research in artificial intelligence
Annual Review of Information Science and Technology
Nested Recurrence Relations with Conolly-like Solutions
SIAM Journal on Discrete Mathematics
An undecidable nested recurrence relation
CiE'12 Proceedings of the 8th Turing Centenary conference on Computability in Europe: how the world computes
Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity
A framework for the study of external representations in collaborative design settings
International Journal of Human-Computer Studies
On the search for a level-agnostic modelling language
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
The emergence of choice: Decision-making and strategic thinking through analogies
Information Sciences: an International Journal
Information-Knowledge-Systems Management - Complex Socio-Technical Systems --Understanding and Influencing Causality of Change
| Hi-index | 0.06 |
From the Publisher:Winner of the Pulitzer Prize, this book applies Godel's seminal contribution to modern mathematics to the study of the human mind and the development of artificial intelligence.