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