Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16th IJCAI 1999: Stockholm, Sweden
- Thomas Dean:
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages. Morgan Kaufmann 1999, ISBN 1-55860-613-0
VOLUME 1
Automated Reasoning
Theorem Proving
- Marc Fuchs:
Lemma Generation for Model Elimination by Combining Top-Down and Bottom-Up Inference. 4-9 - Jörg Denzinger, Dirk Fuchs:
Cooperation of Heterogeneous Provers . 10-15 - Dieter Fensel, V. Richard Benjamins, Enrico Motta, Bob J. Wielinga:
UPML: A Framework for Knowledge System Reuse. 16-23
Nonmonotonic Reasoning 1
- Sylvie Coste-Marquis, Pierre Marquis:
Complexity Results for Propositional Closed World Reasoning and Circumscription from Tractable Knowledge Bases. 24-29 - Alexander Bochman:
Credulous Nonmonotonic Inference. 30-35 - Yannis Dimopoulos, Bernhard Nebel, Francesca Toni:
Preferred Arguments are Harder to Compute than Stable Extension. 36-43
Nonmonotonic Reasoning 2
- Katsumi Inoue, Chiaki Sakama:
Abducing Priorities to Derive Intended Conclusions. 44-49 - Rachel A. Bourne, Simon Parsons:
Maximum Entropy and Variable Strength Defaults. 50-55 - Pierre Hansen, Brigitte Jaumard, A. D. Parreira:
On the Relations between Probabilistic Logic and p-CMS. 56-63
Nonmonotonic Reasoning 3: Model Checking Methods
- Robert Baumgartner, Georg Gottlob:
On the Complexity of Model Checking for Propositional Default Logics: New Results and Tractable Cases. 64-69 - Christoph Koch, Nicola Leone:
Stable Model Checking Made Easy. 70-75 - Riccardo Rosati:
Model Checking for Nonmonotonic Logics: Algorithms and Complexity. 76-83
Description Logics 1
- Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees. 84-89 - Carsten Lutz:
Reasoning with Concrete Domains. 90-95 - Franz Baader, Ralf Küsters, Ralf Molitor:
Computing Least Common Subsumers in Description Logics with Existential Restrictions. 96-103
Description Logics 2
- Frank Wolter, Michael Zakharyaschev:
Multi-Dimensional Description Logics. 104-109 - Ullrich Hustadt, Renate A. Schmidt:
On the Relation of Resolution and Tableaux Proof Systems for Description Logics. 110-117
Semantics and Models
- Pavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko, Norman Y. Foo, Abhaya C. Nayak:
Preferential Semantics for Causal Systems. 118-123 - Gerhard Lakemeyer, Hector J. Levesque:
Query Evaluation and Progression in AOL Knowledge Bases. 124-131 - Adriana Zapico:
Axiomatic Foundations for Qualitative/Ordinal Decisions with Partial Preferences. 132-139
Reasoning about Action 1
- Murray Shanahan:
The Ramification Problem in the Event Calculus. 140-146 - Eyal Amir, Pedrito Maynard-Reid II:
Logic-Based Subsumption Architecture. 147-152 - Eugenia Ternovskaia:
Automata Theory for Reasoning About Actions. 153-159
Reasoning about Action 2
- Giuseppe De Giacomo, Hector J. Levesque:
Projection Using Regression and Sensors. 160-165 - Thomas Drakengren, Marcus Bjäreland:
Expressive Reasoning about Action in Nondeterministic Polynomial Time. 166-171 - Xiaoping Chen, Guiquan Liu:
A Logic of Intention. 172-179
Belief Revision
- James P. Delgrande:
Considerations on a Similarity-Based Approach to Beleif Change. 180-185 - Gabriele Kern-Isberner:
Postulates for Conditional Belief Revision. 186-191 - Samir Chopra, Rohit Parikh:
An Inconsistency Tolerant Model for Belief Representation and Belief Revision. 192-199
Resource-Bounded Reasoning
- Michael Fisher, Chiara Ghidini:
Programming Resource-Bounded Deliberative Agents. 200-205 - Michel Lemaître, Gérard Verfaillie, Nicolas Bataille:
Exploiting a Common Property Resource under a Fairness Constraint: a Case Study. 206-211 - Arnaud Delhay, Max Dauchet, Patrick Taillibert, Philippe Vanheeghe:
Maximization of the Average Quality of Anytime Contract Algorithms over a Time Interval. 212-221
Case-Based Reasoning
Case-Based Reasoning 1
- David McSherry:
Demand-Driven Discovery of Adaptation Knowledge. 222-227 - Zhong Zhang, Qiang Yang:
Dynamic Refinement of Feature Weights Using Quantitative Introspective Learning. 228-233 - Jun Zhu, Qiang Yang:
Remembering to Add: Competence-preserving Case-Addition Policies for Case Base Maintenance. 234-241
Case-Based Reasoning 2
- Andres F. Rodriguez, Sunil Vadera:
PEBM: A Probabilistic Exemplar Based Model. 242-247 - Eyke Hüllermeier:
Toward a Probabilistic Formalization of Case-Based Inference. 248-253 - Hui Wang, Werner Dubitzky, Ivo Düntsch, David A. Bell:
A Lattice Machine Approach to Automated Casebase Design: Marrying Lazy and Eager Learning. 254-263
Challenge Papers
Challenge Papers 1
- Mike Perkowitz, Oren Etzioni:
Adaptive Web Sites: Conceptual Cluster Mining. 264-269 - Ashwin Srinivasan, Ross D. King, Douglas W. Bristol:
An assessment of submissions made to the Predictive Toxicology Evaluation Challenge. 270-275 - Milind Tambe, Gal A. Kaminka, Stacy Marsella, Ion Muslea, Taylor Raines:
Two Fielded Teams and Two Experts: A RoboCup Challenge Response from the Trenches. 276-283
Challenge Papers 2: Propositional Reasoning and Search
- Adnan Darwiche:
Compiling Knowledge into Decomposable Negation Normal Form. 284-289 - Fabio Massacci:
Using Walk-SAT and Rel-Sat for Cryptographic Key Search. 290-295 - Holger H. Hoos:
SAT-Encodings, Search Space Structure, and Local Search Performance. 296-303
Challenge Papers 3: Propositional Reasoning and Search / Planning
- Thomas Vossen, Michael O. Ball, Amnon Lotem, Dana S. Nau:
On the Use of Integer Programming Models in AI Planning. 304-309 - Steven A. Wolfman, Daniel S. Weld:
The LPSAT Engine & Its Application to Resource Planning. 310-317
Challenge Papers 4: Bridging Plan Synthesis Paradigms
- Henry A. Kautz, Bart Selman:
Unifying SAT-based and Graph-based Planning. 318-325 - David E. Smith, Daniel S. Weld:
Temporal Planning with Mutual Exclusion Reasoning. 326-337
Cognitive Modeling
Cognitive Modeling 1
- Elisabeth Le Saux, Philippe Lenca, Philippe Picouet, Jean-Pierre Barthélemy:
An Anthropocentric Tool for Decision Making Support. 338-343 - Edwin D. de Jong:
Autonomous Concept Formation. 344-349 - Srinivas Narayanan:
Reasoning About Actions in Narrative Understanding. 350-357
Cognitive Modeling 2
- Armin Fiedler:
Using a Cognitive Architecture to Plan Dialogs for the Adaptive Explanation of Proofs. 358-363 - Bart G. de Boer:
Investigating the Emergence of Speech Sounds. 364-369 - Filippo Neri:
Computer Aided Tracing of Children?s Physics Learning: a Teacher Oriented View. 370-377
Cognitive Modeling 3: Spatial Reasoning
- Norman Y. Foo, Maurice Pagnucco, Abhaya C. Nayak:
Diagrammatic Proofs. 378-383 - Christian Kray, Anselm Blocher:
Modeling the Basic Meanings of Path Relations. 384-393
Constraint Satisfaction
Constraint Satisfaction 1
- Georg Gottlob, Nicola Leone, Francesco Scarcello:
A Comparison of Structural CSP Decomposition Methods. 394-399 - Pedro Meseguer, Carme Torras:
Solving Strategies for Highly Symmetric CSPs. 400-405 - Hélène Collavizza, François Delobel, Michel Rueher:
Extending Consistent Domains of Numeric CSP. 406-413
Constraint Satisfaction 2
- Kostas Stergiou, Toby Walsh:
The Difference All-Difference Makes. 414-419 - Jean-Charles Régin:
The Symmetric Alldiff Constraint. 420-425 - Kalev Kask, Rina Dechter:
Branch and Bound with Mini-Bucket Heuristics. 426-435
Constraint Satisfaction 3
- Nikos Mamoulis, Dimitris Papadias:
Improving Search Using Indexing: A Study with Temporal CSPs. 436-441 - Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro:
A New Tractable Subclass of the Rectangle Algebra. 442-447 - Jochen Renz:
Maximal Tractable Fragments of the Region Connection Calculus: A Complete Analysis. 448-455
Constraint Satisfaction 4
- Christian Bliek, Djamila Sam-Haroud:
Path Consistency on Triangulated Constraint Graphs. 456-461 - Jörg Hoffmann, Jana Koehler:
A New Method to Index and Query Sets. 462-467 - Evelina Lamma, Paola Mello, Michela Milano, Rita Cucchiara, Marco Gavanelli, Massimo Piccardi:
Constraint Propagation and Value Acquisition: Why we should do it Interactively. 468-477
Distributed AI
Multi-Agent Systems 1
- Craig Boutilier:
Sequential Optimality and Coordination in Multiagent Systems. 478-485 - Jeremy Pitt, E. H. Mamdani:
A Protocol-Based Semantics for an Agent Communication Language. 486-491 - Sanguk Noh, Piotr J. Gmytrasiewicz:
Towards Flexible Multi-Agent Decision-Making Under Time Pressure. 492-499
Multi-Agent Systems 2
- Shih-Hung Wu, Von-Wun Soo:
Risk Control in Multi-agent Coordination by Negotiation with a Trusted Third Party. 500-505 - Amy Greenwald, Jeffrey O. Kephart:
Shopbots and Pricebots. 506-511 - Sudhir K. Rustogi, Munindar P. Singh:
Be Patient and Tolerate Imprecision: How Autonomous Agents can Coordinate Effectively. 512-519
Economic Models 1
- William E. Walsh, Michael P. Wellman:
Efficiency and Equilibrium in Task Allocation Economies with Hierarchical Dependencies. 520-526 - Craig Boutilier, Moisés Goldszmidt, Bikash Sabata:
Sequential Auctions for the Allocation of Resources with Complementarities. 527-523 - Tuomas Sandholm, Sandeep Sikka, Samphel Norden:
Algorithms for Optimizing Leveled Commitment Contracts. 535-541
Economic Models 2: Auctions
- Tuomas Sandholm:
An Algorithm for Optimal Winner Determination in Combinatorial Auctions. 542-547 - Yuzo Fujishima, Kevin Leyton-Brown, Yoav Shoham:
Taming the Computational Complexity of Combinatorial Auctions: Optimal and Approximate Approaches. 548-553 - Yuzo Fujishima, David McAdams, Yoav Shoham:
Speeding Up Ascending-Bid Auctions. 554-563
Computer Game Playing
Game Playing 1
- Donald F. Beal, Martin C. Smith:
Temporal Coherence and Prediction Decay in TD Learning. 564-569 - Andreas Junghanns, Jonathan Schaeffer:
Domain-Dependent Single-Agent Search Enhancements. 570-577
Game Playing 2
- Martin Müller:
Decomposition Search: A Combinatorial Games Approach to Game Tree Search, with Applications to Solving Go Endgames. 578-583 - Matthew L. Ginsberg:
GIB: Steps Toward an Expert-Level Bridge-Playing Program. 584-593
Knowledge-Based Applications
Applications 1
- Andrew Lim:
An Effective Ship Berthing Algorithm. 594-599 - Ian D. Watson, Dan Gardingen:
A Distributed Case-Based Reasoning Application for Engineering Sales Support. 600-605 - Liviu Badea:
Knowledge Modeling and Reusability in ExClaim. 606-613
Applications 2
- Mary F. Fernández, Daniela Florescu, Alon Y. Levy, Dan Suciu:
Verifying Integrity Constraints on Web Sites. 614-619 - Christophe Dousson, Thang Vu Duong:
Discovering Chronicles with Numerical Time Constraints from Alarm Logs for Monitoring Dynamic Systems. 620-626 - James S. Aitken, Dimitrios Sklavakis:
Integrating Problem-Solving Methods into CYC. 627-633
Applications 3
- Michelle X. Zhou:
Visual Planning: A Practical Approach to Automated Presentation Design. 634-641 - Taizan Suzuki, Takenobu Tokunaga, Hozumi Tanaka:
A Case Based Approach to the Generation of Musical Expression. 642-648 - Renaud Lecoeuche, Catherine Barry, David Stuart Robertson:
Using Focus Rules in Requirements Elicitation Dialogues. 649-654
VOLUME 2
Machine Learning
Learning for Information Retrieval 1
- Andrew McCallum, Kamal Nigam, Jason Rennie, Kristie Seymore:
A Machine Learning Approach to Building Domain-Specific Search Engines. 662-667 - Eibe Frank, Gordon W. Paynter, Ian H. Witten, Carl Gutwin, Craig G. Nevill-Manning:
Domain-Specific Keyphrase Extraction. 668-673 - Georgios Paliouras, Vangelis Karkaletsis, Constantine D. Spyropoulos:
Learning Rules for Large Vocabulary Word Sense Disambiguation. 674-681
Learning for Information Retrieval 2
- Thomas Hofmann:
The Cluster-Abstraction Model: Unsupervised Learning of Topic Hierarchies from Text Data. 682-687 - Thomas Hofmann, Jan Puzicha:
Latent Class Models for Collaborative Filtering. 688-693 - Anne Veling, Peter van der Weerd:
Conceptual Grouping in Word Co-Occurrence Networks. 694-701
Classification Learning 1
- Geoffrey I. Webb:
Decision Tree Grafting From the All Tests But One Partition. 702-707 - Michèle Sebag:
Constructive Induction: A Version Space-based Approach. 708-713 - Pedro M. Domingos:
Process-Oriented Estimation of Generalization Error. 714-721
Classification Learning 2: Support Vector Machines
- Craig Saunders, Alex Gammerman, Volodya Vovk:
Transduction with Confidence and Credibility. 722-726 - Jason Weston:
Leave-One-Out Support Vector Machines. 727-733
Reinforcement Learning 1
- Ronen I. Brafman, Moshe Tennenholtz:
A Near-Optimal Poly-Time Algorithm for Learning a class of Stochastic Games. 734-739 - Michael J. Kearns, Daphne Koller:
Efficient Reinforcement Learning in Factored MDPs. 740-747 - Vassilis A. Papavassiliou, Stuart Russell:
Convergence of Reinforcement Learning with General Function Approximators. 748-757
Reinforcement Learning 2: Applications
- Shailesh Kumar, Risto Miikkulainen:
Confidence Based Dual Reinforcement Q-Routing: An adaptive online network routing algorithm. 758-763 - Simone C. Riedmiller, Martin A. Riedmiller:
A Neural Reinforcement Learning Approach to Learn Local Dispatching Policies in Production Scheduling. 764-771
Automated Discovery
- Takashi Washio, Hiroshi Motoda, Yuji Niwa:
Discovering Admissible Model Equations from Observed Data Based on Scale-Types and Identity Constrains. 772-779 - Gilles Caporossi, Pierre Hansen:
Finding Relations in Polynomial Time. 780-785 - Simon Colton, Alan Bundy, Toby Walsh:
Automatic Concept Formation in Pure Mathematics. 786-793
Data Mining
- Tim Oates, Matthew D. Schmill, Paul R. Cohen:
Efficient Mining of Statistical Dependencies. 794-799 - Rachel Ben-Eliyahu-Zohary, Ehud Gudes:
Towards Efficient Metaquerying. 800-805 - Hung Son Nguyen:
Efficient SQL-Querying Method for Data Mining in Large Data Bases. 806-813
Neural Networks 1
- Lotfi Ben Romdhane:
A Potts Spin MFT Network Solving Multiple Causal Interactions. 814-819 - Marshall R. Mayberry, Risto Miikkulainen:
SARDSRN: A Neural Network Shift-Reduce Parser. 820-827
Neural Networks 2
- Odin Taylor, John MacIntyre, John Tait:
Improved Classification for a Data Fusing Kohonen Self Organizing Map Using A Dynamic Thresholding Technique. 828-832 - Nigel P. Duffy, Arun K. Jagota:
Generalized Connectionist Associative Memory. 833-839
Hybrid systems: Neural and Symbolic Processing
- Stefan Wermter:
Preference Moore Machines for Neural Fuzzy Integration. 840-845 - Alexander A. Petrov, Boicho N. Kokinov:
Processing Symbols at Variable Speed in DUAL: Connectionist Activation as Power Supply. 846-851 - João Luís Garcia Rosa, Edson Françozo:
Hybrid Thematic Role Processor: Symbolic Linguistic Relations Revised by Connectionist Learning. 852-861
Natural Language Processing
Natural Language Processing 1
- Luc Steels, Frédéric Kaplan:
Situated Grounded Word Semantics. 862-867 - Martin Romacker, Udo Hahn, Katja Markert:
Lean Semantic Interpretation. 868-875 - Chris Reed:
The Role of Saliency in Generating Natural Language Arguments. 876-883
Natural Language Processing 2
- Mark Stevenson, Yorick Wilks:
Combining Weak Knowledge Sources for Sense Disambiguation. 884-889 - Fabio Ciravegna, Alberto Lavelli, Luca Gilardoni, Johannes Matiasek, Nadia Mana, Silvia Mazza, Massimo Ferraro, William J. Black, Fabio Rinaldi, David Mowatt:
FACILE: Classifying Texts Integrating Pattern Matching and Information Extraction. 890-897
Natural Language Processing 3: Learning
- Dan Roth:
Learning in Natural Language. 898-904 - Bhavani Raskutti, Christopher Leckie:
An Evaluation of Criteria for Measuring the Quality of Clusters. 905-910 - Roni Khardon, Dan Roth, Leslie G. Valiant:
Relational Learning for NLP using Linear Threshold Elements. 911-919
Natural Language Processing 4: Information Retrieval
- Rila Mandala, Takenobu Tokunaga, Hozumi Tanaka:
Combining General Hand-Made and Automatically Constructed Thesauri for Query Expansion in Information Retrieval. 920-925 - Hidetsugu Nanba, Manabu Okumura:
Towards Multi-paper Summarization Using Reference Information. 926-931 - Peter M. Wiemer-Hastings:
How Latent is Latent Semantic Analysis? 932-941
Planning and Scheduling
Planning 1
- Patrick Fabiani, Jean-Claude Latombe:
Dealing with Geometric Constraints in Game-Theoretic Planning. 942-947 - Chitta Baral, Vladik Kreinovich, Raul Trejo:
Computational Complexity of Planning and Approximate Planning in Presence of Incompleteness. 948-955
Planning 2: Exploiting Domain Structure
- Maria Fox, Derek Long:
The Detection and Exploitation of Symmetry in Planning Problems. 956-961 - Mathias Bauer:
From Interaction Data to Plan Libraries: A Clustering Approach. 962-967 - Dana S. Nau, Yue Cao, Amnon Lotem, Héctor Muñoz-Avila:
SHOP: Simple Hierarchical Ordered Planner. 968-975
Planning 3: Disjunctive Planning
- Ronen I. Brafman:
Reachability, Relevance, Resolution and the Planning as Satisfiability Approach. 976-981 - Subbarao Kambhampati:
Improving Graphplan's Search with EBL & DDB Techniques. 982-987 - Ronen I. Brafman, Holger H. Hoos:
To Encode or Not to Encode - Linear Planning. 988-995
Planning 4: Uncertainty and Time Constraints
- Emmanuel Guere, Rachid Alami:
A Possibilistic Planner that Deals with Non-Determinism and Contingency. 996-1001 - Thierry Vidal, Silvia Coradeschi:
Highly Reactive Decision Making: A Game with Time. 1002-1007 - Shlomo Zilberstein, François Charpillet, Philippe Chassaing:
Real-Time Problem-Solving with Contract Algorithms. 1008-1015
Scheduling
- Denise Draper, Ari K. Jónsson, David P. Clements, David Joslin:
Cyclic Scheduling. 1016-1021 - Amedeo Cesta, Angelo Oddi, Stephen F. Smith:
An Iterative Sampling Procedure for Resource Constrained Project Scheduling with Time Windows. 1022-1033
Qualitative Reasoning and Diagnosis
Qualitative Reasoning 1
- Ivayla Vatcheva, Hidde de Jong:
Semi-Quantitative Comparative Analysis. 1034-1040 - Riccardo Bellazzi, Raffaella Guglielmann, Liliana Ironi:
A Qualitative-Fuzzy Framework for Nonlinear Black-Box System Identification. 1041-1046 - Matthew Easley, Elizabeth Bradley:
Generalized Physical Networks for Automated Model Building. 1047-1053
Qualitative Reasoning 2: Spatial Reasoning
- Takushi Sogo, Hiroshi Ishiguro, Toru Ishida:
Acquisition of Qualitative Spatial Representation by Visual Observation. 1054-1060 - Antony Galton, Richard C. Meathrel:
Qualitative Outline Theory. 1061-1066 - Alexandra Musto, Klaus Stein, Andreas Eisenkolb, Thomas Röfer:
Qualitative and Quantitative Representations of Locomotion and their Application in Robot Navigation. 1067-1073
Diagnosis 1
- Markus Stumptner, Franz Wotawa:
Debugging Functional Programs. 1074-1079 - Bernhard Rinner, Benjamin Kuipers:
Monitoring Piecewise Continuous Behaviors by Refining Semi-Quantative Trackers. 1080-1086 - Luigi Portinale, Pietro Torasso:
Diagnosis as a Variable Assignment Problem: A Case Study in a Space Robot Fault Diagnosis. 1087-1095
Diagnosis 2
- Adnan Darwiche:
Utilizing Device Behavior in Structure-Based Diagnosis. 1096-1101 - Songwen Xu, Yam San Chee:
Automatic Diagnosis of Student Programs in Programming Learning Environments. 1102-1107 - Yousri El Fattah:
Structured Modeling Language for Automated Modeling in Causal Networks. 1108-1117
Robotics and Perception
Robotics and Perception 1
- Stéphane Leroy, Jean-Paul Laumond, Thierry Siméon:
Multiple Path Coordination for Mobile Robots: A Geometric Algorithm. 1118-1123 - Michita Imai, Kazuo Hiraki, Tsutomu Miyasato:
Physical Constraints on Human Robot Interaction. 1124-1130 - Hiroshi Ishiguro, Masatoshi Kamiharako, Toru Ishida:
State Space Construction by Attention Control. 1131-1139
Robotics and Perception 2
- Todd R. Reed:
A Spatiotemporal/Spatiotemporal-Frequency Interpretation of Apparent Motion Reversal. 1140-1145 - Cynthia Breazeal, Brian Scassellati:
A Context-Dependent Attention System for a Social Robot. 1146-1153
Robotics and Perception 3
- Kurt Konolige, Ken Chou:
Markov Localization using Correlation. 1154-1159 - Hanna Pasula, Stuart Russell, Michael Ostland, Yaacov Ritov:
Tracking Many Objects with Many Sensors. 1160-1171
Search
Search 1
- Toby Walsh:
Search in a Small World. 1172-1177 - Hermann Kaindl, Gerhard Kainz, Roland Steiner, Andreas Auer, Klaus Radda:
Switching from Bidirectional to Unidirectional Search. 1178-1183 - Richard E. Korf:
A Divide and Conquer Bidirectional Search: First Results. 1184-1191
Search 2
- Jussi Rintanen:
Improvements to the Evaluation of Quantified Boolean Formulae. 1192-1197 - Attilio Giordana, Marco Botta, Lorenza Saitta:
An Experimental Study of Phase Transitions in Matching. 1198-1203 - Eric Lambrecht, Subbarao Kambhampati, Senthil Gnanaprakasam:
Optimizing Recursive Information-Gathering Plans. 1204-1211
Genetic Algorithms
- Jan Paredis:
Coevolution, Memory and Balance. 1212-1217 - Manuel Clergue, Philippe Collard:
Genetic Heuristic for Search Space Exploration. 1218-1226
Software Agents
- Phoebe Sengers:
Designing Comprehensible Agents. 1227-1232 - Klaus Dorer:
Behavior Networks for Continuous Domains using Situation-Dependent Motivations. 1233-1238 - Leendert W. N. van der Torre, Yao-Hua Tan:
Rights, Duties and Commitments between Agents. 1239-1246
Temporal Reasoning
- Steffen Staab, Udo Hahn:
Scalable Temporal Reasoning. 1247-1252 - Paul H. Morris, Nicola Muscettola:
Managing Temporal Uncertainty Through Waypoint Controllability. 1253-1258 - Arun K. Pujari, Abdul Sattar:
A New Framework for Reasoning about Points, Intervals and Durations. 1259-1267
Uncertainty and Probabilistic Reasoning
Decision-Theoretic Applications to Controlling Computation
- Shlomo Zilberstein, Abdel-Illah Mouaddib:
Reactive Control of Dynamic Progressive Processing. 1268-1273 - David W. Albrecht, Ingrid Zukerman, Ann E. Nicholson:
Pre-sending Documents on the WWW: A Comparative Study. 1274-1279 - Eric Horvitz:
Continual Computation Policies for Allocating Offline and Real-Time Resources. 1280-1287
Probabilistic Reasoning and Learning
- Nevin Lianwen Zhang, David L. Poole:
On the Role of Context-Specific Independence in Probabilistic Inference. 1288-1293 - Ingrid Zukerman, Richard McConachy, Kevin B. Korb, Deborah Pickett:
Exploratory Interaction with a Bayesian Argumentation System. 1294-1299 - Nir Friedman, Lise Getoor, Daphne Koller, Avi Pfeffer:
Learning Probabilistic Relational Models. 1300-1309
Markov Decision Processes 1
- Milos Hauskrecht, Gopal Pandurangan, Eli Upfal:
Computing Near Optimal Strategies for Stochastic Investment Planning Problems. 1310-1315 - Andrew W. Moore, Leemon C. Baird III, Leslie Pack Kaelbling:
Multi-Value-Functions: Efficient Automatic Action Hierarchies for Multiple Goal MDPs. 1316-1323
Markov Decision Processes 2
- Michael J. Kearns, Yishay Mansour, Andrew Y. Ng:
A Sparse Sampling Algorithm for Near-Optimal Planning in Large Markov Decision Processes. 1324-1231 - Daphne Koller, Ronald Parr:
Computing Factored Value Functions for Policies in Structured MDPs. 1332-1339 - Michael H. Bowling, Manuela M. Veloso:
Bounding the Suboptimality of Reusing Subproblem. 1340-1347
Solving Control Problems
- Rémi Munos, Andrew W. Moore:
Variable Resolution Discretization for High-Accuracy Solutions of Optimal Control Problems. 1348-1355 - Faustino J. Gomez, Risto Miikkulainen:
Solving Non-Markovian Control Tasks with Neuro-Evolution. 1356-1361 - Clifford Claussen, Srinivas Gutta, Harry Wechsler:
Reinforcement Algorithms Using Functional Approximation for Generalization and their Application to Cart Centering and Fractal Compression. 1362-1369
Alternative Uncertainty Formalisms
- Salem Benferhat, Didier Dubois, Henri Prade:
Towards a Possibilistic Logic Handling of Preferences. 1370-1375 - Yi Lu Murphey, Tie Qi Chen:
Incremental Learning in a Fuzzy Intelligent System. 1376-1384
Invited Speakers
- Minoru Asada, Henrik I. Christensen:
Robotics in the Home, Office, and Playing Field. 1385-1392 - Luca Console, Oskar Dressler:
Model-based Diagnosis in the Real World: Lessons Learned and Challenges Remaining. 1393-1400 - Robert E. Schapire:
A Brief Introduction to Boosting. 1401-1406 - Donia Scott:
The Multilingual Generation Game: Authoring Fluent Texts in Unfamiliar Languages. 1407-1411 - Oliviero Stock:
Was the Title of This Talk Gernerated Automatically? Prospects on Intelligent Interfaces and Language. 1412-1419 - Moshe Tennenholtz:
Electronic Commerce: From Economic and Game-Theoretic Models to Working Protocols. 1420-1428
Awards
Computers and Thought Award
- Nicholas R. Jennings:
Agent-Based Computing: Promise and Perils. 1429-1436
Research Excellence Award
- Judea Pearl:
Reasoning with Cause and Effect. 1437-1449
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-19 19:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
