A society model for office information systems
ACM Transactions on Information Systems (TOIS)
A state transition model for distributed query processing
ACM Transactions on Database Systems (TODS)
An expert system for dynamic scheduling
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
Self-improvement in problem-solving
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
School time table scheduling in Prolog
ACM SIGART Bulletin
Envoys in electronic mail systems
COCS '86 Proceedings of the third ACM-SIGOIS conference on Office information systems
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
On the NP-completeness of cryptarithms
ACM SIGACT News
ACM SIGART Bulletin
ACM SIGSMALL/PC Notes
APL2 implementations of unification
APL '87 Proceedings of the international conference on APL: APL in transition
Graphical interface for logic programming
ACM SIGART Bulletin
Function search from behavioral description of a digital system
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
DBMS with graph data model for knowledge handling
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
An artifical intelligence course in a liberal arts program
ACM SIGCSE Bulletin
Preferences for power in expert systems by novice users
ACM SIGCHI Bulletin
SIGIR '88 Proceedings of the 11th annual international ACM SIGIR conference on Research and development in information retrieval
Computing, research, and war: if knowledge is power, where is responsibility?
Communications of the ACM
Control strategies for two-player games
ACM Computing Surveys (CSUR)
Knowledge based + database = intelligent systems
SIGBDP '90 Proceedings of the 1990 ACM SIGBDP conference on Trends and directions in expert systems
Inductive knowledge acquisition in the domain of computer aided manufacturing and testing
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
A knowledge-based assistant for performance reports
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Airbotics: a look into the future
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
The role of simulation in developing game playing strategies
ANSS '90 Proceedings of the 23rd annual symposium on Simulation
New direction for uncertainty reasoning in deductive databases
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Garbage-further investigations
ACM SIGPLAN Notices
Requirements Validation Through Viewpoint Resolution
IEEE Transactions on Software Engineering
Structural testing of rule-based expert systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Artificial intelligence applications to communication network design with bulk facilities
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Transitive closure algorithms based on graph traversal
ACM Transactions on Database Systems (TODS)
The technology of expert systems: some social impacts
ACM SIGCAS Computers and Society
Reuse of design objects in CAD frameworks
ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
Integrating a breadth-first curriculum with relevant programming projects in CS1/CS2
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Teaching introductory AI from first principles
ACM SIGART Bulletin
Knowledge-level analysis of planning systems
ACM SIGART Bulletin
Assessing computer security vulnerability
ACM SIGOPS Operating Systems Review
Tutorial on artificial intelligence
WSC '85 Proceedings of the 17th conference on Winter simulation
Information Filtering: A New Two-Phase Model Using StereotypicUser Profiling
Journal of Intelligent Information Systems - Special issue: next generation information technologies and systems
Lazy Incremental Learning of Control Knowledge for EfficientlyObtaining Quality Plans
Artificial Intelligence Review - Special issue on lazy learning
An environment for automatic system performance evaluation
WSC '93 Proceedings of the 25th conference on Winter simulation
Application of genetic algorithms to the algebraic simplification of tensor polynomials
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Scalable Global and Local Hashing Strategies for Duplicate Pruning in Parallel A* Graph Search
IEEE Transactions on Parallel and Distributed Systems
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
Interactive feature extraction for a form feature conversion system
SMA '97 Proceedings of the fourth ACM symposium on Solid modeling and applications
Estimating Software Project Effort Using Analogies
IEEE Transactions on Software Engineering
Countrywide automated property evaluation system—CAPES
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Software process validation: quantitatively measuring the correspondence of a process to a model
ACM Transactions on Software Engineering and Methodology (TOSEM)
A knowledge based system for selecting a test methodology for a PLA
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Intelligent simulation environments: identification of the basics
WSC '88 Proceedings of the 20th conference on Winter simulation
A flexible interactive control structure for rule-based systems
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
ADVISOR—an expert system for student advisement
CSC '87 Proceedings of the 15th annual conference on Computer Science
Constructs and evaluations strategies for intelligent speculative parallelism—armageddon revisited
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Two flow routing algorithms for the maximum concurrent flow problem
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Principles of the parallel shape coding with the termination condition
CSC '91 Proceedings of the 19th annual conference on Computer Science
Beyond minimaxing for games with draws
CSC '91 Proceedings of the 19th annual conference on Computer Science
ACM Computing Surveys (CSUR)
PAWIAN - a parallel image recognition system
IEA/AIE '00 Proceedings of the 13th international conference on Industrial and engineering applications of artificial intelligence and expert systems: Intelligent problem solving: methodologies and approaches
False path exclusion in delay analysis of RTL structures
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
SAT and ATPG: algorithms for Boolean decision problems
Logic Synthesis and Verification
A rule-based system for automatic assignment of technicians to service faults
Decision Support Systems
Temporal resolution using a breadth-first search
Annals of Mathematics and Artificial Intelligence
A Knowledge-Based Mesh Generation System for Forging Simulation
Applied Intelligence
Sensor-Based Control Architecture for a Car-Like Vehicle
Autonomous Robots
A Combined Topographical Search Strategy with Ellipsometric Application
Journal of Global Optimization
Reverse Psychologism, Cognition and Content
Minds and Machines
Fuzzy expert systems architecture for image classification using mathematical morphology operators
Information Sciences—Informatics and Computer Science: An International Journal - Special issue: Intelligent information systems and applications
Temporal Reasoning for a Collaborative Planning Agent in a Dynamic Environment
Annals of Mathematics and Artificial Intelligence
Using differential techniques to efficiently support transaction time
The VLDB Journal — The International Journal on Very Large Data Bases
A Model-Based Expert System for Digital System Design
IEEE Design & Test
Artificial Intelligence and Financial Services
IEEE Transactions on Knowledge and Data Engineering
Rule Acquiring Expert Controllers
IEEE Transactions on Knowledge and Data Engineering
MAGIC: A Multiattribute Declustering Mechanism for Multiprocessor Database Machines
IEEE Transactions on Parallel and Distributed Systems
Knowledge Representation and Control in Computer Vision Systems
IEEE Expert: Intelligent Systems and Their Applications
A Search-Based Imaging System for Electromagnetic Nondestructive Testing
IEEE Expert: Intelligent Systems and Their Applications
Chunking in Soar: The Anatomy of a General Learning Mechanism
Machine Learning
Random Seeking: A General, Efficient, and Informed Randomized Scheme for Dynamic Load Balancing
IPPS '96 Proceedings of the 10th International Parallel Processing Symposium
SBIA '02 Proceedings of the 16th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
MultiCAD-GA: A System for the Design of 3D Forms Based on Genetic Algorithms and Human Evaluation
SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence
A Formal Model of Trade-off between Optimization and Execution Costs in Semantic Query Optimization
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
LIME: A System for Learning Relations
ALT '98 Proceedings of the 9th International Conference on Algorithmic Learning Theory
Artificial Intelligence
An ILP Formulation to Optimize Test Access Mechanism in System-on-Chip Testing
ITC '00 Proceedings of the 2000 IEEE International Test Conference
IPPS '98 Proceedings of the 12th. International Parallel Processing Symposium on International Parallel Processing Symposium
Tools and devices supporting the pseudo-exhaustive test
EURO-DAC '90 Proceedings of the conference on European design automation
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Learning to be selective in genetic-algorithm-based design optimization
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
The textbook problem: Winograd's language as a cognitive process
Computational Linguistics
On two recent attempts to show that English is not a CFL
Computational Linguistics - Special issue on mathematical properties of grammatical formalisms
Knowledge and Productivity in Technical Support Work
Management Science
Yet another chart-based technique for parsing ill-formed input
ANLC '94 Proceedings of the fourth conference on Applied natural language processing
Biologically inspired rule-based multiset programming paradigm for soft-computing
Proceedings of the 1st conference on Computing frontiers
Forward chaining for robot and agent navigation using potential fields
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
Syntactic and semantic parsability
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
Models and knowledge acquisition: a workshop proposal
ACM SIGBIO Newsletter
New strategies for complete game trees
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Beyond information searching and browsing: acquiring knowledge from digital libraries
Information Processing and Management: an International Journal - Special issue: An Asian digital libraries perspective
Interagent ties in team-based computational configuration design
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Core architecture optimization for heterogeneous chip multiprocessors
Proceedings of the 15th international conference on Parallel architectures and compilation techniques
A co-operative methodology for automatic solutions to problems in indefinite integral calculus
AIA'06 Proceedings of the 24th IASTED international conference on Artificial intelligence and applications
An elaborated knowledge structure for implementing a virtual inhabitant
AIA'06 Proceedings of the 24th IASTED international conference on Artificial intelligence and applications
Controlling simulation games through rule-based scenarios
Proceedings of the 38th conference on Winter simulation
Retrieval of textured images through the use of quantization and modal analysis
Pattern Recognition
The Use of Cognitive Maps and Case-Based Reasoning for B2B Negotiation
Journal of Management Information Systems
Needs-based analysis of online customer reviews
Proceedings of the ninth international conference on Electronic commerce
Adaptive and restarting techniques-based algorithms for circular packing problems
Computational Optimization and Applications
Exploring interactive stories in an HIV/AIDS learning game: HEALTHSIMNET
Simulation and Gaming
A surrogate variable-based data mining method using CFS and RSM
ACOS'07 Proceedings of the 6th Conference on WSEAS International Conference on Applied Computer Science - Volume 6
Modelling gene functional linkages using yeast microarray data
International Journal of Bioinformatics Research and Applications
Optimal strategy in games with chance nodes
Acta Cybernetica
Using frames for knowledge representation in a CORBA-based distributed environment
Knowledge-Based Systems
Ranking semantic information for e-government: complaints management
OBI '08 Proceedings of the first international workshop on Ontology-supported business intelligence
The prospects for psychological science in human-computer interaction
Human-Computer Interaction
Artificial Intelligence technique for modelling and forecasting of solar radiation data: a review
International Journal of Artificial Intelligence and Soft Computing
Predictive models in the brain
Connection Science
Identifying "Promising" internet business applications using artificial neural networks
AIKED'09 Proceedings of the 8th WSEAS international conference on Artificial intelligence, knowledge engineering and data bases
Dynamic and communicative teaching methods with artificial intelligence techniques support
EE'08 Proceedings of the 5th WSEAS/IASME international conference on Engineering education
Knoesphere: building expert systems with encyclopedic knowledge
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Multi-dimensional heuristic searching
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Artificial thought and emergent mind
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Synthesizing plant controllers using real-time goals
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Automated expert multiexponential biomodeling interactively over the Internet
Computer Methods and Programs in Biomedicine
Cognitive network access using fuzzy decision making
IEEE Transactions on Wireless Communications
The role of fuzzy logic in the management of uncertainty in expert systems
Fuzzy Sets and Systems
What is biomedical informatics?
Journal of Biomedical Informatics
Plan-based control of robotic agents: improving the capabilities of autonomous robots
Plan-based control of robotic agents: improving the capabilities of autonomous robots
A model of two-player evaluation punctions
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Representing databases in frames
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
A model of two-player evaluation punctions
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Representing databases in frames
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Admissible criteria for loop control in planning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
On the NP-ardness of blocks world
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
A new stroke string matching algorithm for stroke-based on-line character recognition
ICASSP'93 Proceedings of the 1993 IEEE international conference on Acoustics, speech, and signal processing: plenary, special, audio, underwater acoustics, VLSI, neural networks - Volume I
PET and CT images registration by means of soft computing and information fusion
BEBI'08 Proceedings of the 1st WSEAS international conference on Biomedical electronics and biomedical informatics
Examining mutation landscapes in grammar based genetic programming
EuroGP'11 Proceedings of the 14th European conference on Genetic programming
Information intensive modeling
MIS Quarterly
Comprehensive mapping of knowledge and information resources: the case of webster
Knowledge and Information Visualization
Review: Artificial intelligence approaches to network management: recent advances and a survey
Computer Communications
Using XQuery for problem solving
Software—Practice & Experience
Hi-index | 0.02 |
The goal of this book is to provide programmers and computer scientists with a readable introduction to the problems and techniques of artificial intelligence (A.I.). The book can be used either as a text for a course on A.I. or as a self-study guide for computer professionals who want to learn what A.I. is all about. The book was designed as the text for a one-semester, introductory graduate course in A.I. In such a course, it should be possible to cover all of the material in the book. I also require that students read ten or fifteen selected papers from the literature so that they become familiar with the way in which A.I. research is conducted. The book can also serve as the text for a one semester undergraduate A.I. course, but it will not be possible to cover all of the material. Chapters 1-3, 5, 7, and 8 describe basic techniques for problem solving and knowledge representation, and so should be covered as completely as possible. Then, with whatever time remains, topics selected from the remaining chapters can be discussed. To use this book effectively, students should have some background in both computer science and mathematics. As computer science background, they should have experience programming and they should feel comfortable with the material in an undergraduate data structures course. They should be familiar with the use of recursion as a program control structure. And they should be able to do simple analyses of the time complexity of algorithms. As mathematical background, students should have the equivalent of an undergraduate course in logic, including predicate logic with quantifiers and the basic notion of a decision procedure. This book contains, spread throughout it, many references to the A.I. research literature. These references are important for two reasons. First, they make it possible for the student to pursue individual topics in greater depth than is possible within the space restrictions of this book. This is the common reason for including references in a survey text. The second reason that these references have been included is more specific to the content of this book. A.I. is a relatively new discipline. In many areas of the field there is still not complete agreement on how things should be done. The references to the source literature guarantee that students have access not just to one approach, but to as many as possible of those whose eventual success still needs to be determined by further research, both theoretical and empirical. Since the ultimate goal of A.I. is the construction of programs that solve hard problems, no study of A.I. is complete without some experience writing programs. Most A.I. programs are currently written in LISP or in a higher-level language based on LISP. But there is no standard dialect of LISP available, so any attempt to include actual LISP code as part of a text will inevitably lead to a great deal of frustration as students find that they cannot run the examples in the book on the machine they are using. For this reason, the algorithms presented in this book are described in sufficient detail to enable students to exploit them in their programs, but they are not expressed in code. A good book on the use of LISP in A.I. (such as [Winston, 1981; Charniak, 1980]) and a manual for the local dialect of LISP that students will be using are necessary supplements to this book.