Conferences in DBLP
Henry A. Kautz , Bart Selman , Al Milewski Agent Amplified Communication. [Citation Graph (1, 0)][DBLP ] Conf ] Bruce Krulwich , Chad Burkey The ContactFinder Agent: Answering Bulletin Board Questions with Referrals. [Citation Graph (1, 0)][DBLP ] Conf ] Pamela W. Jordan , Marilyn A. Walker Deciding to Remind During Collaborative Problem Solving: Empirical Evidence for Agent Strategies. [Citation Graph (0, 0)][DBLP ] Conf ] Ira A. Smith , Philip R. Cohen Toward a Semantics for an Agent Communications Language Based on Speech-Acts. [Citation Graph (0, 0)][DBLP ] Conf ] Chung T. Kwok , Daniel S. Weld Planning to Gather Information. [Citation Graph (5, 0)][DBLP ] Conf ] Alon Y. Levy , Anand Rajaraman , Joann J. Ordille Query-Answering Algorithms for Information Agents. [Citation Graph (11, 0)][DBLP ] Conf ] Kenrick J. Mock Hybrid Hill-Climbing and Knowledge-Based Methods for Intelligent News Filtering. [Citation Graph (0, 0)][DBLP ] Conf ] Michael J. Pazzani , Jack Muramatsu , Daniel Billsus Syskill & Webert: Identifying Interesting Web Sites. [Citation Graph (0, 0)][DBLP ] Conf ] David Carmel , Shaul Markovitch Learning Models of Intelligent Agents. [Citation Graph (0, 0)][DBLP ] Conf ] M. V. Nagendra Prasad , Susan E. Lander , Victor R. Lesser Cooperative Learning over Composite Search Spaces: Experiences with a Multi-Agent Design System. [Citation Graph (0, 0)][DBLP ] Conf ] Foster J. Provost , Daniel N. Hennessy Scaling Up: Distributed Machine Learning with Cooperation. [Citation Graph (0, 0)][DBLP ] Conf ] Milind Tambe Tracking Dynamic Team Activity. [Citation Graph (0, 0)][DBLP ] Conf ] Norman Carver , Victor R. Lesser , Robert Whitehair Nearly Monotonic Problems: A Key to Effective FA/C Distributed Sensor Interpretation? [Citation Graph (0, 0)][DBLP ] Conf ] Armin R. Mikler , Vasant Honavar , Johnny S. Wong Analysis of Utility-Theoretic Heuristics for Intelligent Adaptive Network Routing. [Citation Graph (0, 0)][DBLP ] Conf ] Vijay Rajan , James R. Slagle The Use of Artificially Intelligent Agents with Bounded Rationality in the Study of Economic Markets. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen J. J. Smith , Dana S. Nau , Thomas A. Throop Total-Order Multi-Agent Task-Network Planning for Contract Bridge. [Citation Graph (0, 0)][DBLP ] Conf ] Hung Hai Bui , Dorota H. Kieronska , Svetha Venkatesh Learning other Agents' Preferences in Multiagent Negotiation. [Citation Graph (0, 0)][DBLP ] Conf ] David Carmel , Shaul Markovitch Incorporating Opponent Models into Adversary Search. [Citation Graph (0, 0)][DBLP ] Conf ] Tuomas Sandholm , Victor R. Lesser Advantages of a Leveled Commitment Contracting Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Onn Shehory , Sarit Kraus A Kernel-Oriented Model for Coalition-Formation in General Environments: Implementation and Results. [Citation Graph (0, 0)][DBLP ] Conf ] Elisabeth André , Thomas Rist Coping with Temporal Constraints in Multimedia Presentation Planning. [Citation Graph (0, 0)][DBLP ] Conf ] David B. Christianson , Sean E. Anderson , Li-wei He , David Salesin , Daniel S. Weld , Michael F. Cohen Declarative Camera Control for Automatic Cinematography. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth B. Haase A Model of Poetic Comprehension. [Citation Graph (0, 0)][DBLP ] Conf ] Nikitas M. Sgouros , George K. Papakonstantinou , Panayotis Tsanakas A Framework for Plot Control in Interactive Story Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Bailleux , Jean-Jacques Chabrier Approximate Resolution of Hard Numbering Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Hélène Fargier , Jérôme Lang , Thomas Schiex Mixed Constraint Satisfaction: A Framework for Decision Problems under Incomplete Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard Verfaillie , Michel Lemaître , Thomas Schiex Russian Doll Search for Solving Constraint Optimization Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Richard J. Wallace Enhancements of Branch and Bound Methods for the Maximal Constraint Satisfaction Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Assef Chmeiss , Philippe Jégou Path-Consistency: When Space Misses Time. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene C. Freuder , Charles D. Elfe Neighborhood Inverse Consistency Preprocessing. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Charles Régin Generalized Arc Consistency for Global Cardinality Constraint. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Schiex , Jean-Charles Régin , Christine Gaspin , Gérard Verfaillie Lazy Arc Consistency. [Citation Graph (0, 0)][DBLP ] Conf ] Subir Bhattacharya , Amitava Bagchi Searching Game Trees Under Memory Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew L. Ginsberg Partition Search. [Citation Graph (0, 0)][DBLP ] Conf ] Aske Plaat , Jonathan Schaeffer , Wim Pijls , Arie de Bruin Exploiting Graph Properties of Game Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Weixiong Zhang Forward Estimation for Game-Tree Search. [Citation Graph (0, 0)][DBLP ] Conf ] Ian P. Gent , Ewan MacIntyre , Patrick Prosser , Toby Walsh The Constrainedness of Search. [Citation Graph (0, 0)][DBLP ] Conf ] David M. Pennock , Quentin F. Stout Exploiting a Theory of Phase Transitions in Three-Satisfiability Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Tuomas Sandholm A Second Order Parameter for 3SAT. [Citation Graph (0, 0)][DBLP ] Conf ] Dan R. Vlasie The Very Particular Structure of the Very Hard Instances. [Citation Graph (0, 0)][DBLP ] Conf ] John L. Bresina Heuristic-Biased Stochastic Sampling. [Citation Graph (0, 0)][DBLP ] Conf ] Sven Koenig , Reid G. Simmons Easy and Hard Testbeds for Real-Time Search Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Richard E. Korf Improved Limited Discrepancy Search. [Citation Graph (0, 0)][DBLP ] Conf ] Yury V. Smirnov , Sven Koenig , Manuela M. Veloso , Reid G. Simmons Efficient Goal-Directed Exploration. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto J. Bayardo Jr. , Daniel P. Miranker A Complexity Analysis of Space-Bounded Learning Algorithms for the Constraint Satisfaction Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Toru Ishida , Masashi Shimbo Improving the Learning Efficiencies of Realtime Search. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Kainz , Hermann Kaindl Dynamic Improvements of Heuristic Evaluations during Search. [Citation Graph (0, 0)][DBLP ] Conf ] Mohammed H. Sqalli , Eugene C. Freuder Inference-Based Constraint Satisfaction Supports Explanation. [Citation Graph (0, 0)][DBLP ] Conf ] James Bowen , Gerry V. Dozier Constraint Satisfaction Using A Hybrid Evolutionary Hill-Climbing Algorithm That Performs Opportunistic Arc and Path Revision. [Citation Graph (0, 0)][DBLP ] Conf ] Byungki Cha , Kazuo Iwama Adding New Clauses for Faster Local Search. [Citation Graph (0, 0)][DBLP ] Conf ] Jeremy Frank Weighting for Godot: Learning Heuristics for GSAT. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Haynes Duplication of Coding Segments in Genetic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Kalev Kask , Rina Dechter A Graph-Based Method for Improving GSAT. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew J. Parkes , Joachim P. Walser Tuning Local Search for Satisfiability Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Schaerf Tabu Search Techniques for Large High-School Timetabling Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Jian Zhang , Hantao Zhang Combining Local Search and Backtracking Techniques for Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Bessière A Simple Way to Improve Path Consistency Processing in Interval Algebra Networks. [Citation Graph (0, 0)][DBLP ] Conf ] James P. Delgrande , Arvind Gupta A Representation for Efficient Temporal Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Drakengren , Peter Jonsson Maximal Tractable Subclasses of Allen's Interval Algebra: Preliminary Report. [Citation Graph (0, 0)][DBLP ] Conf ] Gerard Ligozat A New Proof of Tractability for ORD-Horn Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Paul T. Baffes , Raymond J. Mooney A Novel Application of Theory Refinement to Student Modeling. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher Rhodes Eliot III , Beverly Park Woolf A Simulation-Based Tutor that Reasons about Multiple Agents. [Citation Graph (0, 0)][DBLP ] Conf ] James C. Lester , Bruce W. Porter Scaling Up Explanation Generation: Large-Scale Knowledge Bases and Empirical Studies. [Citation Graph (0, 0)][DBLP ] Conf ] Brian A. Stone , James C. Lester Dynamically Sequencing an Animated Pedagogical Agent. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Bloedorn , Inderjeet Mani , T. Richard MacMillan Machine Learning of User Profiles: Representational Issues. [Citation Graph (0, 0)][DBLP ] Conf ] Eric A. Domeshek , Smadar Kedar , Andrew S. Gordon Interactive Information Retrieval Systems with Minimalist Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Kevin Knight Learning Word Meanings by Instruction. [Citation Graph (0, 0)][DBLP ] Conf ] Ted Pedersen , Mehmet Kayaalp , Rebecca F. Bruce Significant Lexical Relationships. [Citation Graph (0, 0)][DBLP ] Conf ] Robin D. Burke , Kristian J. Hammond , Benjamin C. Young Knowledge-Based Navigation of Complex Information Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Yolanda Gil , Eric Melz Explicit Representations of Problem-Solving Strategies to Support Knowledge Acquisition. [Citation Graph (0, 0)][DBLP ] Conf ] John Kingston , Nigel Shadbolt , Austin Tate CommonKADS Models for Knowledge-Based Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Vibhu O. Mittal , Johanna D. Moore Detecting Knowledge Base Inconsistencies Using Automated Generation of Text and Examples. [Citation Graph (0, 0)][DBLP ] Conf ] James M. Crawford , Daniel Dvorak , Diane J. Litman , Anil Mishra , Peter F. Patel-Schneider Path-Based Rules in Object-Oriented Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Alvaro del Val Approximate Knowledge Compilation: The First Order Case. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Marquis , Samira Sadaoui A New Algorithm for Computing Theory Prime Implicates Compilations. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Schrag Compilation for Critically Constrained Knowledge Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher Bailey-Kellogg , Feng Zhao , Kenneth Yip Spatial Aggregation: Language and Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Bundy , Fausto Giunchiglia , Roberto Sebastiani , Toby Walsh Computing Abstraction Hierarchies by Numerical Simulation. [Citation Graph (0, 0)][DBLP ] Conf ] Robert C. Holte , M. B. Perez , Robert M. Zimmer , Alan J. MacDonald Hierarchical A*: Searching Abstraction Hierarchies Efficiently. [Citation Graph (0, 0)][DBLP ] Conf ] Reiko Tsuneto , Kutluhan Erol , James A. Hendler , Dana S. Nau Commitment Strategies in Hierarchical Task Network Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Hideki Isozaki , Hirofumi Katsuno A Semantic Characterization of an Algorithm for Estimating Others' Beliefs from Observation. [Citation Graph (0, 0)][DBLP ] Conf ] Renwei Li , Luís Moniz Pereira What Is Believed Is What Is Explained (Sometimes). [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Liberatore , Marco Schaerf The Complexity of Model Checking for Belief Revision and Update. [Citation Graph (1, 0)][DBLP ] Conf ] Yan Zhang , Norman Y. Foo Updating Knowledge Bases with Disjunctive Information. [Citation Graph (0, 0)][DBLP ] Conf ] Daphne Koller , Joseph Y. Halpern Irrelevance and Conditioning in First-Order Probabilistic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Alon Y. Levy , Marie-Christine Rousset The Limits on Combining Recursive Horn Rules with Description Logics. [Citation Graph (3, 0)][DBLP ] Conf ] Alon Y. Levy , Marie-Christine Rousset Verification of Knowledge Bases Based on Containment Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Robert A. Weida Closed Terminologies in Description Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Sasa Buvac Quantificational Logic of Context. [Citation Graph (0, 0)][DBLP ] Conf ] Adnan Darwiche Utilizing Knowledge-Base Semantics in Graph-Based Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] John O. Everett , Kenneth D. Forbus Scaling up Logic-Based Truth Maintenance Systems via Fact Garbage Collection. [Citation Graph (0, 0)][DBLP ] Conf ] Fabio Massacci Contextual Reasoning Is NP-Complete. [Citation Graph (0, 0)][DBLP ] Conf ] David W. Etherington , James M. Crawford Toward Efficient Default Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Akira Fusaoka Situation Calculus on a Dense Flow of Time. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph S. Herrmann , Michael Thielscher Reasoning about Continuous Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Hudson Turner Splitting a Default Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Chitta Baral , Alfredo Gabaldon , Alessandro Provetti Formalizing Narratives Using Nested Circumscription. [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe De Giacomo , Xiao Jun Chen Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach. [Citation Graph (1, 0)][DBLP ] Conf ] G. Neelakantan Kartha On the Range of Applicability of Baker's Approach to the Frame Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Fangzhen Lin Embracing Causality in Specifying the Indeterminate Effects of Actions. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Alterman , Daniel Griffin Improving Case Retrieval by Remembering Questions. [Citation Graph (0, 0)][DBLP ] Conf ] David B. Leake , Andrew Kinley , David C. Wilson Acquiring Case Adaptation Knowledge: A Hybrid Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Hideo Shimazu , Yosuke Takashima Detecting Discontinuities in Case-Bases. [Citation Graph (0, 0)][DBLP ] Conf ] William A. Stubblefield , George F. Luger Source Selection for Analogical Reasoning: An Empirical Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Hussein Almuallim , Yasuhiro Akiba , Shigeo Kaneda An Efficient Algorithm for Finding Optimal Gain-Ratio Multiple-Split Tests on Hierarchical Attributes in Decision Tree Learning. [Citation Graph (1, 0)][DBLP ] Conf ] William W. Cohen Learning Trees and Rules with Set-Valued Features. [Citation Graph (2, 0)][DBLP ] Conf ] Jerome H. Friedman , Ron Kohavi , Yeogirl Yun Lazy Decision Trees. [Citation Graph (0, 0)][DBLP ] Conf ] J. Ross Quinlan Bagging, Boosting, and C4.5. [Citation Graph (0, 0)][DBLP ] Conf ] Vincent Corruble , Jean-Gabriel Ganascia The Discovery of the Causes of Leprosy: A Computational Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Tsuyoshi Murata , Masamichi Shimura Machine Discovery Based on Numerical Data Generated in Computer Experiments. [Citation Graph (0, 0)][DBLP ] Conf ] John Yen , Bogju Lee , James C. Liao Using a Hybrid Genetic Algorithm and Fuzzy Logic for Metabolic Modeling. [Citation Graph (0, 0)][DBLP ] Conf ] Jan M. Zytkow , Paul J. Fischer Incremental Discovery of Hidden Structure: Applications in Theory of Elementary Particles. [Citation Graph (0, 0)][DBLP ] Conf ] Subbarao Kambhampati Formalizing Dependency Directed Backtracking and Explanation Based Learning in Refinement Search. [Citation Graph (0, 0)][DBLP ] Conf ] Jihie Kim , Paul S. Rosenbloom Learning Efficient Rules by Maintaining the Explanation Structure. [Citation Graph (0, 0)][DBLP ] Conf ] Robert E. Wray III , John E. Laird , Randolph M. Jones Compilation of Non-Contemporaneous Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan Gratch Sequential Inductive Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Roni Khardon Learning to Take Actions. [Citation Graph (0, 0)][DBLP ] Conf ] Robert K. Lindsay , Annie S. Wu Testing the Robustness of the Genetic Algorithm on the Floating Building Block Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Carla E. Brodley , Mark A. Friedl Identifying and Eliminating Mislabeled Training Instances. [Citation Graph (0, 0)][DBLP ] Conf ] Yuh-Jyh Hu , Dennis F. Kibler Generation of Attributes for Learning Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Kramer Structural Regression Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Chun-Nan Hsu , Craig A. Knoblock Discovering Robust Knowledge from Dynamic Closed World Data. [Citation Graph (0, 0)][DBLP ] Conf ] Bing Liu , Wynne Hsu Post-Analysis of Learned Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth S. Murray KI: A Tool for Knowledge Integration. [Citation Graph (0, 0)][DBLP ] Conf ] Tara A. Estlin , Raymond J. Mooney Multi-Strategy Learning of Search Control for Partial-Order Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Laurie H. Ihrig , Subbarao Kambhampati Design and Implementation of a Replay Framework Based on a Partial Order Planner. [Citation Graph (0, 0)][DBLP ] Conf ] Steven Minton Is There Any Need for Domain-Dependent Control Information?: A Reply. [Citation Graph (0, 0)][DBLP ] Conf ] Tim Oates , Paul R. Cohen Searching for Planning Operators with Context-Dependent and Probabilistic Effects. [Citation Graph (0, 0)][DBLP ] Conf ] Sean P. Engelson Learning Robust Plans for Mobile Robots from a Single Trial. [Citation Graph (0, 0)][DBLP ] Conf ] Sridhar Mahadevan An Average-Reward Reinforcement Learning Algorithm for Computing Bias-Optimal Policies. [Citation Graph (0, 0)][DBLP ] Conf ] DoKyeong Ok , Prasad Tadepalli Auto-Exploratory Average Reward Reinforcement Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Justinian P. Rosca , Dana H. Ballard Evolution-Based Discovery of Hierarchical Behaviors. [Citation Graph (0, 0)][DBLP ] Conf ] 