![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
6th ICTAI 1994: New Orleans, Louisiana, USA
- Sixth International Conference on Tools with Artificial Intelligence, ICTAI '94, New Orleans, Louisiana, USA, November 6-9, 1994. IEEE Computer Society 1994, ISBN 0-8186-6785-0
AI Languages, Software Engineering and Object Oriented Systems
- Edward Pershits, Ryan Stansifer
:
Solving Diagramless Crossword Puzzles. 4-10 - Jonathan I. Maletic, Robert G. Reynolds:
A Tool to Support Knowledge Based Software Maintenance: The Software Service Bay. 11-17 - James C. Browne, E. Allen Emerson, Mohamed G. Gouda, Daniel P. Miranker, Aloysius K. Mok, Roberto J. Bayardo Jr., Sarah E. Chodrow, David Gadbois, F. Furman Haddix, Thomas W. Hetherington, Lance Obermeyer, Duu-Chung Tsou, Chih-Kan Wang, Rwo-Hsi Wang:
A New Approach to Modularity in Rule-Based Programming. 18-25 - Betty H. C. Cheng, Enoch Y. Wang, Robert H. Bourdeau:
A Graphical Environment for Formally Developing Object-Oriented Software. 26-32 - Li Li, Barrett R. Bryant:
Parsing Unification Categorial Grammar with Object-Oriented Knowledge. 33-39
Intelligent Strategies for Scheduling and Planning
- Hsien-Cheng Lin, Ching-Chi Hsu:
An Interactive Train Scheduling Workbench Based on Artificial Intelligence. 42-48 - Carla P. Gomes, Austin Tate, Lyn C. Thomas:
A Distributed Scheduling Framework. 49-55 - Adele E. Howe, Robert St. Amant, Paul R. Cohen:
Integrating Statistical Methods for Characterizing Causal Influences on Planner Behavior over Time. 56-62 - Robin Cohen, Bruce Spencer, Pat Hoyt:
Designing a Tool to Allow Updates during Plan Recognition - Challenges and Applications. 63-70 - Pang C. Chen:
Adaptive Robot Path Planning in Changing Environments. 71-77
Industrial Track I
- Raman Rajagopalan:
The Figure Understander: A Tool for the Integration of Text and Graphical Input to a Knowledge Base. 80-87 - Carlos A. Coello Coello, Michael Rudnick, Alan D. Christiansen:
Using Genetic Algorithms for Optimal Design of Trusses. 88-94 - Cédric Gégout, Bernard Girau, Fabrice Rossi
:
NSK, an Object-Oriented Simulator Kernel for Arbitrary Feedforward Neural Networks. 95-104 - Erh-Chun Yeh, Ying Sun, S. S. Venkata, Z. Sumic:
Design by Expectation: A Framework for Engineering Design Optimization. 105-111 - Myron Lewellen, Ramesh Ravula, Rodney Swab, Bruce Pratt:
The Rail Yard Manager. 112-119
Logic & Constraint Programming I
- J. H. M. Lee, T. W. Lee:
A WAM-Based Abstract Machine for Interval Constraint Logic Programming. 122-128 - Jordi Tubella, Antonio González
:
A Partial Breadth-First Execution Model for Prolog. 129-137 - Spiro Michaylov:
Skeletons and Techniques for the Systematic Development of Constraint Logic Programs. 138-144 - Arvind K. Bansal, P. V. Lokam, M. N. Ghandikota:
A Formal Associative Model of Logic Programming and its Abstract Instruction Set. 145-151
Neural Networks
- Rüdiger W. Brause:
Cascaded Vector Quantization by Non-linear PCA Network Layers. 154-160 - Chih-Chou Chiu, Joseph J. Pignatiello Jr., Deborah F. Cook:
Response Surface Methodology for Optimal Neural Network Selection. 161-167 - Randy B. Cleary, Peggy Israel:
A Resonance Correlation Network with Adaptive Fuzzy Leader Clustering. 168-174 - Ting Chen:
Artificial Neural Networks for Motion Analysis. 175-180 - Minesh B. Anim, Shashi Shekhar:
Customizing Parallel Formulations of Backpropagation Learning Algorithm to Neural Network Architectures : A Summary of Results. 181-189
Fuzzy Systems
- Y. Tsukamoto:
Some Issues of Reasoning in Fuzzy Control: Principle, Practice, and Perspective. 192-196 - V. C. Zambenedetti, Shuta Murakami:
Application of Fuzzy Modeling to Power Plant Generator Control. 197-204 - Kazuo Tanaka:
Advanced Fuzzy Control of a Trailer Type Mobile Robot - Stability Analysis and Model-Based Fuzzy Control. 205-211 - Shun'ichi Tano, Wataru Okamoto, Toshiharu Iwatani, Atsushi Inoue, Ryosuke Fujioka:
Three-layered Fuzzy Inference and Self-wondering Mechanism as Natural Language Processing Engine of FLINS. 212-218 - Motohide Umano, Itsuo Hatono, Hiroyuki Tamura:
Fuzzy Expert System Shells. 219-225
Panel 2: Natural Language Processing Tools & Environments: The Field in Perspective
- Bill Z. Manaris:
Natural Language Processing Tools and Environments: The Field in Perspective. 228 - Fernando Gomez:
Knowledge Acquisition from Real-World Texts: Some Lessons Learned. 229-230 - Risto Miikkulainen:
Integrated Connectionist Models: Building AI Systems on Subsymbolic Foundations. 231-232 - Robert L. Oakman:
The Evolution of Intelligent Writing Assistants: Trends and Future Prospects. 233-234 - Paul S. Jacobs:
Text-Based Systems and Information Management: Artificial Intelligence Confronts Matters of Scale. 235-236 - Brian M. Slator:
Tools for Managing Stories and Questions. 237-238
Keynote Address
- Larry H. Reeker:
Tools for Representing and Managing Knowledge: Some Practical Requirements and Suggestions. 240-244
Natural Language Processing
- Marwan Shaban:
Using Shared-Packed Forests in a GB Parser. 246-252 - Stephanos E. Michos, Nikos Fakotakis, George K. Kokkinakis:
A Novel Method for Parsing Complex Sentences in Syntactically Free Languages. 253-259 - Bill Z. Manaris, Robert Glanville, Timothy E. Gillis:
Developing Natural Language Interfaces Through NALIGE. 260-266 - Dominique Archambault, Jean-Claude Bassano:
A Neural Network for Supervised Learning of Natural Language Grammar. 267-273
Strategies for AI Development
- Hung-Chin Jang:
A Knowledge-Based Analyzer for Requirements Specification Analysis. 276-282 - John R. R. Leavitt, Deryle W. Lonsdale, Kevin Keck
, Eric Nyberg:
Tooling the Lexicon Acquisition Process for Large-Scale KBMT. 283-289 - Benjamin W. Wah, Yi Shang:
A Comparative Study of IDA*-Style Searches. 290-296 - Jeng-Rung Chen, Albert Mo Kim Cheng:
Predicting the Response Time of Real-Time Rule-Based Programs with Variable-Expression Assignments. 297-303 - Philippe Marti, Michel Rueher:
Solving Constraints over the Reals - A Multi-Solver Approach. 304-310
AI Applications
- Prabhas Chongstitvatana:
Vision-based Behavioural Modules for Robotic Assembly Systems. 312-316 - Da-Yu Liu, Yoshinao Aoki:
An Attempt to Apply the Dividing and Composing Method to Various Frames of Chinese Flower and Bird Panting. 317-324 - A. Gruber, Jürgen Fent, W. Fröchtenicht, Christian Kiesling, J. Möck, P. Ribarics, D. Goldner, Hermann Kolanoski, T. Krämerkämper:
A Neural Network Architecture for the Second Level Trigger in the H1-Experiment at the Electron Proton Collider HERA. 325-331 - Jun Wang, Guang Wu:
Recurrent Neural Networks for Synthesizing Linear Control Systems via Pole Placement. 332-338 - Nestor Rychtyckyj:
Classification in DLMS Utilizing a KL-ONE Representation Language. 339-345
Panel 3: Tools with AI in the Government
- Nort Fowler, Peter Friedland, Alan Meyrowitz, David Hislop, Morton Hirshberg, Gio Wiederhold, Oscar Firschein:
Tools with AI in the Government. ICTAI 1994: 345
Keynote Address
- Harold Szu:
Intelligent Neural Networks using Smart Wavelets Preprocessing. 348-349
Intelligent Data Bases
- Gang Zhou, Jason Tsong-Li Wang, Peter A. Ng:
A Knowledge-Based Tutoring System for SQL Programming. 352-358 - Kazumasa Yokota, Hiroshi Tsuda, Toshihiro Nishioka, Satoshi Tojo:
Query Processing for Partial Information Databases in QUIXOTE. 359-365 - Xubo Zhang, Z. Meral Özsoyoglu:
Providing Semantic Intelligent Answers to Recursive Queries. 366-374 - Wei Li, Ningchuan Shen, Ju Wang:
R-calculus: A Logical Approach for Knowledge Base Maintenance. 375-381 - F.-Y. Villemin, A. Paoli:
Knowledge-based Querying. 382-388
AI Algorithms, Genetic Algorithms
- Jason Tsong-Li Wang, Kaizhong Zhang, Gung-Wei Chirn:
Approximate Graph Matching Using Probabilistic Hill Climbing Algorithms. 390-396 - Christian Bessière, Jean-Charles Régin:
An Arc-Consistency Algorithm Optimal in the Number of Constraint Checks. 397-403 - Leuo-hong Wang, Cheng-Yan Kao, Ming Ouhyoung
, Wen-Chin Chen:
Using an Annealing Genetic Algorithm to Solve Global Energy Minimazation Problem. 404-410 - Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda
, Enzo Veiluva:
GATTO: An Intelligent Tool for Automatic Test Pattern Generation for Digital Circuits. 411-417 - Philippe Collard, Jean-Luc Ségapeli:
Using a Double-based Genetic Algorithm on a Population of Computer Programs. 418-424
Logic & Constraint Programming II
- Bertrand Neveu, Pierre Berlandier:
Maintaining Arc Consistency through Constraint Retraction. 426-431 - Michael J. Dent, Robert E. Mercer:
Minimal Forward Checking. 432-438 - Tibor Kökény:
A New Arc Consistency Algorithm for CSPs with Hierarchical Domains. 439-445 - J. H. M. Lee, V. W. L. Tam:
Towards the Integration of Artificial Neural Networks and Constraint Logic Programming. 446-452
Learning & Knowledge Acquisition
- Marie desJardins:
Knowledge Acquisition Techniques for a Military Planning System. 454-460 - Engelbert Mephu Nguifo
:
Galois Lattice: A Framework for Concept Learning-Design, Evaluation and Refinement. 461-467 - Ning Zhong, Setsuo Ohsuga:
IIBR-A System for Managing/Refining Structural Characteristics Discovered from Databases. 468-475 - Kamal M. Ali, Clifford Brunk, Michael J. Pazzani:
On Learning Multiple Descriptions of a Concept. 476-483 - Manuela M. Veloso, Daniel Borrajo
:
Learning Strategy Knowledge Incrementally. 484-490
Information Modeling & Reasoning Techniques
- Maroua Bouzid, François Charpillet, Pierre Marquis, Jean Paul Haton:
Assumption-Based Truth Maintenance in Precense of Temproal Assertions. 492-498 - Aldo Franco Dragoni
, Paolo Puliti:
Distributed Belief Revision versus Distributed Truth Maintenance. 499-505 - Lode Missiaen:
Discrete Event Simulation using Event Calculus. 506-512 - Alfonso Gerevini, Lenhart K. Schubert, Stephanie Schaeffer:
The Temporal Reasoning Tools TimeGraph I-II. 513-520 - Abdel-Illah Mouaddib, François Charpillet, Jean Paul Haton:
GREAT: A Model of Progressive Reasoning for Real-Time Systems. 521-527
Industrial Track II
- Portia J. Harris, George W. Heburn:
Intelligent Tools for Environmental Tactical Decision Aids. 530-533 - Raymond A. Paul:
Metrics Based Classification Trees for Software Test Monitoring and Management. 534-540 - Ramzi Guetari, Frédéric Piard:
An Object Oriented Method of Analysis, Specification and Design for Industrial Information Systems. 541-547 - Akhtar Jameel:
Experiments with Various Recurrent Neural Network Architectures for Handwritten Character Recognition. 548-554 - Philippe Charman:
A Constraint-based Approach for the Generation of Floor Plans. 555-561
Uncertainty Management, Fuzzy Logic
- Eiji Uchino, Takeshi Yamakawa:
Neo-Fuzzy-Neuron Based New Approach to System Modeling, with Application to Actual Systems. 564-570 - Richard Fox, John R. Josephson:
Peirce: A Tool for Abductive Inference. 571-577 - Peter Haddawy, Joel Jacobson, Charles E. Kahn Jr.:
An Educational Tool for High-Level Interaction with Bayesian Networks. 578-584 - S. Arnone, M. Dell'Orto, Andrea Tettamanzi
:
Toward a Fuzzy Government of Genetic Populations. 585-591
Distributed & Cooperative AI, Information Systems
- Antonio S. Fabiano, Stefano A. Cerri:
Conceptual Driven Search Among Distributed Knowledge Sources. 594-600 - Khaled Ghédira:
Distributed Simulated Re-annealing for Dynamic Constraint Satisfaction Problems. 601-607 - Leonard Myers, Jens Pohl:
ICDM: Integrated Cooperative Decision Making-In Practice. 608-614 - Scott D. Anderson, Adam Carlson, David L. Westbrook, David M. Hart, Paul R. Cohen:
Tols for Experiments in Planning. 615-623 - C. Vasudevan:
An Experience-Based Approach to Software Project Management. 624-630
Expert Systems
- Christopher J. Merz, Michael J. Pazzani:
Parameter Tuning for the MAX Expert System. 632-639 - Trent Jaeger, Atul Prakash, Masayuki Ishikawa:
A Framework for Automatic Improvement of Workflows to Meet Performance Goals. 640-646 - Tolety Siva Perraju, Garimella Uma, Bandreddi E. Prasad:
A Scheme for Knowledge Representation, Verification, and Reasoning in Real Time Asynchronous Production Systems. 647-653 - J. W. Guan, Z. Guan, David A. Bell:
A Framework for Fault Diagnosis in Distributed Expert Systems. 654-660 - A. Laribi, S. A. Laribi:
An Intelligent System to Facilitate the Diagnosis of Adverse Drug Reactions. 661-666
Poster Session
- Carl G. Wagner:
Imprecise Probability and Expert Forecasting. 668-671 - Hisashi Shimodaira:
A Weight Value Initialization Method for Improving Learning Performance of the Back Propagation Algorithm in Neural Networks. 672-675 - Bing Liu:
Integrating Rules and Constraints. 676-679 - Pierre Lim:
Experiences in Using Prolog to Develop a Practical Constraint Solver. 680-683 - Yusuf Wilajati Purna, Takahira Yamaguchi:
MODEST: A Model-Based Diagnostic Expert System. 684-687 - Stephen V. Kowalski, Dan I. Moldovan:
Explicit Versus Implicit Set-Covering for Supervised Learning. 688-691 - Shifu Chen, Bin Hu:
A New Generation of Intelligent Punching Environment for Computerized Embroidery. 692-695 - Shifu Chen, Dianxiang Xu:
KBMDL: A Knowledge Based Model Description Language for Decision Support. 696-699 - Ray H. Kemp, S. P. Smith:
Using Planning Techniques to Provide Feedback in Interactive Learning Environments. 700-703 - Pedro M. Domingos:
The RISE System: Conquering without Separating. 704-707 - Isambo Karali, Constantin Halatsis:
A Practical Module System for Logic Programming and its Semantics. 708-711 - Ta-Cheng Yu, Lawrence J. Henschen:
Integrating External Functions in an Object Oriented Reasoning System. 712-715 - Jean-François Arcand:
An Artificial Neural Network for the Ergonomic Evaluation of a Human-Computer Interface. 716-719 - José Ramón Zubizarreta Aizpuru, Craig Jones:
Joining Contextual Information to the Intervention in Natural Language Interfaces. 720-723 - Ioannis Hatzilygeroudis, Han Reichgelt:
The Inheritance Mechanism of a System Integrating Logic in Objects. 724-727 - Randall J. Calistri-Yeh:
Iterative Strengthening: An Algorithm for Generating Anytime Optimal Plans. 728-731 - Kenichi Yoshida:
User Command Prediction by Graph-Based Induction. 732-735 - M. Tomasena:
Model-Based Identification of Primary Causes. 736-739 - Ron Kohavi, George H. John, Richard Long, David Manley, Karl Pfleger:
MLC++: A Machine Learning Library in C++. 740-743 - Annie S. Wu, Robert K. Lindsay, Michael D. Smith:
Studies on the Effect of Non-coding Segments on the Genetic Algorithm. 744-747 - Weon Sam Chung, Rafael A. Perez:
The Schema Theorem Considered Insufficient. 748-751 - Yuriko Nomura, Masahiko Iwamoto, Toru Yamanouchi, Masanobu Watanabe:
A Heuristics Guided Scheduling Framework for Domains with Complex Conditions. 752-755 - César Santos Silva, Alexandre Bernardino, Carlos A. Pinto-Ferreira:
Interleaving Real-Time Multi-Agent Planning and Execution: An Application. 756-759 - Seung Soo Han, Gary S. May:
Modeling the Plasma Enhanced Chemical Vapor Deposition Process Using Neural Networks and Genetic Algorithms. 760-763 - Adele E. Howe, Aaron D. Fuegi:
Methods for Finding Influences on Program Failure. 764-767 - Jan Vanthienen
, Geert Wets:
Restructuring and Optimizing Knowledge Representations. 768-771 - Jean Pierre Fournier:
Docile Agents to Process Natural Language. 772-775 - Didier Gemmerlé:
Object Reconstruction using the Cooperation of 3D Segments and 3D Facets Information. 776-779 - Sunita Patil, Martin O. Hofmann:
Fuzzy Qualitative Diagnosis. 780-783 - Emmanuel Chailloux, Christian Codognet, Philippe Codognet:
Finite Domain Constraints in the ML Functional Language. 784-787 - Jeffrey A. Goldman:
Pattern Theoretic Knowledge Discovery. 788-791 - Bruno Errico, Gabriele Novembri:
KAAD: A Support System for Architectural Design. 792-795 - Rajiv Khosla, Tharam S. Dillon:
Constructs for Building Complex Symbolic-Connectionist Systems. 796-799 - Michael Braunwarth, Abdelouahab Mekaouche, Jean-Claude Bassano:
DIALECT2: An Information Retrieval System Based on Distributed Artificial Intelligence Tools. 800-803 - Pierre Baptiste, Bruno Legeard, Hamza Zidoum:
Sequences Constraint Solving in Constraints Logic Programming. 804-807 - Alain Filbois:
Combining Geometric and Photometric Information to Find Lines from Step Edge Detection. 808-811 - Christos Nikolopoulos:
Using Classifier Systems to Design Neural Nets. 812-815 - Tu Bao Ho:
A Method for Organizing Knowledge Bases in the Hierarchical Form. 816-819 - Christoph F. Eick, Yeong-Joon Kim, Nicola Secomandi:
Enhancing Diversity for a Genetic Algorithm Learning Environment for Classfication Tasks. 820-823 - Scott Finnerty, Sandip Sen:
Simulated Annealing Based Classfication. 824-827 - Bertrand Daniel Dunay:
Context Free Language Induction with Genetic Programming. 828-831 - Gianni Viardo Vercelli, Francesco Giuffrida, A. Rolla, R. Toracca, Pietro Morasso:
NAVNEX: A Hybrid System which Learns Navigation Situations in Real Time. 832-835 - Agnar Aamodt:
A Knowledge Representation System for Integration of General and Case-Specific Knowledge. 836-839
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.