The Community for Technology Leaders
Proceedings of 1993 IEEE Conference on Tools with Al (TAI-93) (1993)
Boston, MA, USA
Nov. 8, 1993 to Nov. 11, 1993
ISSN: 1063-6730
ISBN: 0-8186-4200-9
TABLE OF CONTENTS

Tools for constraint satisfaction (PDF)

E.C. Freuder , Dept. of Computer Sci., New Hampshire Univ., Durham, NH, USA
pp. 7

Bottom up logic programming as an inference tool (PDF)

D. McAllester , AI Lab., MIT Cambridge, MA, USA
pp. 8

Non-systematic search methods for model finding (PDF)

B. Selman , AT&T Bell Lab., Murray Hill, NJ, USA
pp. 9

Constraint programming languages (PDF)

P. Van Hentenryck , Brown Univ., Providence, RI, USA
pp. 10

Transform coding by lateral inhibited neural nets (PDF)

R.W. Brause , J.W. Goethe-Univ., Frankfurt, Germany
pp. 14-21

Data transformation for learning in feedforward neural nets (PDF)

C. Koutsougeras , Dept. of Comput. Sci. Tulane Univ., New Orleans, LA, USA
pp. 22-29

Neural-Logic Belief Networks-A tool for knowledge representation and reasoning (PDF)

B.T. Low , Basser Dept. of Comput. Sci., Sydney Univ., NSW, Australia
pp. 34-37

The implementation of a first-order logic AGM belief revision system (PDF)

S. Dixon , Basser Dept. of Comput. Sci., Sydney Univ., NSW, Australia
pp. 40-47

Constraint relaxation in distributed constraint satisfaction problems (PDF)

M. Yokoo , NTT Commun. Sci. Lab., Kyoto, Japan
pp. 56-63

Principled animation of artificial intelligence algorithms (PDF)

M. Perlin , Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 78-86

A method for translating CLP(R) rules into objects (PDF)

T.-C. Yu , Dept. of EECS, Northwestern Univ., Evanston, IL, USA
pp. 87-94

Object-oriented programming and frame-based knowledge representation (PDF)

C. Rathke , Inst. fuer Inf., Stuttgart Univ., Germany
pp. 95-98

An interactive consistency maintenance system and its logical framework (PDF)

W. Li , Dept. of Comput. Sci., Beijing Univ. of Aeronaut. & Astronaut., China
pp. 100-107

Enhancing reuse of Smalltalk methods by conceptual clustering (PDF)

R. Jetzelsperger , Software Kinetics Ltd., Stittsville, Ont., Canada
pp. 108-112

Using analogy and formal methods for software reuse (PDF)

J.-J. Jeng , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
pp. 113-116

An intelligent tool for UNIX performance tuning (PDF)

R. Velez , NCR Mexico, Mexico City, Mexico
pp. 118-122

An empirical evaluation of beam search and pruning in BEXA (PDF)

H. Theron , Dept. of Comput. Sci., Stellenbosch Univ., South Africa
pp. 132-139

Probabilistic induction of decision trees and disjunctive normal forms (PDF)

X.-J.M. Zhou , Dept. of Comput. Sci. & Comput. Eng., La Trobe Univ., Bundoora, Vic., Australia
pp. 140-144

A combined object-oriented and logic programming tool for AI (PDF)

M. Jenkins , Dept. of Comput. & Inf. Sci., Univ. of Costa Rica, San Jose, Costa Rica
pp. 152-159

Knowledge representation and reasoning in a system integrating logic in objects (PDF)

I. Hatzilygeroudis , Dept. of Comput. Eng. & Inf., Patras Univ., Greece
pp. 160-167

A fast hill-climbing approach without an energy function for probabilistic reasoning (PDF)

E. Santos , Dept. of Electr. & Comput. Eng., US Air Force Inst. of Technol., Wright-Patterson AFB, OH, USA
pp. 170-179

Generalizing evidence theory to lattices to manage uncertainty (PDF)

S. Guan , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
pp. 180-183

Experimental evaluation of output-based partition testing for expert systems (PDF)

I.A. Zualkernan , Dept. of Comput. Sci. & Eng., Pennsylvania State Univ., State College, PA, USA
pp. 190-197

Illustration of a decision table tool for specifying and implementing knowledge based systems (PDF)

J. Vanthienen , Dept. of Appl. Econ. Sci., Katholieke Univ. Leuven, Belgium
pp. 198-205

Incorporating domain specific knowledge into version space search (PDF)

W. Sverdlik , Dept. of Comput. Sci., Technol. Univ., Southfield, MI, USA
pp. 216-223

Self-adjusting real-time search: a summary of results (PDF)

S. Shekhar , Dept. of Comput. Sci. Dept., Minnesota Univ., Minneapolis, MN, USA
pp. 224-231

Fast hypothetical reasoning using analogy on inference-path networks (PDF)

M. Ishizuka , Dept. of Inf. & Commun. Eng., Tokyo Univ., Japan
pp. 232-239

Short term unit-commitment using genetic algorithms (PDF)

D. Dasgupta , Dept. of Comput. Sci., Stratchclyde Univ., Glasgow, UK
pp. 240-247

A marker-passing algorithm for reference resolution (PDF)

S. Cha , Parallel Knowledge Process. Lab., Univ. of Southern California, Los Angeles, CA, USA
pp. 250-257

CARAMEL: A step towards reflection in natural language understanding systems (PDF)

G. Sabah , Language & Cognition Group, LIMSI-CNRS, Orsay, France
pp. 258-265

QUIXOTE as a tool for natural language processing (PDF)

S. Tojo , Inst. for New Generation Comput. Technol., Tokyo, Japan
pp. 266-270

Management of graphical symbols in a CAD environment: A neural network approach (PDF)

D.S. Yang , Dept. of Comput. Sci., Univ. of Illinois at Urbana-Champaign, IL, USA
pp. 272-279

On features used for handwritten character recognition in a neural network environment (PDF)

A. Jameel , Dept. of Comput. Sci. Xavier Univ. of Louisiana, New Orleans, LA, USA
pp. 280-284

An architecture of neural network for fuzzy teaching inputs (PDF)

H.-M. Lee , Dept. of Electron. Eng., Nat. Taiwan Inst. of Technol., Taipei, Taiwan
pp. 285-288

A language model for parsing very long Chinese sentences (PDF)

H.-H. Chen , Dept. of Comput. Sci. & Inf. Eng., Nat. Taiwan Univ., Taipei, Taiwan
pp. 290-297

Meaning description by SD-Forms and a prototype of a conversational-text retrieval system (PDF)

E. Kawaguchi , Dept. of EE & Comput. Eng., Kyushu Inst. of Technol., Kitakyushu, Japan
pp. 306-310

Beta-Prolog: An extended Prolog with Boolean tables for combinatorial searching (PDF)

N.-F. Zhou , Fac. of Comput. Sci. & Syst. Eng., Kyushu Inst. of Technol., Fukuoka, Japan
pp. 312-319

Evaluating logical queries by means of communicating processes (PDF)

D. Zhang , Dept. of Comput. Sci., California State Univ., Sacramento, CA, USA
pp. 320-324

The application of a multi-modal preferential logic to the design of rational agents (PDF)

H. Shu , Dept. of Comput. Sci. & Bus. Adm., Karlskrona Univ., Ronneby, Sweden
pp. 325-328

Paper web quality profile analysis tool based on artificial neural networks (PDF)

J. Vanhala , Microelectron. Lab., Tampere Univ. of Technol., Finland
pp. 343-346

Robust feature selection algorithms (PDF)

H. Vafaie , Center for Artificial Intelligence, George Mason Univ., Fairfax, VA, USA
pp. 356-363

PARTES: A partitioning scheme for parallel matching (PDF)

S. Gallucci , Dept. of Comput. Sci. Dept., Houston Univ., TX, USA
pp. 374-380

A parallel search-and-learn technique for solving large scale TSP (PDF)

C.P. Ravikumar , Dept. of Electr. Eng., Indian Inst. of Technol., New Delhi, India
pp. 381-388

A research for visual reasoning (PDF)

J. Wang , Inst. of Comput. Technol., Acad. Sinica, Beijing, China
pp. 408-411

Modeling autonomous agents in a knowledge based simulation environment (PDF)

M. Zeller , Res. Inst. for Appl. Knowledge Process., Ulm Univ., Germany
pp. 412-415

HML-An approach for refining/managing knowledge discovered from databases (PDF)

N. Zhong , Res. Center for Adv. Sci. & Technol., Tokyo Univ., Japan
pp. 418-426

A tool for classifying office documents (PDF)

X. Hao , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
pp. 427-434

Sampling issues in generating rules from databases (PDF)

C. Lee , Dept. of Comput. Sci. & Eng., Univ. of Connecticut, Storrs, CT, USA
pp. 435-439

Data analysis in scientific databases (PDF)

F. Mili , Sch. of Eng. & Comput. Sci., Oakland Univ., Rochester, MI, USA
pp. 442-444

On metatheoretic properties of logic-based abductive inference (PDF)

P. Marquis , CRIN-CNRS, Batiment LORIA, Vandoeuvre-les-Nancy, France
pp. 444-445

Parallel processing and hardware support of symbols (PDF)

M.-A. Fukase , RIEC, Tohoku Univ., Sendai, Japan
pp. 450-451

A new metric for self-organizing feature maps allows mapping of arbitrary parallel programs (PDF)

J.W. Meyer , Tech. Inf. 2, Tech. Univ. Hamburg-Harburg, Germany
pp. 452-453

Experiments in distributed constraint satisfaction (PDF)

J.T. Buchanan , Dept. of Comput. Sci., Strathclyde Univ., Glasgow, UK
pp. 454-455

Checking the correctness of mission plans (PDF)

J.A. Allen , NASA Ames Res. Center, Moffett Field, CA, USA
pp. 462-463

A training system shell for the workplace (PDF)

X. Huang , Nat. Res. Council Canada. Ottawa, Ont., Canada
pp. 464-465

An inference browser to verify knowledge bases (PDF)

S.I. Yoo , Dept. of Comput. Sci., Seoul Nat. Univ., South Korea
pp. 466-467

The design and implementation of a rule-based expert system language (PDF)

C.-H. Wu , Dept. of Electr. Eng., Nat. Sun Yat-Sen Univ., Kaohsiung, Taiwan
pp. 468-469

An expert system building tool supporting knowledge compilation and management (PDF)

X. Liu , Dept. of Comput. Sci. Texas A&M Univ., TX, USA
pp. 470-471

Modifying Rete to reason temporally (PDF)

M.A. Maloof , Dept. of Comput. Sci., George Mason Univ., Fairfax, VA, USA
pp. 472-473

Maintaining consistency in a Quantitative Time Manager (PDF)

R. Cervoni , IP-CNR, Nat. Res. Council, Rome, Italy
pp. 474-475

MERIT motifs (PDF)

U. Thiel , Integrated Publiction & Inf. Syst. Inst., Darmstadt, Germany
pp. 482-483

Temporal interpretations of sentences with complement clauses (PDF)

H.-H. Lee , Graduate Inst. of Comput. Sci. & Inf. Eng., Nat. Taiwan Univ., Taipei, Taiwan
pp. 488-490

Concrete browsing of a graphical toolkit library (PDF)

D. Duchier , Dept. of Comput. Sci., Ottawa Univ., Ont., Canada
pp. 491-492

Non-violent programming (PDF)

J.P. Fournier , Limsi, Language & Cognition Group, Orsay, France
pp. 493-494

Author index (PDF)

pp. 499-500
92 ms
(Ver 3.3 (11022016))