| No. | TITLE | AUTHOR(S) |
|---|
| 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 |