| 1995 | A formal approach to the analysis of priorities of imprecise conflicting requirements. John Yen, Xiaoqing Frank Liu |
| 1995 | A formal semantics for mOPS5. Herbert Groiss |
| 1995 | A hybrid genetic algorithm for the identification of metabolic models. John Yen, David Randolph, Bogju Lee, James C. Liao |
| 1995 | A hybrid knowledge representation model in a natural language interface to MS-DOS. Stephanos E. Michos, George D. Magoulas, Nikos Fakotakis |
| 1995 | A knowledge-based approach to requirements analysis. Alan Liu, Jeffrey J. P. Tsai |
| 1995 | A knowledge-based system for redundancy resolution and path planning, using self-motion topology of redundant manipulators. Kubilay Kaan Aydin, Erol Kocaoglan |
| 1995 | A method for partial-memory incremental learning and its application to computer intrusion detection. Marcus A. Maloof, Ryszard S. Michalski |
| 1995 | A method of selecting similar learning data in the prediction of time series using neural networks. Hisashi Shimodaira |
| 1995 | A mobile robot that recognizes people. Carol Wong, David Kortenkamp, Mark Speich |
| 1995 | A spectral multi-resolution image encoding network. Rüdiger W. Brause, Jürgen Glitsch |
| 1995 | A state network approach to dynamic 3-D visualization. Sang-Young Cho, Phillip C.-Y. Sheu, K. H. (Kane) Kim, Larry J. Peterson, D. P. Yu |
| 1995 | Accelerating partial order planners by improving plan and goal choices. Lenhart K. Schubert, Alfonso Gerevini |
| 1995 | AgenTalk: describing multiagent coordination protocols with inheritance. Kazuhiro Kuwabara, Toru Ishida, Nobuyasu Osato |
| 1995 | An agent-based distributed multimedia service environment. Michael Weiss, Tom Gray, Ariana Diaz |
| 1995 | An artificial neural network for the design of an adaptive multimodal interface. Jean-François Arcand, Christophe Ramstein |
| 1995 | An effective algorithm for incompatibility abduction problems. Béchir el Ayeb, Shengrui Wang |
| 1995 | An efficient hardware architecture to support complex fuzzy reasoning. Giuseppe Ascia, Vincenzo Catania |
| 1995 | An induction system that learns programs in different programming languages using genetic programming and logic grammars. Man Leung Wong, Kwong-Sak Leung |
| 1995 | An object-oriented toolkit for evolutionary algorithms. Pawel A. Stefanski, H. Hadon Nash, Kenneth A. De Jong |
| 1995 | Analysis of the learning model for KYDON system. J. Sukarno Mertoguno, Nikolaos G. Bourbakis |
| 1995 | BQM: a system integrating logic, objects, and non-monotonic reasoning. Nicola Leone, Pasquale Rullo |
| 1995 | CDM: an approach to learning in text categorization. Jeffrey L. Goldberg |
| 1995 | Chi2: feature selection and discretization of numeric attributes. Huan Liu, Rudy Setiono |
| 1995 | Chirico-a framework for computerization of medical practice guidelines. Clifton Davis, Christoph F. Eick, Balasubramanian Krishnamurthy, Ashish Shah, Lee Wanke |
| 1995 | Development of a feature based expert manufacturing process planner. Utpal Roy, Balaji Bharadwaj, Anand Chavan, Chilukuri Krishna Mohan |
| 1995 | Extending GENET for non-binary CSP's. Jimmy Ho-Man Lee, Ho-fung Leung, Hon-Wing Won |
| 1995 | Fast retrieval of electronic documents in digital libraries. Jason Tsong-Li Wang, Chia-Yo Chang |
| 1995 | GRG: knowledge discovery using information generalization, information reduction, and rule generation. Ning Shan, Howard J. Hamilton, Nick Cercone |
| 1995 | Genetic algorithms as a tool for restructuring feature space representations. Haleh Vafaie, Kenneth A. De Jong |
| 1995 | Genetic operators in a dual genetic algorithm. Philippe Collard, Cathy Escazut |
| 1995 | Geographical route planning based on uncertain knowledge. Makoto Suzuki, Dai Araki, Akira Higashide, Teruaki Suzuki |
| 1995 | High performance algorithms for object recognition problem by multiresolution template matching. Lakshman Prasad, S. Sitharama Iyengar |
| 1995 | High speed fuzzy learning machine with guarantee of global minimum and its applications to chaotic system identification and medical image processing. Eiji Uchino, Takeshi Yamakawa |
| 1995 | Integrating object-oriented requirements specifications with formal notations. Jonathan Lee, Jiann-I Pan, Wei T. Huang |
| 1995 | Intelligent control of vehicles: preliminary results on the application of learning automata techniques to automated highway system. Cem Ünsal, John S. Bay, Pushkin Kachroo |
| 1995 | Learning from hotlists and coldlists: towards a WWW information filtering and seeking agent. Michael J. Pazzani, Larry Nguyen, Stefanus Mantik |
| 1995 | MINOS: a constraints based tool for the HyperNets. Pascal Yim, Arnaud Lefort, Agnes Hebrard |
| 1995 | Metrics-guided reuse. Raymond A. Paul |
| 1995 | Monitoring progress with dynamic programming envelopes. Robert St. Amant, Yoshitaka Kuwata, Paul R. Cohen |
| 1995 | Multiagent planning and plan execution. Richard Leow, Nandan Parameswaran |
| 1995 | Multiobjective design optimization of counterweight balancing of a robot arm using genetic algorithms. Carlos A. Coello Coello, Alan D. Christiansen, Arturo Hernández Aguirre |
| 1995 | Neural network control of a three-link leg. Peggy Israel Doerschuk, Vinh D. Nguyen, Andrew L. Li |
| 1995 | Noise handling with extension matrices. Xindong Wu, Johan Krisár, Petter Måhlén |
| 1995 | On using logic synthesis for supervised classification learning. Jeffrey A. Goldman, Mark L. Axtell |
| 1995 | PC master production scheduling system with task/resource/quantity selection heuristics. Shigeru Shiina, Masazumi Yoshikawa, Toru Yamanouchi, Masanobu Watanabe |
| 1995 | Path consistency revisited. Moninder Singh |
| 1995 | Performance evaluation of attribute-oriented algorithms for knowledge discovery from databases. Colin L. Carter, Howard J. Hamilton |
| 1995 | Plan representations for picking up trash. R. James Firby, Peter N. Prokopwics, Michael J. Swain |
| 1995 | Planning responses in reaction to user feedback. Susan M. Haller, Syed S. Ali |
| 1995 | Progressive rules: a method for representing and using real-time knowledge. Pedro M. Domingos, Ernesto M. Morgado |
| 1995 | Querying multimedia information systems using SQL. Sherry Marcus |
| 1995 | Railway scheduling system using repair-based approach. Te-Wei Chiang, Hai-Yen Hau |
| 1995 | Reasoning about nuclear physics processes. Sri Hartati, Bradford G. Nickerson, George R. DeMille |
| 1995 | Restructuring and simplifying rule bases. Jan Vanthienen, Elke Dries |
| 1995 | SciAgents-an agent based environment for distributed, cooperative scientific computing. Tzvetan T. Drashansky, Anupam Joshi, John R. Rice |
| 1995 | Selective indexing speeds production systems. Lance Obermeyer, Daniel P. Miranker, David A. Brant |
| 1995 | Seventh International Conference on Tools with Artificial Intelligence, ICTAI '95, Herndon, VA, USA, November 5-8, 1995 |
| 1995 | Speech recognition in the Informedia Digital Video Library: uses and limitations. Alexander G. Hauptmann |
| 1995 | Statistical generalization of performance-related heuristics for knowledge-lean applications. Arthur Ieumwananonthachai, Benjamin W. Wah |
| 1995 | Systematic generation of very hard cases for graph 3-colorability. Romulus Dan Vlasie |
| 1995 | Tactical route planning: new algorithms for decomposing the map. John R. Benton, S. Sitharama Iyengar, Weian Deng, Nathan E. Brener, V. S. Subrahmanian |
| 1995 | The selection of edge detectors using local image structure. Djemel Ziou, Abder Koukam |
| 1995 | Tools for detecting dependencies in AI systems. Matthew D. Schmill, Tim Oates, Paul R. Cohen |
| 1995 | Tools for the definition and enforcement of dynamic constraints. Stefano Odoardi, Christoph F. Eick |
| 1995 | Toolset to support a systematic strategy for AI development. Jawed Siddiqi, Ian C. Morrey |
| 1995 | Towards positive-breakdown radial basis function networks. Sheng-Tun Li, Ernst L. Leiss |
| 1995 | Two-way induction. Pedro M. Domingos |
| 1995 | Understanding natural language requirement descriptions for telecommunication services. Yoshizumi Kobayashi, Hiroshi Enoki, Tadashi Ohta |
| 1995 | Using case-based reasoning as a reinforcement learning framework for optimisation with changing criteria. Daniel Dajun Zeng, Katia P. Sycara |
| 1995 | Using influence diagrams for software risk analysis. Chye-Lin Chee, Vikram Vij, C. V. Ramamoorthy |
| 1995 | VIM film system. Nikolay N. Mirenkov, Tatiana Mirenkova |