default search action
2nd (IC)TAI 1990: Herndon, VA, USA, USA
- Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, TAI 1990, Herndon, VA, USA, November 6-9, 1990. IEEE Computer Society 1990, ISBN 0-8186-2084-6
- Fumio Mizoguchi:
The state-of-art AI research in Japan. - Peiya Liu:
Goal-oriented behavior in autonomous systems. 2-8 - Qing Xue, Phillip C.-Y. Sheu:
Collision-free path planning for a shape-changeable mobile robot in a 3-dimensional environment. 9-15 - Heikki Hyötyniemi:
Minor moves-global results: robot trajectory planning. 16-22 - Scott H. Clearwater, Foster J. Provost:
RL4: a tool for knowledge-based induction. 24-30 - Jianping Zhang:
A method that combines inductive learning with exemplar-based learning. 31-37 - Suresh Subramanian, Eugene C. Freuder:
Rule compilation from constraint-based problem solving. 38-47 - Kirk Twardowski:
Implementation of a genetic algorithm based associative classifier system (ACS). 48-54 - L. Ümit Yalçinalp, Leon Sterling:
Building embedded languages and expert system shells in Prolog. 56-62 - Zijian Zheng, Wei Li:
An introduction to KEDE-A hybrid knowledge engineering development environment. 63-69 - Jeffrey J. P. Tsai, Thomas J. Weigert, Hung-Chin Jang:
A hybrid knowledge representation as a basis of requirement specification and reasoning. 70-76 - Mamdouh H. Ibrahim, Scott W. Woyak:
An object-oriented environment for multiple AI paradigms. 77-83 - Sandro Bologna, Eyvind Ness, Terje Sivertsen:
Dependable knowledge-based systems development and verification: what we can learn from software engineering and what we need. 86-95 - Takefumi Yamazaki:
Automatic elicitation of interactive rules from data with exceptions using TMS. 96-102 - Aïda Batarekh, Alun D. Preece, Anne Bennett, Peter Grogono:
Specification of expert systems. 103-109 - Fano Ramparany, M.-S. Doize, C. Jullien:
ACKnowledge project: A framework for knowledge acquisition techniques integration. 110-116 - Stanley C. Ahalt, Prakoon Chen, Cheng-Tao Chou:
The neural shell: a neural network simulation tool. 118-124 - A. D. P. Green, P. D. Noakes:
ASLANN: a tool for the design of composite neural systems. 125-129 - Sun-Yuan Kung, John A. Vlontzos:
Special purpose array processor implementation of neural networks. 130-137 - Vladimir Cherkassky, Nikolaos Vassilas, Gregory L. Brodt:
Conventional and associative memory-based spelling checkers. 138-144 - Christine Desclaux:
Capturing design and maintenance decisions with MACS. 146-153 - Liang H. Hsu:
Configuration management in the HILDA system. 154-160 - Zhongzhi Shi, Jianming Wu, Hui Sun, Jinxi Xu:
OKBMS: An object-oriented knowledge base management system. 161-166 - Pierre Berlandier:
Constraint driven computations in evolving object databases. 167-172 - Efstratios Sarantinos, Peter Johnson:
Tailoring explanations to the user's level of expertise and domain knowledge. 174-180 - Mark W. Perlin, Peter Gaertner:
A graphical constraint-based production system environment. 181-188 - Hendrik James Antonisse:
Interactive extension of domain datatypes. 189-193 - Markian M. Gooley, Benjamin W. Wah:
Speculative search: An efficient search algorithm for limited memory. 194-200 - John R. R. Leavitt, Eric Nyberg:
The DIBBS blackboard control architecture and its application to distributed natural language processing. 202-208 - Olivier Thibault:
Hardware evaluation of KCM. 209-217 - Qinping Zhao, Bo Li:
M: An approximate reasoning system. 218-221 - Fangqing Zhang, Dayou Liu, Rikun Tang:
High-level reasoning in cooperative knowledge system. 222-228 - G. Krishnan, E. B. Reynolds:
Categorization in supervised neural network learning A computational approach. 230-236 - David Ruby, Dennis F. Kibler:
Learning steppingstones for problem solving. 237-244 - Athanasios V. Vasilakos
, Georgios I. Papadimitriou:
Ergodic discretized estimator learning automata with high accuracy and high adaptation rate for nonstationary environments. 245-253 - Emmanuel Kounalis:
Learning from examples and counterexamples with equational background knowledge. 254-260 - Chen-Kuo Tsao, Wei-Chung Lin:
Constraint propagation neural networks for Huffman-Clowes scene labeling. 262-268 - Sabrina Sestito, Tharam S. Dillon:
Machine learning using single-layered and multi-layered neural networks. 269-275 - Yoshikuni Okawa, Takayuki Suyama:
Parallel computation of neural networks in a processor pipeline with partially shared memory. 276-282 - Wei Kang Tsai, Alexander G. Parlos, Benito Fernández:
An associative memory knowledge base for diagnostic and high level control functions. 283-288 - John Yen:
How could a shell improve the maintainability of expert systems? 290-291 - Sukhan Lee, Judy Chen:
Building models for qualitative prediction of system dynamic behavior. 294-300 - Jiah-Shing Chen, Sargur N. Srihari:
Hypothesis generation in conflict based diagnosis. 301-307 - Henri Beringer, Bruno De Backer:
Diagnosing systems modeled with piecewise linear constraints. 308-313 - Benjamin W. Wah, Lon-Chan Chu:
TCA*-a time-constrained approximate A* search algorithm. 314-320 - Bill P. Buckles, Frederick E. Petry, Rebecca L. Kuester:
Schema survival rates and heuristic search in genetic algorithms. 322-327 - Alan C. Schultz, John J. Grefenstette:
Improving tactical plans with genetic algorithms. 328-334 - William M. Spears, Kenneth A. De Jong:
Using genetic algorithms for supervised concept learning. 335-341 - Robert G. Reynolds:
The control of genetic algorithms using version spaces. 342-348 - Martin Mächler, R. Douglas Martin, Jim Schimert, M. Csoppenszky, Jenq-Neng Hwang:
Projection pursuit learning networks for regression. 350-358 - Subhash C. Kak:
Neural computing with structured information. 359-365 - Andrew Sohn, Jean-Luc Gaudiot:
A connectionist approach to learning legal moves in Tower-of-Hanoi. 366-371 - Hoon heng Teh, Loke-Soo Hsu, Sing-Chai Chan, Kia-Fock Loe:
Temporal neural logic networks. 372-376 - Mark W. Perlin:
Scaffolding the RETE network. 378-385 - Yoshihiko Ohta, Katsumi Inoue:
A forward-chaining multiple-context reasoner and its application to logic design. 386-392 - Timos K. Sellis
Performance of DBMS implementations of production systems. 393-399 - Jack S. Eddy Tan, Manish Maheshwari, Jaideep Srivastava:
Grid Match: a basis for integrating production systems with relational databases. 400-407 - Mehdi T. Harandi, Sanjay Bhansali:
APU: an automatic programmer for UNIX. 410-416 - Luis Miguel, M. H. Kim, C. V. Ramamoorthy:
A knowledge and data base for software systems. 417-423 - Thomas Beck:
A tool system for knowledge-based on-line diagnosis in industrial automation. 424-429 - James R. Kipps:
RACK: a parser generator for AI languages. 430-435 - Thomas A. Montgomery, Edmund H. Durfee:
Using MICE to study intelligent dynamic coordination. 438-444 - Lefteri H. Tsoukalas, R. C. Berkan, Belle R. Upadhyaya, Robert E. Uhrig, R. A. Kisner:
Expert system driven fuzzy control application to power reactors. 445-450 - Rüdiger W. Brause:
Optimal information distribution and performance in neighbourhood-conserving maps for robot control. 451-456 - F. Mateos, P. Basagoiti, G. Pastor, V. Garcia Echabe, D. Matauco, R. Criado, F. Lasheras, J. G. Bellido, J. Randez:
An expert system for contingency analysis in transmission networks. 457-462 - Michael R. Hall, John S. Kaminski, Diane A. Ruddock, Arumugam Kumaran:
A domain-independent routine design tool. 464-470 - Terry D. Escamilla, Dick B. Simmons, Newton C. Ellis:
The management of uncertainty in commercial expert system building tools. 471-477 - Peter C. Nelson, John F. Dillenburg, Lana Dubinsky:
HSAS: a heuristic development tool. 478-484 - T. J. Reynolds, H. H. Teh, Boon Toh Low:
Neural logic programming. 485-491 - Jin-Kao Hao, Jean-Jacques Chabrier:
Combining partial evaluation and constraint solving: a new approach to constraint logic programming. 494-500 - Jürgen Dorn:
TIMEX-a tool for interval-based representation in technical applications. 501-506 - Zhenzhong Li, Dingxing Wang:
A high level compiling implementation of PARLOG based on extended graph rewriting. 507-510 - Shouren Hu, Yaoqing Gao, Zhiyi Hwang, Yungui Ci:
Design and implementation of a parallel logic programming system. 511-518 - Svein Nilsen:
Experiences made using the expert system shell G2. 520-529 - Norihiko Yoshida, Shuji Narazaki:
A cooperation and communication framework for distributed problem solving. 530-536 - Jijian Shi, Ruizhao Yu, Zhijun He:
A tool for building decision-support-oriented expert systems. 537-543 - Cheng-Seen Ho:
Development of a meta-blackboard shell. 544-550 - Janice I. Glasgow:
Artificial intelligence and imagery. 554-563 - D. C. D. Hung, B. C. Cheng:
A new approach for representing and recognition of two-dimensional objects. 564-570 - Nikolaos G. Bourbakis, A. T. Gumahad II:
Knowledge based text character recognition using Fourier transform. 571-576 - Lilly Spirkovska, Max B. Reid:
An empirical comparison of ID3 and HONNs for distortion invariant object recognition. 577-582 - Patrick O. Bobbie, Joseph E. Urban:
A knowledge-driven methodology for eliciting and restructuring software requirements for distributed design. 584-592 - K. G. Heisler, P. E. Johnson, Wei-Tek Tsai, Y. Kasho, J. R. Snyder:
Software representation to support change. 593-602 - J. M. Lin:
Issues on deterministic transformation of logic-based program specification. 603-609 - Robert V. Binder, Jeffrey J. P. Tsai:
KB/RMS: an intelligent assistant for requirement definition. 610-616 - C. K. Yuen, W. F. Wong:
BaLinda Lisp: a parallel list-processing language. 618-624 - Hafedh Mili, Roy Rada:
Regularity: generalizing inheritance to arbitrary hierarchies. 625-631 - José Escamilla, Patrice Jean:
Relationships in an object knowledge representation model. 632-638 - Sang-goo Lee, Lawrence J. Henschen, Ghassan Z. Qadah:
Knowledge-directed query processing in expert database systems. 640-646 - Juzar Motiwalla, Teh Hoon Heng:
Artificial intelligence R&D: the ISS strategy. 647-650 - Hu Ziang, Xiang Rong Ci:
An improved register allocation algorithm for the WAM model. 651-657 - Frank Dehne, Afonso G. Ferreira, Andrew Rau-Chaplin:
A massively parallel knowledge-base server using a hypercube multiprocessor. 660-666 - Tetsuya Higuchi, Tatsumi Furuya, Ken'ichi Handa, Akio Kokubu:
IXM2: a parallel associative processor for semantic net processing-preliminary evaluation. 667-673 - Arvind K. Bansal, Jerry L. Potter:
Exploiting data parallelism for efficient execution of logic programs with large knowledge bases. 674-681 - Peter Bernus, Michael P. Papazoglou:
Knowledge based architecture to integrate heterogeneous distributed information systems. 682-689 - Marcus Thint, Paul P. Wang:
A study of back-error propagation networks in the domain of noisy tactile impressions. 692-698 - Frank Y. Shih, Jenlong Moh, Henry Bourne:
A neural architecture applied to the enhancement of noisy binary images without prior knowledge. 699-705 - Xingui He:
Fuzzy computational reasoning and neural networks. 706-711 - Cris Koutsougeras, George Georgiou, Christos A. Papachristou:
Extending Athena: multiple classes and confidence output values. 712-716 - Hai-Yen Hau:
Decomposition of belief function in hierarchical hypotheses space. 718-724 - Liwu Chang, Rangasami L. Kashyap:
Study of interval-valued belief combination with conflicting evidence. 725-730 - Weiru Liu, Jun Hong, Michael F. McTear:
An extended framework for evidential reasoning systems. 731-737 - Scott A. Musman, Liwu Chang, Lashon B. Booker:
A real time control strategy for Bayesian belief networks with application to ship classification problem solving. 738-744 - Tapio Elomaa, Jyrki Kivinen:
On inducing topologically minimal decision trees. 746-752 - Farokh B. Bastani, Ing-Ray Chen:
Assessment of the reliability of AI programs. 753-759 - Daniel E. Cooke, Ann Q. Gates:
On the application of stratification to requirement specifications. 760-766 - Elisabetta Binaghi, Anna Della Ventura, Anna Rampini, Raimondo Schettini:
A knowledge-based environment for assessment of color similarity. 768-775 - Chin-Liang Chang, Rolf A. Stachowitz, Jacqueline B. Combs:
Validation of nonmonotonic knowledge-based systems. 776-782 - Louis Marinos:
Global knowledge about local dependencies in an integrated database environment. 783-791 - Yong-Qing Cheng, Jing-Yu Yang:
A knowledge-based graphic description tool for understanding engineering drawings. 792-796 - Cezary Z. Janikow, Zbigniew Michalewicz:
A specialized genetic algorithm for numerical optimization problems. 798-804 - Kejitan Dontas, Kenneth A. De Jong:
Discovery of maximal distance codes using genetic algorithms. 805-811 - Jerzy W. Bala, Kenneth A. De Jong:
Generation of feature detectors for texture discrimination by genetic search. 812-818 - John R. Koza:
Genetically breeding populations of computer programs to solve problems in artificial intelligence. 819-827 - Edward H. Freeman:
A2: an agent-oriented programming architecture for multi-agent constraint satisfaction problems. 830-840 - Ghassan Z. Qadah:
Super-TC: an efficient generic algorithm for processing the instantiated transitive-closure queries in deductive database systems. 841-847 - Jeffrey Van Baalen, Robert Nado:
Performing deduction from implicit beliefs. 848-855 - Shan Chi, Jie-Young Juang:
PROFIM: Prolog for image management. 856-862 - John Mylopoulos, Huaiqing Wang, André Kushniruk:
KNOWBEL: a hybrid expert system building tool. 864-870 - Eng Lian Lim, John McCallum, Kwok-Hung Chan:
P-graph-a graph model for anomaly checking of knowledge bases. 871-877 - John Yen, Jonathan Lee, David Hamilton:
Designing verifiable expert systems. 878-884 - Stefan Böttcher:
An inference engine for function free logic programs. 885-890
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: