Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th AAAI / 10. IAAI 1998: Madison, Wisconsin, USA
- Jack Mostow, Chuck Rich:
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, AAAI 98, IAAI 98, July 26-30, 1998, Madison, Wisconsin, USA. AAAI Press / The MIT Press 1998, ISBN 0-262-51098-7
AAAI-98 Technical Papers
AAAI-98 Outstanding Papers
- Justin A. Boyan, Andrew W. Moore:
Learning Evaluation Functions for Global Optimization and Boolean Satisfiability. 3-10 - Wolfram Burgard, Armin B. Cremers, Dieter Fox, Dirk Hähnel, Gerhard Lakemeyer, Dirk Schulz, Walter Steiner, Sebastian Thrun:
The Interactive Museum Tour-Guide Robot. 11-18 - Yahia Lebbah, Olivier Lhomme:
Acceleration Methods for Numeric CSPs. 19-24
Agents
Agent Interaction
- David Fitoussi, Moshe Tennenholtz:
Minimal Social Laws. 26-31 - Dov Monderer, Moshe Tennenholtz:
Optimal Auctions Revisited. 32-37
Formal Models of Agents' Commitments
- Martin Andersson, Tuomas Sandholm:
Leveled Commitment Contracts with Myopic and Strategic Agents. 38-45 - Tuomas Sandholm, Kate Larson, Martin Andersson, Onn Shehory, Fernando Tohmé:
Anytime Coalition Structure Generation with Worst Case Guarantees. 46-53
Motivation and Emotion
- Cynthia Breazeal:
A Motivational System for Regulating Human-Robot Interaction. 54-61 - Hirohide Ushida, Yuji Hirayama, Hiroshi Nakajima:
Emotion Model for Life-Like Agent and Its Evaluation. 62-69 - Juan David Velásquez:
When Robots Weep: Emotional Memories and Decision-Making. 70-75
Parallel AI / Agents and Representation
- Enrico Pontelli, Gopal Gupta, Janyce Wiebe, David Farwell:
Natural Language Multiprocessing: A Case Study. 76-82 - Zhaohua Zhang, Stan Franklin, Dipankar Dasgupta:
Metacognition in Software Agents Using Classifier Systems. 83-88
Social Agents
- Mihai Barbuceanu:
Agents That Work in Harmony by Knowing and Fulfilling Their Obligations. 89-96 - Gal A. Kaminka, Milind Tambe:
What Is Wrong With Us? Improving Robustness Through Social Diagnosis. 97-104
AI and Education
- Abigail S. Gertner, Cristina Conati, Kurt VanLehn:
Procedural Help in Andes: Generating Hints Using a Bayesian Network Student Model. 106-111 - Stuart G. Towns, Charles B. Callaway, James C. Lester:
Generating Coordinated Natural Language and 3D Animations for Complex Spatial Explanations. 112-119
Automated Reasoning
Belief Revision and Inconsistency
- Salem Benferhat, Didier Dubois, Jérôme Lang, Henri Prade, Alessandro Saffiotti, Philippe Smets:
Reasoning Under Inconsistency Based on Implicitly-Specified Partial Qualitative Probability Relations: A Unified Framework. 121-126 - Craig Boutilier, Nir Friedman, Joseph Y. Halpern:
Belief Revision with Unreliable Observations. 127-134
Design and Diagnosis
- Susan L. Epstein:
Toward Design as Collaboration. 135-142 - John R. Josephson, B. Chandrasekaran, Mark Carroll, Naresh Iyer, Bryon Wasacz, Giorgio Rizzoni, Qingyuam Li, David A. Erb:
An Architecture for Exploring Large Design Spaces. 143-150 - Nancy E. Reed:
Constructing the Correct Diagnosis When Symptoms Disappear. 151-156
Graphical Probabilistic Models
- Nir Friedman, Daphne Koller, Avi Pfeffer:
Structured Representation of Complex Stochastic Systems. 157-164 - Nicolas Meuleau, Milos Hauskrecht, Kee-Eung Kim, Leonid Peshkin, Leslie Pack Kaelbling, Thomas L. Dean, Craig Boutilier:
Solving Very Large Weakly Coupled Markov Decision Processes. 165-172 - Geoffrey Zweig, Stuart Russell:
Speech Recognition with Dynamic Bayesian Networks. 173-180
Model Construction and Analysis
- Reinhard Stolle, Elizabeth Bradley:
Multimodal Reasoning for Automatic Model Construction. 181-188 - Takashi Washio, Hiroshi Motoda:
Discovering Admissible Simultaneous Equations of Large Scale Systems. 189-196 - Brian C. Williams, William Millar:
Decompositional, Model-based Learning and its Analogy to Diagnosis. 197-204
Modeling the Web
- Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
What can Knowledge Representation do for Semi-Structured Data? 205-210 - Craig A. Knoblock, Steven Minton, José Luis Ambite, Naveen Ashish, Pragnesh Jay Modi, Ion Muslea, Andrew Philpot, Sheila Tejada:
Modeling Web Sources for Information Integration. 211-218
Qualitative Modeling
- Pieter J. Mosterman, Feng Zhao, Gautam Biswas:
An Ontology for Transitions in Physical Dynamic Systems. 219-224 - Neil Smith:
A New Architecture for Automated Modelling. 225-231
Qualitative Reasoning Techniques
- Christopher Bailey-Kellogg, Feng Zhao:
Qualitative Analysis of Distributed Physical Systems with Applications to Control Synthesis. 232-239 - Daniel J. Clancy, Benjamin Kuipers:
Qualitative Simulation as a Temporally-extended Constraint Satisfaction Problem. 240-247
Temporal Reasoning
- Kostas Stergiou, Manolis Koubarakis:
Backtracking Algorithms for Disjunctions of Temporal Constraints. 248-253 - Ioannis Tsamardinos, Nicola Muscettola, Paul H. Morris:
Fast Transformation of Temporal Plans for Efficient Execution. 254-261
Theorem Proving
- Marco Cadoli, Andrea Giovanardi, Marco Schaerf:
An Algorithm to Evaluate Quantified Boolean Formulae. 262-267 - Jérôme Lang, Pierre Marquis:
Two Forms of Dependence in Propositional Logic: Controllability and Definability. 268-273 - Fabio Massacci:
Anytime Approximate Modal Reasoning. 274-279
Tractable Inference
- Yacine Boufkhad:
Algorithms for Propositional KB Approximation. 280-285 - James M. Crawford, David W. Etherington:
A Non-Deterministic Semantics for Tractable Inference. 286-291 - Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino:
Computing Intersections of Horn Theories for Reasoning with Models. 292-297
Constraint Satisfaction and Search
Analysis of Search
- Stefan Edelkamp, Richard E. Korf:
The Branching Factor of Regular Search Spaces. 299-304 - Richard E. Korf, Michael Reid:
Complexity Analysis of Admissible Heuristic Search. 305-310
Constraint Satisfaction Problems
- Fahiem Bacchus, Peter van Beek:
On the Conversion between Non-Binary and Binary Constraint Satisfaction Problems. 310-318 - Christian Bliek:
Generalizing Partial Order and Dynamic Backtracking. 319-325 - Berthe Y. Choueiry, Guevara Noubir:
On the Computation of Local Interchangeability in Discrete Constraint Satisfaction Problems. 326-333 - Matthew L. Ginsberg, Andrew J. Parkes, Amitabha Roy:
Supermodels and Robustness. 334-339 - David Joslin, David P. Clements:
"Squeaky Wheel" Optimization. 340-346 - Javier Larrosa, Pedro Meseguer, Thomas Schiex, Gérard Verfaillie:
Reversible DAC and Other Improvements for Solving Max-CSP. 347-352 - Lionel Lobjois, Michel Lemaître:
Branch and Bound Algorithm Selection by Performance Prediction. 353-358 - Jean-Francois Puget:
A Fast Algorithm for the Bound Consistency of alldiff Constraints. 359-366 - John Thornton, Abdul Sattar:
Using Arc Weights to Improve Iterative Repair. 367-372 - Joachim P. Walser, Ramesh Iyer, Narayan Venkatasubramanyan:
An Integer Local Search Method with Application to Capacitated Production Planning. 373-379 - Jason H. Y. Wong, Ho-fung Leung:
Extending GENET to Solve Fuzzy Constraint Satisfaction Problems. 380-385
Constraint Satisfaction Problems - Local Search
- Olivier Bailleux:
Local Search for Statistical Counting. 386-391 - Soraya B. Rana, Robert B. Heckendorn, L. Darrell Whitley:
A Tractable Walsh Analysis of SAT and its Implications for Genetic Algorithms. 392-397
Constraint Satisfaction Problems - Understanding Intractability
- David G. Mitchell:
Hard Problems for CSP Algorithms. 398-405 - Toby Walsh:
The Constrainedness Knife-Edge. 406-411
Heuristic Search
- Eric A. Hansen, Shlomo Zilberstein:
Heuristic Search in Cyclic AND/OR Graphs. 412-418 - Andreas Junghanns, Jonathan Schaeffer:
Single-Agent Search in the Presence of Deadlocks. 419-425 - Weixiong Zhang:
Complete Anytime Beam Search. 425-430
Random Approaches to Search
- Carla P. Gomes, Bart Selman, Henry A. Kautz:
Boosting Combinatorial Search Through Randomization. 431-437 - Tad Hogg:
Which Search Problems Are Random? 438-443
Search and Limited Resources
- Brian Logan, Natasha Alechina:
A* with Bounded Costs. 444-449 - Teruhisa Miura, Toru Ishida:
Stochastic Node Caching for Memory-bounded Search. 450-456
Search Control in Theorem Proving
- Matthias Fuchs:
A Feature-Based Learning Method for Theorem Proving. 457-462 - Oleg Ledeniov, Shaul Markovitch:
Learning Investment Functions for Controlling the Utility of Control Knowledge. 463-468
Uncertainty Search and Optimization
- Shumeet Baluja, Scott Davies:
Fast Probabilistic Modeling for Combinatorial Optimization. 469-476 - Louis I. Steinberg, J. Storrs Hall, Brian D. Davison:
Highest Utility First Search Across Multiple Levels of Stochastic Design. 477-484
Evolvable Hardware
- Hidenori Sakanashi, Mehrdad Salami, Masaya Iwata, Shogo Nakaya, Tsukasa Yamauchi, Takeshi Inuo, Nobuki Kajihara, Tetsuya Higuchi:
Evolvable Hardware Chip for High Precision Printer Image Compression. 486-491
Game Playing
- Darse Billings, Denis Papp, Jonathan Schaeffer, Duane Szafron:
Opponent Modeling in Poker. 493-499 - Ian Frank, David A. Basin, Hitoshi Matsubara:
Finding Optimal Strategies for Imperfect Information Games. 500-507
Information Extraction
- Mark Craven, Dan DiPasquo, Dayne Freitag, Andrew McCallum, Tom M. Mitchell, Kamal Nigam, Seán Slattery:
Learning to Extract Symbolic Knowledge from the World Wide Web. 509-516 - Dayne Freitag:
Information Extraction from HTML: Application of a General Machine Learning Approach. 517-523 - Udo Hahn, Klemens Schnattinger:
Towards Text Knowledge Engineering. 524-531 - Vladimir A. Kulyukin, Kristian J. Hammond, Robin D. Burke:
Answering Questions for an Organization Online. 532-537
Integrated AI Systems
- Victor R. Lesser, Bryan Horling, Frank Klassner, Anita Raja, Thomas Wagner, Xiaoqin Zhang:
BIG: A Resource-Bounded Information Gathering Agent. 539-546
Intelligent Environments
- Michael H. Coen:
Design Principles for Intelligent Environments. 547-554 - David Franklin:
Cooperating with people: the Intelligent Classroom. 555-560
Planning and Problem Solving
- Marie A. Bienkowski, Louis J. Hoebel:
Integrating AI Components for a Military Planning Application. 561-566 - George Ferguson, James F. Allen:
TRIPS: An Integrated Intelligent Problem-Solving Assistant. 567-572
Knowledge Representation
Concepts and Context
- Sarabjot S. Anand, David W. Patterson, John G. Hughes:
Knowledge Intensive Exception Spaces. 574-579 - Daphne Koller, Avi Pfeffer:
Probabilistic Frame-Based Systems. 580-587
Fuzzy Logic
- Didier Dubois, Daniel Le Berre, Henri Prade, Régis Sabbadin:
Logical Representation and Computation of Optimal Decisions in a Qualitative Setting. 588-593 - Umberto Straccia:
A Fuzzy Description Logic. 594-599
Knowledge Base Design
- Vinay K. Chaudhri, Adam Farquhar, Richard Fikes, Peter D. Karp, James Rice:
OKBC: A Programmatic Foundation for Knowledge Base Interoperability. 600-607 - Deborah L. McGuinness, Peter F. Patel-Schneider:
Usability Issues in Knowledge Representation Systems. 608-614 - Natalya Fridman Noy, Carole D. Hafner:
Representing Scientific Experiments: Implications for Ontology Design and Knowledge Sharing. 615-622
Representation of Action
- Enrico Giunchiglia, Vladimir Lifschitz:
An Action Language Based on Causal Explanation: Preliminary Report. 623-630 - Matthew Stone
:
Abductive Planning with Sensing. 631-636
Robotics
- Phan Minh Dung:
A Formal Methodology for Verifying Situated Agents. 637-642 - Amar Isli, Anthony G. Cohn:
An Algebra for Cyclic Ordering of 2D Orientations. 643-649
Time and Representation
- Leendert W. N. van der Torre, Yao-Hua Tan:
The Temporal Analysis of Chisholm's Paradox. 650-655 - Rattana Wetprasit, Abdul Sattar:
Temporal Reasoning with Qualitative and Quantitative Information about Points and Durations. 656-663
Learning
- Mark Brodie, Gerald DeJong:
Iterated Phantom Induction: A Little Knowledge Can Go a Long Way. 665-670 - Bradley C. Love, Douglas L. Medin:
SUSTAIN: A Model of Human Category Learning. 671-676
Genetic Algorithm Applications
- J. Ross Beveridge:
Optimal 2D Model Matching Using a Messy Genetic Algorithm. 677-683 - David E. Moriarty, Pat Langley:
Learning Cooperative Lane Selection Strategies for Highways. 684-691
Inductive Learning
- Adam J. Grove, Dale Schuurmans:
Boosting in the Limit: Maximizing the Margin of Learned Ensembles. 692-699 - Richard Maclin:
Boosting Classifiers Regionally. 700-705 - Foster J. Provost, Tom Fawcett:
Robust Classification Systems for Imprecise Environments. 706-713
Learning about People
- Chumki Basu, Haym Hirsh, William W. Cohen:
Recommendation as Classification: Using Social and Content-Based Information in Recommendation. 714-720 - Melinda T. Gervasio, Wayne Iba, Pat Langley:
Learning to Predict User Operations for Adaptive Scheduling. 721-726 - Mike Perkowitz, Oren Etzioni:
Adaptive Web Sites: Automatically Synthesizing Web Pages. 727-732
Learning from Sequences
- Daniel Kudenko, Haym Hirsh:
Feature Generation for Sequence Categorization. 733-738 - Michael T. Rosenstein, Paul R. Cohen:
Concepts From Time Series. 739-745
Reinforcement Learning
- Caroline Claus, Craig Boutilier:
The Dynamics of Reinforcement Learning in Cooperative Multiagent Systems. 746-752 - Scott Davies, Andrew Y. Ng, Andrew W. Moore:
Applying Online Search Techniques to Continuous-State Reinforcement Learning. 753-760 - Richard Dearden, Nir Friedman, Stuart Russell:
Bayesian Q-Learning. 761-768 - William T. B. Uther, Manuela M. Veloso:
Tree Based Discretization for Continuous State Space Reinforcement Learning. 769-774
Natural Language
Grammar and Language
- Hugues Juillé, Jordan B. Pollack:
A Sampling-Based Heuristic for Tree Search Applied to Grammar Induction. 776-783 - Erik G. Miller, Paul A. Viola:
Ambiguity and Constraint in Mathematical Expression Recognition. 784-791
Learning in Natural Language
- Kamal Nigam, Andrew McCallum, Sebastian Thrun, Tom M. Mitchell:
Learning to Classify Text from Labeled and Unlabeled Documents. 792-799 - Ted Pedersen, Rebecca F. Bruce:
Knowledge Lean Word-Sense Disambiguation. 800-805 - Dan Roth:
Learning to Resolve Natural Language Ambiguities: A Unified Approach. 806-813
Natural Language Generation
- Helmut Horacek:
Generating Inference-Rich Discourse Through Revisions of RST-Trees. 814-820 - Inderjeet Mani, Eric Bloedorn:
Machine Learning of Generic and User-Focused Summarization. 821-826
Natural Language Generation - Argumentation
- Nikos I. Karacapilidis, Dimitris Papadias:
Hermes: Supporting Argumentative Discourse in Multi-Agent Decision Making. 827-832 - Ingrid Zukerman, Richard McConachy, Kevin B. Korb:
Bayesian Reasoning in an Abductive Mechanism for Argument Generation and Analysis. 833-838
Nonmonotonic Reasoning
- Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski:
Fixpoint 3-Valued Semantics for Autoepistemic Logic. 840-845 - Eric Klavins, William C. Rounds, Guo-Qiang Zhang:
Experimenting with Power Default Reasoning. 846-852 - Riccardo Rosati:
Reducing Query Answering to Satisfiability in Nonmonotonic Logics. 853-858
Planning
- Neal Lesh, Nathaniel G. Martin, James F. Allen:
Improving Big Plans. 860-867 - Michael Wolverton, Marie desJardins:
Controlling Communication in Distributed Planning Using Irrelevance Reasoning. 868-874
Frameworks for Plan Generation
- Alessandro Cimatti, Marco Roveri, Paolo Traverso:
Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains. 875-881 - Subbarao Kambhampati, Amol Dattatraya Mali, Biplav Srivastava:
Hybrid Planning for Partially Hierarchical Domains. 882-888
Graph Plan
- David E. Smith, Daniel S. Weld:
Conformant Graphplan. 889-896 - Daniel S. Weld, Corin R. Anderson, David E. Smith:
Extending Graphplan to Handle Uncertainty & Sensing Actions. 897-904
Plan Efficiency
- Alfonso Gerevini, Lenhart K. Schubert:
Inferring State Constraints for Domain-Independent Planning. 905-912 - Reiko Tsuneto, James A. Hendler, Dana S. Nau:
Analyzing External Conditions to Improve the Efficiency of HTN Planning. 913-920
Plan Execution
- Michael Freed:
Managing Multiple Tasks in Complex, Dynamic Environments. 921-927 - Robert E. Wray III, John E. Laird:
Maintaining Consistency in Hierarchical Reasoning. 928-935
Plan Recognition
- Mathias Bauer:
Acquisition of Abstract Plan Descriptions for Plan Recognition. 936-941 - Mark Devaney, Ashwin Ram:
Needles in a Haystack: Plan Recognition in Large Spatial Domains Involving Multiple Agents. 942-947
Planning as Satisfiability
- Enrico Giunchiglia, Alessandro Massarotto, Roberto Sebastiani:
Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability. 948-953