IJCAI-97 Schedule

IJCAI-97 Schedule: Index in Order of Tracking No.

J013 Learning Short-Term Weights for GSAT Frank
J017 Locating Faults in Tree-Structured Networks Leckie Dale
J018 A Study of Causal Discovery With Weak Links and Small Samples Dai Korb Wallace
J031 Integrating Models of Discrimination and Characterization for Learning from Examples in Open Domains Davidsson
J045 Reifying Concepts in Description Logics Badea
J052 Depth-bounded Discrepancy Search Walsh
J055 Comparative Analysis of Structurally Different Dynamical Systems De Jong Van Raalte
J057 Automation of Diagrammatic Reasoning Jamnik Bundy Green
J065 On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus Renz Nebel
J072 Corpus-Based Chinese-Korean Abstracting Translation System Li Choi
J079 High Performance ATP Systems by Combining Several AI Methods Denzinger Fuchs Fuchs
J082 An effective learning method for max-min neural networks Teow Loe
J084 Heuristics Based on Unit Propagation for Satisfiability Problems Li Anbulagan
J098 Avoiding Overfitting with BP-SOM Weijters van den Herik van den Bosch Postma
J104 A Cumulative-Model Semantics for Dynamic Preferences on Assumptions Junker
J105 Towards a Complete Classification of Tractability in Allen's Algebra Drakengren Jonsson
J111 Qualitative Analysis of Causal Graphs with Equilibrium Type-Transition Kurumatani Nakamura
J121 Compiling Prioritized Circumscription into Extended Logic Programs Wakaki Satoh
J128 Comparing Random-Starts Local Search with Key-Feature Matching Beveridge Graves Steinborn
J131 Content Ordering in the Generation of Persuasive Discourse Reed Long
J132 Towards Generalized Rule-based Updates Zhang Foo
J139 Constraint Satisfaction over Connected Row Convex Constraints Deville Barette Van Hentenryck
J142 PRISM: A Language for Symbolic-Statistical Modeling Sato Kameya
J149 Reasoning about Action in Polynomial Time Drakengren Bjäreland
J153 An Approximate 0-1 Edge-Labeling Algorithm for Constrained Bin-Packing Problem Lee Trumbo
J157 Convergence time characteristics of an associative memory for natural language processing Collier
J168 Qualitative Temporal Reasoning with Points and Durations Sanchez Morales
J171 An Index Navigator for Understanding and Expressing User's Coherent Interest Ohsawa Yachida
J194 Polynomial Temporal Band Sequences for Analog Diagnosis Loiez Taillibert
J200 Prefixed tableaux systems for modal logics with enriched languages Balbiani Demri
J218 Decision Tree Grafting Webb
J222 Stacked Generalization: when does it work? Ting Witten
J229 A Method of Generating Calligraphy of Japanese Character using Deformable Contours Wang Yamada Seki Itoh
J240 The Competence of Sub-Optimal Theories of Structure-Mapping on Hard Analogies Veale Keane
J253 From Approximate to Optimal Solutions: Constructing Pruning and Propagation Rules Gent Walsh
J262 Chain of Circles for Matching and Recognition of Planar Shapes Chung Ohnishi
J267 Learning Extended Logic Programs Inoue Kudoh
J273 Using Case-Based Reasoning In Interpreting Unsupervised Inductive Learning Results Ho Luong
J277 How Similar is VERY YOUNG to 43 Years of Age? On the Representation and Comparison of ... Dubitzky Schuster Hughes Bell Adamson
J282 Aggregating Features and Matching Cases on Vague Linguistic Expressions Schuster Dubitzky Lopes Bell Adamson Hughes White
J286 In the Quest of the Missing Link Bittencourt
J288 Reasoning about Plans Lukaszewicz Madalinska-Bugaj
J291 On the Role of Hierarchy for Neural Network Interpretation Rahmel Blum Hahn
J299 "Computational Complexity of Multi-way, Dataflow Constraint Problems" Trombettoni Neveu
J301 Situated Actions and Cognition Penders Braspenning
J309 Cooperation Structures d'Inverno Luck Wooldridge
J325 An Analysis on Crossovers for Real Number Chromosomes in an Infinite Population Size Nomura
J328 Unbiased Assessment of Learning Algorithms Scheffer Herbrich
J331 The RoboCup Synthetic Agents Challenge 97 Kitano Veloso Stone Tambe Coradeschi Osawa Noda Matsubara Asada
J336 Law Discovery using Neural Networks Saito Nakano
J338 Neural network based photometric stereo using illumination planning Iwahori Kato Bhuiyan Woodham
J354 Event-Based Reasoning for Short Circuit Diagnosis in Power Transmission Networks Lamperti Pogliano
J355 Arc consistency for general constraint networks: preliminary results Bessiere Regin
J357 "Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus" De Giacomo Lesperance Levesque
J362 Reasoning with Incomplete Initial Information and Nondeterminism in Situation Calculus Karlsson
J367 Some Practicable filtering techniques Debruyne Bessiere
J373 COSPEX: A System for Constructing Private Digital Libraries Sugimoto Katayama Takasu
J374 The Complexity of Belief Update Liberatore
J375 Structuring Techniques for Constraint Satisfaction Problems Weigel Faltings
J377 Local consistency for ternary numeric constraints Faltings Gelle
J386 Circumscribing Inconsistency Besnard Schaub
J388 Analogy and Abduction in Automated Deduction Defourneaux Peltier
J393 Multi-Perspective Modelling of the Air Campaign Planning process Kingston Griffith Lydiard
J397 Computing Parallelism in Discourse Gardent Kohlhase
J410 Compiling reasoning with and about preferences into default logic Delgrande Schaub
J412 Tractable Induction and Classification in First Order Logic Sebag Rouveirol
J418 Wrapper Induction for Information Extraction Kushmerick Weld Doorenbos
J419 On the Efficient Classification of Data Structures by Neural Networks Frasconi Gori Sperduti
J421 On evaluating decision procedures for modal logic Hustadt Schmidt
J422 Semiring-based Constraint Logic Programming Bistarelli Montanari Rossi
J425 Diagnosing Tree Structured Systems Stumptner Wotawa
J427 Can We Benefit from Metrics in KBS Development? Kramer Kaindl Schlee
J432 Probabilistic Partial Evaluation: Exploiting rule structure in probabilistic inference Poole
J436 Preduction: A Common Form of Induction and Analogy Arima
J437 Minimum Split Based Discretization for Continuous features Wang Han Chong
J440 Extracting Propositions from Trained Neural Networks Tsukimoto
J441 Anytime Belief Revision Williams
J444 An Average-Case Analysis of the k-Nearest Neighbor Classifier for Noisy Domains Okamoto Yugami
J445 Discovering Interesting Holes in Data Liu Ku Hsu
J446 Analysis of Inheritance Mechanisms in Agent-Oriented Programming Crnogorac Rao Ramamohanarao
J448 A Causal Time Ontology for Qualitative Reasoning Kitamura Ikeda Mizoguchi
J449 Self-Organization and Segmentation with Laterally Connected Spiking Neurons Choe Miikkulainen
J450 Adaptive Personal Information Filtering System that Organizes personal profiles Automatically Kindo Yoshida Morimoto Watanabe
J451 Interactive Disambiguation of Natural Language Input: a Methodology and Two Implementations for French and English Blanchon
J454 Combining Local Search and Look-Ahead for Scheduling and Constraint Satisfaction Problems Schaerf
J457 Persuasion among Agents : An Approach to Implement a Group Decision Support System Based on Multi-Agent Negotiation Ito Shintani
J458 Merging constraint satisfaction subproblems to avoid redundant search Larrosa
J459 RHB+: A Type-Oriented ILP System Learning from Positive Data Sasaki Haruno
J463 Proof Verbalization as an Application of NLG Huang Fiedler
J485 Combining Knowledge Acquisition and Machine Learning for the Control of Dynamic Systems Shiraz Sammut
J503 "Action Localness, Genericity and Invariants in STRIPS" Foo Zhang Peppas Pagnucco Nayak
J507 A mechanism for reasoning about utilities (and probabilities) Shoham
J508 Applications of the Situation Calculus To Formalizing Control and Strategic Information: The Prolog Cut Operator Lin
J509 Interleaved depth-first search Meseguer
J518 Can we bridge refinement-based and SAT-based planning techniques? Kambhampati
J522 Vision-Motion Planning of a Mobile Robot considering Vision Uncertainty and Planning Cost Miura Shirai
J533 Implementing BDI Systems by Direct Execution Fisher
J540 Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs Fehrer Horacek
J545 Reasoning by Regression: Pre- and Postdiction Procedures for Logics of Action and Change with Nondeterminism Bjäreland Karlsson
J550 Modeling Command Entities Howard
J555 Tractable Cover Compilations Boufkhad Gregoire Marquis Mazure Sais
J556 The Predictive Toxicology Evaluation Challenge Srinivasan King Muggleton Sternberg
J561 An Aggregation Procedure for Building Episodic Memory Ferret Grau
J563 ARTIMIS: Natural Dialogue meets Rational Agency Sadek Bretier Panaget
J566 Socially Embedded Learning of Office-Conversant Robot Jijo-2 Asoh Hayamizu Hara Motomura Akaho Matsui
J570 An Adaptive Architecture for Modular Q-learning Kohri Matsubayashi Tokoro
J575 Exploiting domain knowledge for approximate diagnosis ten Teije van Harmelen
J577 Acquisition of Human Feelings for Music Arrangement Numao Kobayashi Sakaniwa
J579 Learning Strategies in Games by Anticipation Meyer Ganascia Zucker
J583 A convergent Reinforcement Learning algorithm in the continuous case based on a Finite Difference method Munos
J586 Using Bayesian Network Induction Approach to Text Categorization Lam Low Ho
J593 Alignment Algorithms for Learning to Read Aloud Ling Wang
J594 A Learning System for Selective Dissemination of Information Amati Crestani Ubaldini
J605 Automatic Generation of Heuristics for Scheduling Morris Bresina Rodgers
J610 Skill reconstruction as induction of LQ controllers with subgoals Suc Bratko
J611 An Information-based Principle for Guiding Multi-Modal Human-Computer Interaction Denecke
J615 Semantics and Conversations for an Agent Communication Language Labrou Finin
J617 A Four-Valued Fuzzy Propositional Logic Straccia
J623 Distributed Vision System: An Informative Infrastructure for Robot Navigation Ishiguro
J627 Fundamentals of Model-based Diagnosis of Dynamic Systems Struss
J630 Task Ontology Makes It Easier To Use Authoring Tools Ikeda Kazuhisa Mizoguchi
J636 Reasoning Symbolically about Partially Matched Cases Ashley Aleven
J641 Autoepistemic Description Logics Donini Nardi Rosati
J644 QUEM: An Achievment Test for Knowledge-Based Systems Hayes Michael
J645 Is Nonparametric Learning Practical in Very High Dimensional Spaces? Grudic Lawrence
J653 Discovering Admissible Models of Complex Systems Based on Scale-Types and Identity Constraints Washio Motoda
J659 On Finding a Solution in Temporal Constraint Satisfaction Problems Gerevini Cristani
J661 A General expression of the Fundamental Matrix for Both Projective and Affine Cameras Zhang Xu
J664 Use of abstraction and complexity levels in intelligent educational systems design Lelouche Morin
J669 "Improving Performance of Transfer-DrivenMachine Translation with Extra-Linguistic Information from Context, Situation and Environment" Mima Furuse Iida
J672 The Self-Organizing Desk Rus de Santis
J674 Using Data and Theory in Multistrategy (Mis)Concept(ion) Discovery Sison Numao Shimura
J677 A dynamic theory of incentives in multi-agent systems Tanaka Shoham
J682 Active Diagnosis by Self-Organization: An Approach by The Immune Network Metaphor Ishida
J686 Equational Reasoning using AC Constraints Plaisted Zhu
J687 Qualitative Reasoning about Perception and Belief del Val Maynard-Reid II Shoham
J688 Recursive Plans for Information Gathering Duschka Levy
J706 A Music Stream Segregation System Based on Adaptive Multi-Agents Kashino Murase
J707 "Tall, Good, High - Compared to What?" Staab Hahn
J709 On the Interaction of Metonymies and Anaphora Markert Hahn
J711 An Evolutionary Algorithm Extended by Ecological Analogy and its Application to the Game of Go Kojima Ueda Nagano
J712 Noise-Tolerant Windowing Fuernkranz
J717 Exploration and Adaptation in Multiagent Systems: A Model-based Approach Carmel Markovitch
J722 System Assistance in Structured Domain Model Development Biundo Stephan
J723 Integrating Explanatory and Descriptive Learning in ILP Dimopoulos Dzeroski Kakas
J724 Handling Duration Uncertainty in Meta-Level Control of Progressive Processing Mouaddib Zilberstein
J725 Semantically Guided Theorem Proving for Diagnosis Applications Baumgartner Froehlich Furbach Nejdl
J726 ILP with Noise and Fixed Example Size: A Bayesian Approach McCreath Sharma
J727 "Dynamic, User-Centered Resolution in Interactive Stories" Sgouros
J734 Understanding Three Simultaneous Speeches Okuno Nakatani Kawabata
J737 Rigid variables considered harmful Voronkov
J747 A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics Montanari Policriti
J748 Evolvable Hardware for Generalized Neural Networks Murakawa Yoshizawa Kajitani Higuchi
J752 A Static Model-Based Engine for Model-Based Reasoning Froehlich Nejdl
J765 Learning Topological Maps with Weak Local Odometric Information Shatkay Kaelbling
J768 Qualitative Relevance and Independence: A Roadmap Dubois Farinas del Cerro Herzig Prade
J774 Development of Iterative Real-time Scheduler to Planner Feedback McVey Durfee Atkins Shin
J775 Object Identification in a Bayesian Context Huang Russell
J797 Web-Based Compositional Modeling System for Sharing of Physical Knowledge Iwasaki Farquhar Fikes Rice
J798 Discrete Lagrangian-based Search for Solving MAX-SAT Problems Shang Wah
J800 Hidden gold in random generation of SAT satisfiable instances Castell Cayrol
J802 A Functional Theory of Design Patterns Bhatta Goel
J803 Mental Tracking: A Computational Model of Spatial Development Hiraki Sashima Phillips
J810 Redesigning the Problem-Solver's Operators to Improve the Quality of its Solutions Stroulia Goel
J815 Space-efficient inference in dynamic probabilistic networks Binder Murphy Russell
J817 WebWatcher: A Tour Guide for the World Wide Web Joachims Freitag Mitchell
J828 Computational Challenges in Propositional Reasoning and Search Selman Kautz McAllester
J829 Dynamic Path Planning on Mulitple Spatial Scales Large Christensen Bajcsy
J830 The Use of Meta-level Information in Learning Situation-Specific Coordination Nagendra Prasad Lesser
J837 Defeasible specifications in action theories Baral Lobo
J845 Adaptive goal recognition Lesh
J847 Prioritized Goal Decomposition of Markov Decision Processes: Toward a Synthesis of Classical and Decision Theoretic Planning Boutilier Brafman Geib
J853 A Reactive Planner for a Model-based Executive Williams Nayak
J855 Mini-Buckets: A General Scheme of Generating Approximations in Automated Reasoning Dechter
J860 Tradeoffs in Automatic SAT-Compilation of Planning Problems Ernst Millstein Weld
J862 Middle-Agents for the Internet Decker Sycara Williamson
J866 Search Versus Knowledge in Game-Playing Programs Revisited Junghanns Schaeffer
J869 Learning to Improve both Efficiency and Quality of Planning Estlin Mooney
J870 A default interpretation of defeasible network Wang You Yuan
J874 Learning to Coordinate Controllers - Reinforcement Learning on a Control Basis Huber Grupen
J875 Adaptive Web Sites: an AI Challenge Perkowitz Etzioni
J876 Dynamic Prioritization of Complex Agents in Distributed Constraint Satisfaction Problems Armstrong Durfee
J877 Meaning and the Mental Lexicon Lowe
J878 Dynamically Improving Explanations: A Revision-Based Approach to Explanation Generation Callaway Lester
J879 The Effects of Runtime Coordination Strategies Within Static Organizations Durfee So
J884 "Model Minimization, Regression, and Propositional STRIPS Planning" Givan Dean
J885 Managing decision resources in plan execution Freed
J891 Name-It: Naming and Detecting Faces in Video by the Integration of Image and Natural Language Processing Satoh Nakamura Kanade
J892 Structural Inferences from Massive Datasets Yip
J893 "Multi-Robot Exploration of an Unknown Environment, Efficiently Reducing the Odometry Error." Rekleitis Dudek Milios
J894 Active Mobile Robot Localization Burgard Fox Thrun
J896 Translingual Information Retrieval: A Comparative Evaluation Carbonell Yang Frederking Brown Geng Lee
J900 Ensembles as a Sequence of Classifiers Asker Maclin
J901 Rule-based Contact Monitoring Using Examples Obtained by Task Demonstration Sikka McCarragher
J903 Par-KAP: a Knowledge Acquisition Tool for Building Practical Planning Systems Barros Hendler Benjamins
J907 The Representation and Use of a Visual Lexicon for Automated Graphics Generation Zhou Feiner
J909 An Expert System for Benefits Inquiry in the Insurance Industry Morgenstern Singh
J910 Formal Specification for a Hybrid Dynamical System Simulator Mosterman Biswas
J917 Challenge:Where is the Impact of Bayesian Networks in Learning? Friedman Goldszmidt Heckerman Russell
J918 Efficiently Executing Information-Gathering Plans Friedman Weld Kwok
J919 Toward Structured Retrieval in Semi-structured Information Spaces Huffman Baudin
J920 "A Hybrid Approach to Interactive Machine Translation ---Integrating Rule-based, Corpus-based, and Example-based Method ---" Yamabana Kamei Muraki Doi Tamura Satoh
J921 Learning to Integrate Multiple Knowledge Sources for Case-Based Reasoning Leake Kinley Wilson
J922 "Change, Change, Change: three approaches" Costello
J925 "Causality, Constraints and the Indirect Effect of Actions" Geffner
J926 Learning probabilities for noisy rules Koller Pfeffer
J927 Combining Probabilistic Population Codes Zemel Dayan
J935 Reactive Combination of Belief Over Time Using Direct Perception Murphy Hawkins Schoppers
J937 Ants and Reinforcement Learning: A Case Study in Packet Routing in Dynamic Networks. Subramanian Druschel Chen
J945 Plan Execution for Autonomous Spacecraft Pell Gat Keesing Muscettola Smith
J953 "Charts, interaction-free grammars, and the compact representation of ambiguity" Dymetman
J955 On the Gains and Losses of Strategic Behavior in Equilibrium Markets Sandholm Ygge
J960 A Model of Strategy for the Game of Go Using Abstraction Mecanisms Ricaud
J979 Nonmonotonic Reasoning and Multiple Belief Revision Zhang Chen Zhu
J980 Representation Theorems for Multiple Belief Changes Zhang Chen Zhu
J983 Challenge: How IJCAI 1999 can Prove the Value of AI by using AI Geller

Last modified: Wed Aug 6 00:06:10 JST 1997