Conferences in DBLP
Sourabh A. Niyogi Fitting Models to Distributed Representations of Vision. [Citation Graph (0, 0)][DBLP ] Conf ] Rajesh P. N. Rao , Dana H. Ballard Natural Basis Functions and Topographic Memory for Face Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Cornelia Fermüller , Yiannis Aloimonos Representations for Active Vision. [Citation Graph (0, 0)][DBLP ] Conf ] Tomas Uhlin , Jan-Olof Eklundh Animate Vision in a Rich Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Steven Reece , Hugh F. Durrant-Whyte A Qualitative Approach to Sensor Data Fusion for Mobile Robot Navigation. [Citation Graph (0, 0)][DBLP ] Conf ] Qi Zhao , Toyoaki Nishida Qualitative Interpretation of Spectral Images: Reasoning with Uncertain Evidence. [Citation Graph (0, 0)][DBLP ] Conf ] Rajiv Chopra , Rohini K. Srihari Control Structures for Incorporating Picture-Specific Context in Image Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Ian Horswill Visual Routines and Visual Search: A Real-Time Implementation and an Automata-Theoretic Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Robert W. Wisniewski , Christopher M. Brown Adaptable Planner Primitives for Real-World Robotic Applications. [Citation Graph (0, 0)][DBLP ] Conf ] R. James Firby , Roger E. Kahn , Peter N. Prokopowicz , Michael J. Swain An Architecture for Vision and Action. [Citation Graph (0, 0)][DBLP ] Conf ] Osamu Hasegawa , Katsunobu Itou , Takio Kurita , Satoru Hayamizu , Kazuyo Tanaka , Kazuhiko Yamamoto , Nobuyuki Otsu Active Agent Oriented Multimodal Interface System. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Krotkov Robotic Perception of Material. [Citation Graph (0, 0)][DBLP ] Conf ] Ronen I. Brafman , Yoav Shoham Knowledge Considerations in Robotics and Distribution of Robotic Tasks. [Citation Graph (0, 0)][DBLP ] Conf ] Milind Tambe , Paul S. Rosenbloom RESC: An Approach for Real-time, Dynamic Agent Tracking. [Citation Graph (0, 0)][DBLP ] Conf ] Jun Tani Self-Organization of Symbolic Processes through Interaction with the Physical World. [Citation Graph (0, 0)][DBLP ] Conf ] Bing Liu Using Knowledge to Isolate Search in Route Finding. [Citation Graph (0, 0)][DBLP ] Conf ] Takayuki Nakamura , Minoru Asada Motion Sketch: Acquisition of Visual Motion Guided Behaviors. [Citation Graph (0, 0)][DBLP ] Conf ] Shumeet Baluja , Dean Pomerleau Using the Representation in a Neural Network's Hidden Layer for Task-Specific Focus of Attention. [Citation Graph (0, 0)][DBLP ] Conf ] Vikram Manikonda , James A. Hendler , P. S. Krishnaprasad Formalizing Behavior-based Planning for Nonholonomic Robots. [Citation Graph (0, 0)][DBLP ] Conf ] David Poole Logic Programming for Robot Control. [Citation Graph (0, 0)][DBLP ] Conf ] Kunio Kashino , Kazuhiro Nakadai , Tomoyoshi Kinoshita , Hidehiko Tanaka Organization of Hierarchical Perceptual Sounds: Music Scene Analysis with Autonomous Processing Modules and a Quantitative Information Integration Mechanism. [Citation Graph (0, 0)][DBLP ] Conf ] Tomohiro Nakatani , Hiroshi G. Okuno , Takeshi Kawabata Residue-Driven Architecture for Computational Auditory Scene Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Bundy , Vincent Lombart Relational Rippling: A General Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Erica Melis A Model of Analogy-Driven Proof-Plan Construction. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Kolbe , Christoph Walther Second-Order Matching modulo Evaluation: A Technique for Reusing Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] P. Pandurang Nayak , Alon Y. Levy A Semantic Theory of Abstractions. [Citation Graph (0, 0)][DBLP ] Conf ] Katsumi Inoue , Chiaki Sakama Abductive Framework for Nonmonotonic Theory Change. [Citation Graph (0, 0)][DBLP ] Conf ] Adnan Darwiche Model-Based Diagnosis using Causal Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Babak Hamidzadeh , Shashi Shekhar Deadline Compliance, Predictability, and On-line Optimization in Real-Time Problem Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph C. Pemberton k-Best: A New Method for Real-Time Decision Making. [Citation Graph (0, 0)][DBLP ] Conf ] Hermann Kaindl , Gerhard Kainz , Angelika Leeb , Harald Smetana How to Use Limited Memory in Heuristic Search. [Citation Graph (0, 0)][DBLP ] Conf ] Subir Bhattacharya Experimenting with Revisits in Game Tree Search. [Citation Graph (0, 0)][DBLP ] Conf ] Pang C. Chen On Bootstrapping Local Search with Trail-Markers. [Citation Graph (0, 0)][DBLP ] Conf ] Takahiro Sasaki , Fumihiko Chimura , Mario Tokoro The Trailblazer Search with a Hierarchical Abstract Map. [Citation Graph (0, 0)][DBLP ] Conf ] Richard E. Korf From Approximate to Optimal Solutions: A Case Study of Number Partitioning. [Citation Graph (0, 0)][DBLP ] Conf ] Aske Plaat , Jonathan Schaeffer , Wim Pijls , Arie de Bruin Best-First Fixed-Depth Game-Tree Search in Practice. [Citation Graph (0, 0)][DBLP ] Conf ] Nobuhiro Yugami Theoretical Analysis of Davis-Putnam Procedure and Propositional Satisfiability. [Citation Graph (0, 0)][DBLP ] Conf ] Thierry Boy de la Tour , Stéphane Demri On the Complexity of Extending Ground Resolution with Symmetry Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Jian Zhang , Hantao Zhang SEM: a System for Enumerating Models. [Citation Graph (0, 0)][DBLP ] Conf ] Byungki Cha , Kazuo Iwama Performance Test of Local Search Algorithms Using New Types of Random CNF Formulas. [Citation Graph (0, 0)][DBLP ] Conf ] Ilkka Niemelä Towards Efficient Default Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Roni Khardon , Dan Roth Default-Reasoning with Models. [Citation Graph (0, 0)][DBLP ] Conf ] Ricardo Caferra , Nicolas Peltier Extending Semantic Resolution via Automated Model Building: Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Baumgartner , Ulrich Furbach , Frieder Stolzenburg Model Elimination, Logic Programming and Computing Answers. [Citation Graph (0, 0)][DBLP ] Conf ] Anatoli Degtyarev , Andrei Voronkov Equality Elimination for the Inverse Method and Extension Procedures. [Citation Graph (0, 0)][DBLP ] Conf ] Leo Bachmair , Ta Chen , I. V. Ramakrishnan , Siva Anantharaman , Jacques Chabin Experiments with Associative-Commutative Discrimination Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Elena Marchiori A Methodology for Proving Termination of General Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Rakesh M. Verma Unique Normal Forms and Confluence of Rewrite Systems: Persistence. [Citation Graph (0, 0)][DBLP ] Conf ] Kazuo Miyashita , Katia P. Sycara Improving System Performance in Case-Based Iterative Optimization through Knowledge Filtering. [Citation Graph (0, 0)][DBLP ] Conf ] Barry Smyth , Mark T. Keane Remembering To Forget: A Competence-Preserving Case Deletion Policy for Case-Based Reasoning Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Karl Branting , David W. Aha Stratified Case-Based Reasoning: Reusing Hierarchical Problem Solving Episodes. [Citation Graph (0, 0)][DBLP ] Conf ] Susan Fox , David B. Leake Using Introspective Reasoning to Refine Indexing. [Citation Graph (0, 0)][DBLP ] Conf ] Edwina L. Rissland , Jody J. Daniels Using CBR to Drive IR. [Citation Graph (0, 0)][DBLP ] Conf ] Kathryn E. Sanders Within the Letter of the Law: Open-Textured Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Anselm Blocher , Jörg R. J. Schirra Optional Deep Case Filling and Focus Control with Mental Images: ANTLIMA-KOREF. [Citation Graph (0, 0)][DBLP ] Conf ] Ron Sun A Microfeature Based Approach Towards Metaphor Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Gunther Sablon , Luc De Raedt Forgetting and Compacting data in Concept Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Bruce Krulwich , Lawrence Birnbaum , Gregg Collins Determining What to Learn Through Component-Task Modeling. [Citation Graph (0, 0)][DBLP ] Conf ] Philip Resnik Using Information Content to Evaluate Semantic Similarity in a Taxonomy. [Citation Graph (1, 0)][DBLP ] Conf ] Susan L. Epstein On Heuristic Reasoning, Reactivity, and Search. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel D. Fu , Kristian J. Hammond , Michael J. Swain Action and Perception in Man-Made Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Turk , Günther Görz Kanerva's Sparse Distributed Memory: An Object-Oriented Implementation on the Connection Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Rudy Setiono , Huan Liu Understanding Neural Networks via Rule Extraction. [Citation Graph (0, 0)][DBLP ] Conf ] Zhe Ma , Robert F. Harrison , R. Lee Kennedy GR2: A Hybrid Knowledge-based System Using General Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph S. Herrmann A Hybrid Fuzzy-Neural Expert System for Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Fukumi Kozato A Hybrid Rule-based System: How Variables are Involved in Connectionist Rule-based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Sperduti , Antonina Starita , Christoph Goller Learning Distributed Representations for the Classification of Terms. [Citation Graph (0, 0)][DBLP ] Conf ] Nathalie Japkowicz , Catherine Myers , Mark A. Gluck A Novelty Detection Approach to Classification. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Maclin , Jude W. Shavlik Combining the Predictions of Multiple Classifiers: Using Competitive Learning to Initialize Neural Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroaki Kitano A Model for Hormonal Modulation of Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Grzegorz Kondrak , Peter van Beek A Theoretical Evaluation of Selected Backtracking Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene C. Freuder , Paul D. Hubbe Extracting Constraint Satisfaction Subproblems. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto J. Bayardo Jr. , Daniel P. Miranker On the Space-Time Trade-off in Solving Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene C. Freuder , Richard J. Wallace Generalizing Inconsistency Learning for Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Frost , Rina Dechter Look-Ahead Value Ordering for Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Pedro Meseguer , Javier Larrosa Constraint Satisfaction as Global Optimization. [Citation Graph (0, 0)][DBLP ] Conf ] Bing Liu Increasing Functional Constraints Need to Be Checked Only Once. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Bessière , Eugene C. Freuder , Jean-Charles Régin Using Inference to Reduce Arc Consistency Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Baptiste , Claude Le Pape A Theoretical and Experimental Comparison of Constraint Propagation Techniques for Disjunctive Scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] William D. Harvey , Matthew L. Ginsberg Limited Discrepancy Search. [Citation Graph (0, 0)][DBLP ] Conf ] Kalev Kask , Rina Dechter GSAT and Local Consistency. [Citation Graph (0, 0)][DBLP ] Conf ] Stefano Bistarelli , Ugo Montanari , Francesca Rossi Constraint Solving over Semirings. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Schiex , Hélène Fargier , Gérard Verfaillie Valued Constraint Satisfaction Problems: Hard and Easy Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Jampel , Sebastian Hunt Composition in Hierarchical CLP. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara M. Smith , Stuart A. Grant Sparse Constraint Graphs and Exceptionally Hard Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Onn Shehory , Sarit Kraus Task Allocation Via Coalition Formation Among Autonomous Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Tuomas Sandholm , Victor R. Lesser Coalition Formation among Bounded Rational Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Kuokka , Larry Harada Matchmaking for Information Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Eithan Ephrati , Martha E. Pollack , Sigalit Ur Deriving Multi-Agent Coordination through Filtering Strategies. [Citation Graph (0, 0)][DBLP ] Conf ] Will Briggs , Diane J. Cook Flexible Social Laws. [Citation Graph (0, 0)][DBLP ] Conf ] Tuomas Sandholm , Victor R. Lesser Equilibrium Analysis of the Possibilities of Unenforced Exchange in Multiagent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Michael P. Georgeff , Anand S. Rao The Semantics of Intention Maintenance for Rational Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Tad Hogg Social Dilemmas in Computational Ecosystems. [Citation Graph (0, 0)][DBLP ] Conf ] Jerzy W. Bala , Jeffrey Huang , Haleh Vafaie , Kenneth DeJong , Harry Wechsler Hybrid Learning Using Genetic Algorithms and Decision Trees for Pattern Classification. [Citation Graph (0, 0)][DBLP ] Conf ] Sandip Sen , Leslie Knight A Genetic Prototype Learner. [Citation Graph (0, 0)][DBLP ] Conf ] John R. Koza Gene Duplication to Enable Genetic Programming to Concurrently Evolve Both the Architecture and Work-Performing Steps of a Computer Program. [Citation Graph (0, 0)][DBLP ] Conf ] David Andre The Automatic Programming of Agents that Learn Mental Models and Create Simple Plans of Action. [Citation Graph (0, 0)][DBLP ] Conf ] Peter D. Karp , Suzanne M. Paley Knowledge Representation in the Large. [Citation Graph (0, 0)][DBLP ] Conf ] Vinay K. Chaudhri , John Mylopoulos Efficient Algorithms and Performance Results for Multi-User Knowledge Bases. [Citation Graph (1, 0)][DBLP ] Conf ] Peter D. Karp , Karen L. Myers , Thomas R. Gruber The Generic Frame Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Abdel-Illah Mouaddib , Shlomo Zilberstein Knowledge-Based Anytime Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Johann Gamper , Wolfgang Nejdl Proposing Measurements in Dynamic Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Barbeau , Froduald Kabanza , Richard St.-Denis Synthesizing Plant Controllers Using Real-time Goals. [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe De Giacomo , Maurizio Lenzerini What's in an Aggregate: Foundations for Description Logics with Tuples and Sets. [Citation Graph (1, 0)][DBLP ] Conf ] Franz Baader , Armin Laux Terminological Logics with Modal Operators. [Citation Graph (0, 0)][DBLP ] Conf ] Deborah L. McGuinness , Alexander Borgida Explaining Subsumption in Description Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Mary-Anne Williams , Maurice Pagnucco , Norman Y. Foo , Brailey Sims Determining Explanations using Transmutations. [Citation Graph (0, 0)][DBLP ] Conf ] Alvaro del Val An Analysis of Approximate Knowledge Compilation. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Marquis Knowledge Compilation Using Theory Prime Implicates. [Citation Graph (0, 0)][DBLP ] Conf ] Nicholas Asher , Laure Vieu Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology. [Citation Graph (1, 0)][DBLP ] Conf ] Gerhard Lakemeyer A Logical Account of Relevance. [Citation Graph (0, 0)][DBLP ] Conf ] Goran Gogic , Henry A. Kautz , Christos H. Papadimitriou , Bart Selman The Comparative Linguistics of Knowledge Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Eiter , Georg Gottlob , Nicola Leone Semantics and Complexity of Abduction from Default Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Anderson , Robert McCartney Inter-diagrammatic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Shirley Tessler , Yumi Iwasaki , Kincho H. Law Qualitative Structural Analysis Using Diagrammatic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Jérôme Euzenat An Algebraic Approach to Granularity in Qualitative Time and Space Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Michelangelo Grigni , Dimitris Papadias , Christos H. Papadimitriou Topological Inference. [Citation Graph (0, 0)][DBLP ] Conf ] Haim Schweitzer , Janell Straach Utilizing Moment Invariants and Gröbner Bases to Reason About Shapes. [Citation Graph (0, 0)][DBLP ] Conf ] Amitabha Mukerjee , Manish Agarwal , Praveen Bhatia A Qualitative Discretization for Two-Body Contacts. [Citation Graph (0, 0)][DBLP ] Conf ] Henry Lieberman Letizia: An Agent That Assists Web Browsing. [Citation Graph (2, 0)][DBLP ] Conf ] Mike Perkowitz , Oren Etzioni Category Translation: Learning to Understand Information on the Internet. [Citation Graph (1, 0)][DBLP ] Conf ] Herbert A. Simon Explaining the Ineffable: AI on the Topics of Intuition, Insight and Inspiration. [Citation Graph (0, 0)][DBLP ] Conf ] Stuart J. Russell Rationality and Intelligence. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan Maresky , Yuval Davidor , Daniel Gitler , Gad Aharoni , Amnon Barak Profiling Communication in Distributed Genetic Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara Hayes-Roth Agents on Stage: Advancing the State of the Art of AI. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick J. Hayes , Kenneth M. Ford Turing Test Considered Harmful. [Citation Graph (0, 0)][DBLP ] Conf ] Judy Kay Vive la difference! Individualised Interaction with Users. [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey O. Kephart , Gregory B. Sorkin , William C. Arnold , David M. Chess , Gerald Tesauro , Steve R. White Biologically Inspired Defenses Against Computer Viruses. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen Muggleton Inductive Logic Programming: Inverse Resolution and Beyond. [Citation Graph (0, 0)][DBLP ] Conf ] Bart Selman Stochastic Search and Phase Transitions: AI Meets Physics. [Citation Graph (0, 0)][DBLP ] Conf ] Demetri Terzopoulos Modeling Living Systems for Computer Vision. [Citation Graph (0, 0)][DBLP ] Conf ] J. Ross Quinlan , R. Mike Cameron-Jones Oversearching and Layered Search in Empirical Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Sreerama K. Murthy , Steven Salzberg Lookahead and Pathology in Decision Tree Induction. [Citation Graph (0, 0)][DBLP ] Conf ] Igor Kononenko On Biases in Estimating Multi-Valued Attributes. [Citation Graph (0, 0)][DBLP ] Conf ] Julio Ortega , Douglas Fisher Flexibly Exploiting Prior Knowledge in Empirical Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph F. McCarthy , Wendy G. Lehnert Using Decision Trees for Coreference Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] Lawrence B. Holder Intermediate Decision Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Zijian Zheng Constructing Nominal X-of-N Attributes. [Citation Graph (0, 0)][DBLP ] Conf ] Ron Kohavi , Chia-Hsin Li Oblivious Decision Trees, Graphs, and Top-Down Pruning. [Citation Graph (0, 0)][DBLP ] Conf ] Reid G. Simmons , Sven Koenig Probabilistic Robot Navigation in Partially Observable Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Ronald Parr , Stuart J. Russell Approximating Optimal Policies for Partially Observable Stochastic Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Craig Boutilier , Martin L. Puterman Process-Oriented Planning and Average-Reward Optimality. [Citation Graph (0, 0)][DBLP ] Conf ] Craig Boutilier , Richard Dearden , Moisés Goldszmidt Exploiting Structure in Policy Construction. [Citation Graph (0, 0)][DBLP ] Conf ] Wei Zhang , Thomas G. Dietterich A Reinforcement Learning Approach to job-shop Scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Dean , Shieu-Hong Lin Decomposition Techniques for Planning in Stochastic Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Hee-Joong Kang , Jin H. Kim Dependency Relationship Based Decision Combination in Multiple Classifier Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ron Kohavi A Study of Cross-Validation and Bootstrap for Accuracy Estimation and Model Selection. [Citation Graph (2, 0)][DBLP ] Conf ] Stuart J. Russell , John Binder , Daphne Koller , Keiji Kanazawa Local Learning in Probabilistic Networks with Hidden Variables. [Citation Graph (0, 0)][DBLP ] Conf ] Gerald DeJong , Scott Bennett Extending Classical Planning to Real-World Execution with Machine Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Russell Greiner The Complexity of Theory Revision. [Citation Graph (0, 0)][DBLP ] Conf ] Dale Schuurmans , Russell Greiner Practical PAC Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Dan Roth Learning to Reason: The Non-Monotonic Case. [Citation Graph (0, 0)][DBLP ] Conf ] Daphne Koller , Avi Pfeffer Generating and Solving Imperfect Information Games. [Citation Graph (0, 0)][DBLP ] Conf ] Henrik Boström Covering vs. Divide-and-Conquer for Top-Down Induction of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Hilde Adé , Marc Denecker AILP: Abductive Inductive Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Alan M. Frisch , C. David Page Jr. Building Theories into Instantiation. [Citation Graph (0, 0)][DBLP ] Conf ] Sebastian Thrun , Tom M. Mitchell Learning One More Thing. [Citation Graph (0, 0)][DBLP ] Conf ] Pedro Domingos Rule Induction and Instance-Based Learning: A Unified Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Kan Deng , Andrew W. Moore Multiresolution Instance-Based Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Jennifer Chu-Carroll , Sandra Carberry Generating Information-Sharing Subdialogues in Expert-User Consultation. [Citation Graph (0, 0)][DBLP ] Conf ] Ingrid Zukerman , Richard McConachy Generating Discourse across Several User Models: Maximizing Belief while Avoiding Boredom and Overload. [Citation Graph (0, 0)][DBLP ] Conf ] Karen E. Lochbaum The Use of Knowledge Preconditions in Language Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Rebecca J. Passonneau Integrating Gricean and Attentional Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Vibhu O. Mittal , Steven F. Roth , Johanna D. Moore , Joe Mattis , Giuseppe Carenini Generating Explanatory Captions for Information Graphics. [Citation Graph (0, 0)][DBLP ] Conf ] Katashi Nagao , Jun Rekimoto Ubiquitous Talker: Spoken Language Interaction with Real World Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Steedman Dynamic Semantics for Tense and Aspect. [Citation Graph (0, 0)][DBLP ] Conf ] Bonnie J. Dorr , Terry Gaasterland Selecting Tense, Aspect, and Connecting Words In Language Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Takenobu Tokunaga , Makoto Iwayama , Hozumi Tanaka Automatic Thesaurus Construction based on Grammatical Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen Soderland , David Fisher , Jonathan Aseltine , Wendy G. Lehnert CRYSTAL: Inducing a Conceptual Dictionary. [Citation Graph (0, 0)][DBLP ] Conf ] Makoto Iwayama , Takenobu Tokunaga Hierarchical Bayesian Clustering for Automatic Text Classification. [Citation Graph (0, 0)][DBLP ] Conf ] Dekai Wu Stochastic Inversion Transduction Grammars, with Application to Segmentation, Bracketing, and Alignment of Parallel Corpora. [Citation Graph (0, 0)][DBLP ] Conf ] Fei Song , Robin Cohen Improving Heuristic-Based Temporal Analysis of Narratives with Aspect Determination. [Citation Graph (0, 0)][DBLP ] Conf ] Marc B. Vilain Semantic Inference in Natural Language: Validating a Tractable Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Saliha Azzam Anaphors, PPs and Disambiguation Process for Conceptual Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Tetsuya Nasukawa , Naohiko Uramoto Discourse as a Knowledge Resource for Sentence Disambiguation. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaobin Li , Stan Szpakowicz , Stan Matwin A WordNet-based Algorithm for Word Sense Disambiguation. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth B. Haase Analogy in the Large. [Citation Graph (0, 0)][DBLP ] Conf ] Vasileios Hatzivassiloglou , Kevin Knight Unification-Based Glossing. [Citation Graph (0, 0)][DBLP ] Conf ] Kevin Knight , Ishwar Chander , Matthew Haines , Vasileios Hatzivassiloglou , Eduard H. Hovy , Masayo Iida , Steve K. Luk , Richard Whitney , Kenji Yamada Filling Knowledge Gaps in a Broad-Coverage Machine Translation System. [Citation Graph (0, 0)][DBLP ] Conf ] Cécile Paris , Keith Vander Linden , Markus Fischer , Anthony Hartley , Lyn Pemberton , Richard Power , Donia Scott A Support Tool for Writing Multilingual Instructions. [Citation Graph (0, 0)][DBLP ] Conf ] Arne Jönsson Dialogue Actions for Natural Language Interfaces. [Citation Graph (0, 0)][DBLP ] Conf ] Christer Samuelsson An Efficient Algorithm for Surface Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Dekang Lin A Dependency-based Method for Evaluating Broad-Coverage Parsers. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Ulrich Krieger , Ulrich Schäfer Efficient Parameterizable Type Expansion for Typed Feature Formalisms. [Citation Graph (0, 0)][DBLP ] Conf ] Osamu Imaichi , Yuji Matsumoto Integration of Syntactic, Semantic and Contextual Information in Processing Grammatically Ill-Formed Inputs. [Citation Graph (0, 0)][DBLP ] Conf ] Claudette Cayrol On the Relation between Argumentation and Non-monotonic Coherence-Based Entailment. [Citation Graph (0, 0)][DBLP ] Conf ] Salem Benferhat , Didier Dubois , Henri Prade How to Infer from Inconsisent Beliefs without Revising? [Citation Graph (0, 0)][DBLP ] Conf ] Ronen I. Brafman , Nir Friedman On Decision-Theoretic Foundations for Defaults. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Morreau Allowed Arguments. [Citation Graph (0, 0)][DBLP ] Conf ] Jussi Rintanen On Specificity in Default Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Sek-Wah Tan , Judea Pearl Specificity and Inheritance in Default Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] James P. Delgrande Syntactic Conditional Closures for Defeasible Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Hector Geffner , Jimena Llopis , Gisela Mendez Sound and Efficient Non-monotonic Inference. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Doherty , Witold Lukaszewicz , Andrzej Szalas Computing Circumscription Revisited: Preliminary Report. [Citation Graph (0, 0)][DBLP ] Conf ] Artur Mikitiuk , Miroslaw Truszczynski Constrained and Rational Default Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Bochman On Bimodal Nonmonotonic Logics and Their Unimodal and Nonmodal Equivalents. [Citation Graph (0, 0)][DBLP ] Conf ] Leendert W. N. van der Torre , Yao-Hua Tan Cancelling and Overshadowing: Two Types of Defeasibility in Defeasible Deontic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel J. Lehmann Belief Revision, Revised. [Citation Graph (1, 0)][DBLP ] Conf ] Mary-Anne Williams Iterated Theory Base Change: A Computational Model. [Citation Graph (0, 0)][DBLP ] Conf ] Craig Boutilier Generalized Update: Belief Change in Dynamic Settings. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Liberatore , Marco Schaerf Relating Belief Revision and Circumscription. [Citation Graph (1, 0)][DBLP ] Conf ] Gregg Collins , Louise Pryor Planning Under Uncertainty: Some Key Issues. [Citation Graph (0, 0)][DBLP ] Conf ] Shlomo Zilberstein Optimizing Decision Quality with Contract Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] John L. Bresina , Mark Drummond , Keith Swanson Expected Solution Quality. [Citation Graph (0, 0)][DBLP ] Conf ] Kutluhan Erol , James A. Hendler , Dana S. Nau , Reiko Tsuneto A Critical Look at Critics in HTN Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Christer Bäckström , Peter Jonsson Planning with Abstraction Hierarchies can be Exponentially Less Efficient. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene Fink , Qiang Yang Planning with Primary Effects: Experiments and Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Amy L. Lansky , Lise Getoor Scope and Abstraction: Two Criteria for Localized Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Raghavan Srinivasan , Adele E. Howe Comparison of Methods for Improving Search Efficiency in a Partial-Order Planner. [Citation Graph (0, 0)][DBLP ] Conf ] Subbarao Kambhampati Admissible Pruning Strategies based on plan minimality for Plan-Space Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Avrim Blum , Merrick L. Furst Fast Planning Through Planning Graph Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Laborie , Malik Ghallab Planning with Sharable Resource Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Anthony Stentz The Focussed D* Algorithm for Real-Time Replanning. [Citation Graph (0, 0)][DBLP ] Conf ] Sven Koenig , Reid G. Simmons Real-Time Search in Non-Deterministic Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Dana S. Nau , Satyandra K. Gupta , William C. Regli AI Planning Versus Manufacturing-Operation Planning: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] J. M. Britanik , Michael M. Marefat Hierarchical Plan Merging with Application to Process Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Craig A. Knoblock Planning, Executing, Sensing, and Replanning for Information Gathering. [Citation Graph (0, 0)][DBLP ] Conf ] Berthe Y. Choueiry , Boi Faltings , Rainer Weigel Abstraction by Interchangeability in Resource Allocation. [Citation Graph (0, 0)][DBLP ] Conf ] Neal Lesh , Oren Etzioni A Sound and Fast Goal Recognizer. [Citation Graph (0, 0)][DBLP ] Conf ] Yoshihiko Hayashi Recovering Problem-Solving Activities from Query Messages. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Nejdl , Peter Fröhlich , Michael Schroeder A Formal Framework for Representing Diagnosis Strategies in Model-Based Diagnosis Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Claudia Böttcher No Faults in Structure? How to Diagnose Hidden Interactions. [Citation Graph (0, 0)][DBLP ] Conf ] Johan de Kleer , Olivier Raiman Trading off the Costs of Inference vs. Probing in Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Yousri El Fattah , Rina Dechter Diagnosing Tree-Decomposable Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] Koichi Kurumatani Generating Causal Networks for Mobile Multi-Agent Systems with Qualitative Regions. [Citation Graph (0, 0)][DBLP ] Conf ] Bradley L. Richards , Boi Faltings , Peter Duxbury-Smith Case-based Modeling with Qualitative Indices. [Citation Graph (0, 0)][DBLP ] Conf ] Sui-ky Ringo Ling Using a Domain Theory to Guide Automated Modeling of Complex Physical Phenomena. [Citation Graph (0, 0)][DBLP ] Conf ] Yumi Iwasaki , Adam Farquhar , Vijay A. Saraswat , Daniel G. Bobrow , Vineet Gupta Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"? [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth Yip Reasoning about Fluid Motion I: Finding Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Junker , Bertrand Braunschweig History-based Interpretation of Finite Element Simulations of Seismic Wave Fields. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth D. Forbus , Brian Falkenhainer Scaling up Self-Explanatory Simulators: Polynomial-time Compilation. [Citation Graph (0, 0)][DBLP ] Conf ] Marcos Vescovi , Adam Farquhar , Yumi Iwasaki Numerical Interval Simulation: Combined Qualitative and Quantitative Simulation to Bound Behaviors of Non-Monotonic Systems. [Citation Graph (0, 0)][DBLP ] Conf ] James M. Crawford , Daniel Dvorak , Diane J. Litman , Anil Mishra , Peter F. Patel-Schneider Device Representation and Reasoning with Affective Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Richard J. Doyle Determining the Loci of Anomalies Using Minimal Causal Models. [Citation Graph (0, 0)][DBLP ] Conf ] Munehiko Sasajima , Yoshinobu Kitamura , Mitsuru Ikeda , Riichiro Mizoguchi FBRL: A Function and Behavior Representation Language. [Citation Graph (0, 0)][DBLP ] Conf ] John O. Everett A Theory of Mapping from Structure to Function Applied to Engineering Thermodynamics. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Jaeger Minimum Cross-Entropy Reasoning: A Statistical Justification. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph Y. Halpern , Daphne Koller Representation Dependence in Probabilistic Inference. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Hansen , Brigitte Jaumard , Guy-Blaise Douanya Nguetsé , Marcus Poggi de Aragão Models and Algorithms for Probabilistic and Bayesian Logic. [Citation Graph (1, 0)][DBLP ] Conf ] Marco Ramoni Ignorant Influence Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Jeff Forbes , Timothy Huang , Keiji Kanazawa , Stuart J. Russell The BATmobile: Towards a Bayesian Automated Taxi. [Citation Graph (0, 0)][DBLP ] Conf ] Anthony Jameson , Ralph Schäfer , Joep Simons , Thomas Weis Adaptive Provision of Evaluation-Oriented Information: Tasks and Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Smets The Canonical Decomposition of a Weighted Belief. [Citation Graph (0, 0)][DBLP ] Conf ] Ronald R. Yager On the Representation of Nonmontonic Relations in the Theory of Evidence. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaochun Cheng , Yunfei Jiang , Xuhua Liu The Rationality and Decidability of Fuzzy Implications. [Citation Graph (0, 0)][DBLP ] Conf ] Lluis Godo , Lluís Vila Possibilistic Temporal Reasoning based on Fuzzy Temporal Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Didier Dubois , Henri Prade Possibility Theory as a Basis for Qualitative Decision Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Fahiem Bacchus , Joseph Y. Halpern , Hector J. Levesque Reasoning about Noisy Sensors in the Situation Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Traverso , Luca Spalazzi A Logic for Acting, Sensing and Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Witold Lukaszewicz , Ewa Madalinska-Bugaj Reasoning about Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Thielscher The Logic of Dynamic Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Enrico Giunchiglia , Vladimir Lifschitz Dependent Fluents. [Citation Graph (0, 0)][DBLP ] Conf ] G. Neelakantan Kartha , Vladimir Lifschitz A Simple Formalization of Actions Using Circumscription. [Citation Graph (0, 0)][DBLP ] Conf ] Norman McCain , Hudson Turner A Causal Theory of Ramifications and Qualifications. [Citation Graph (0, 0)][DBLP ] Conf ] Fangzhen Lin Embracing Causality in Specifying the Indirect Effects of Actions. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Thielscher Computing Ramifications by Postprocessing. [Citation Graph (0, 0)][DBLP ] Conf ] Fangzhen Lin , Raymond Reiter How to Progress a Database II: The STRIPS Connection. [Citation Graph (0, 0)][DBLP ] Conf ] Ronen I. Brafman , Moshe Tennenholtz Towards Action Prediction Using a Mental-Level Model. [Citation Graph (0, 0)][DBLP ] Conf ] Chitta Baral Reasoning about actions: Non-deterministic effects, Constraints, and Qualification. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene C. Freuder , Rina Dechter , Matthew L. Ginsberg , Bart Selman , Edward P. K. Tsang Systematic Versus Stochastic Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] Conf ] James A. Hendler , Jaime G. Carbonell , Douglas B. Lenat , Riichiro Mizoguchi , Paul S. Rosenbloom VERY Large Knowledge Bases - Architecture vs Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Aaron Sloman A Philosophical Encounter. [Citation Graph (0, 0)][DBLP ] Conf ] John McCarthy What has AI in Common with Philosophy? [Citation Graph (0, 0)][DBLP ] Conf ] Deborah L. McGuinness , Lori Alperin Resnick , Charles Lee Isbell Jr. Description Logic in Practice: A CLASSIC Application. [Citation Graph (0, 0)][DBLP ] Conf ] Marti A. Hearst , Jan O. Pedersen Revealing Collection Structure through Information Access Interfaces. [Citation Graph (0, 0)][DBLP ] Conf ] Jiawei Han , Yongjian Fu , Simon Tang Advances of the DBLearn System for Knowledge Discovery in Large Databases. [Citation Graph (1, 0)][DBLP ] Conf ] Peter N. Prokopowicz , Paul R. Cooper IRV: Learning to Integrate Visual Information Across Camera Movements. [Citation Graph (0, 0)][DBLP ] Conf ] Elisabeth André , Wolfgang Finkler , Winfried Graf , Karin Harbusch , Jochen Heinsohn , Anne Kilger , Bernhard Nebel , Hans-Jürgen Profitlich , Thomas Rist , Wolfgang Wahlster , Andreas Butz , Anthony Jameson WIP: From Multimedia to Intellimedia. [Citation Graph (0, 0)][DBLP ] Conf ] Boi Faltings , Kun Sun Computer-Aided Creative Mechanism Design. [Citation Graph (0, 0)][DBLP ] Conf ] Edmund Furse Learning University Mathematics. [Citation Graph (0, 0)][DBLP ] Conf ] Innes A. Ferguson , James D. Davlouros PeopleFinder: a Multimodal Multimedia Communications Tool for Interconnecting Office Staff. [Citation Graph (0, 0)][DBLP ] Conf ] Yong Cao , Bernhard Jung , Ipke Wachsmuth Situated Verbal Interaction in Virtual Design and Assembly. [Citation Graph (0, 0)][DBLP ] Conf ] Arun Katkere , Don Y. Kuramura , Saied Moezzi , Patrick H. Kelly , Deborah Swanberg , Koji Wakimoto , Edward Hunter , Li-Cheng Tai , Shankar Chatterjee , Ramesh Jain Multiple Perspective Interactive Video. [Citation Graph (0, 0)][DBLP ] Conf ] Scott Bennett , Gerald DeJong GRASPER: A Permissive Planning Robot. [Citation Graph (0, 0)][DBLP ] Conf ] Usama M. Fayyad SKICAT: Sky Image Cataloging and Analysis Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Creve Maples , Craig Peterson MUSE (Multidimensional User-Oriented Synthetic Environment): A New Approach to the Human-Computer Interface Using Precognitive Models of Perception. [Citation Graph (0, 0)][DBLP ] Conf ] Kristian J. Hammond , Robin D. Burke , Steven L. Lytinen A Case-Based Approach to Knowledge Navigation. [Citation Graph (0, 0)][DBLP ] Conf ] Pattie Maes , Bruce Blumberg , Trevor Darrell , Alex Pentland , Alan Wexelblat Modeling Interactive Agents in ALIVE. [Citation Graph (0, 0)][DBLP ] Conf ] 