Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar16. 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. IJCAI 1999: 4-9 - Dieter Fensel, V. Richard Benjamins, Enrico Motta, Bob J. Wielinga:
UPML: A Framework for Knowledge System Reuse. IJCAI 1999: 16-23
Nonmonotonic Reasoning 1
- Sylvie Coste-Marquis, Pierre Marquis:
Complexity Results for Propositional Closed World Reasoning and Circumscription from Tractable Knowledge Bases. IJCAI 1999: 24-29 - Yannis Dimopoulos, Bernhard Nebel, Francesca Toni:
Preferred Arguments are Harder to Compute than Stable Extension. IJCAI 1999: 36-43
Nonmonotonic Reasoning 2
- Pierre Hansen, Brigitte Jaumard, A. D. Parreira:
On the Relations between Probabilistic Logic and p-CMS. IJCAI 1999: 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. IJCAI 1999: 64-69 - Riccardo Rosati:
Model Checking for Nonmonotonic Logics: Algorithms and Complexity. IJCAI 1999: 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. IJCAI 1999: 84-89 - Franz Baader, Ralf Küsters, Ralf Molitor:
Computing Least Common Subsumers in Description Logics with Existential Restrictions. IJCAI 1999: 96-103
Description Logics 2
- Ullrich Hustadt, Renate A. Schmidt:
On the Relation of Resolution and Tableaux Proof Systems for Description Logics. IJCAI 1999: 110-117
Semantics and Models
- Pavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko, Norman Y. Foo, Abhaya C. Nayak:
Preferential Semantics for Causal Systems. IJCAI 1999: 118-123 - Gerhard Lakemeyer, Hector J. Levesque:
Query Evaluation and Progression in AOL Knowledge Bases. IJCAI 1999: 124-131 - Adriana Zapico:
Axiomatic Foundations for Qualitative/Ordinal Decisions with Partial Preferences. IJCAI 1999: 132-139
Reasoning about Action 1
Reasoning about Action 2
- Giuseppe De Giacomo, Hector J. Levesque:
Projection Using Regression and Sensors. IJCAI 1999: 160-165 - Thomas Drakengren, Marcus Bjäreland:
Expressive Reasoning about Action in Nondeterministic Polynomial Time. IJCAI 1999: 166-171
Belief Revision
- James P. Delgrande:
Considerations on a Similarity-Based Approach to Beleif Change. IJCAI 1999: 180-185 - Samir Chopra, Rohit Parikh:
An Inconsistency Tolerant Model for Belief Representation and Belief Revision. IJCAI 1999: 192-199
Resource-Bounded Reasoning
- Michael Fisher, Chiara Ghidini:
Programming Resource-Bounded Deliberative Agents. IJCAI 1999: 200-205 - Michel Lemaître, Gérard Verfaillie, Nicolas Bataille:
Exploiting a Common Property Resource under a Fairness Constraint: a Case Study. IJCAI 1999: 206-211 - Arnaud Delhay, Max Dauchet, Patrick Taillibert, Philippe Vanheeghe:
Maximization of the Average Quality of Anytime Contract Algorithms over a Time Interval. IJCAI 1999: 212-221
Case-Based Reasoning
Case-Based Reasoning 1
- Zhong Zhang, Qiang Yang:
Dynamic Refinement of Feature Weights Using Quantitative Introspective Learning. IJCAI 1999: 228-233 - Jun Zhu, Qiang Yang:
Remembering to Add: Competence-preserving Case-Addition Policies for Case Base Maintenance. IJCAI 1999: 234-241
Case-Based Reasoning 2
- Hui Wang, Werner Dubitzky, Ivo Düntsch, David A. Bell:
A Lattice Machine Approach to Automated Casebase Design: Marrying Lazy and Eager Learning. IJCAI 1999: 254-263
Challenge Papers
Challenge Papers 1
- Ashwin Srinivasan, Ross D. King, Douglas W. Bristol:
An assessment of submissions made to the Predictive Toxicology Evaluation Challenge. IJCAI 1999: 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. IJCAI 1999: 276-283
Challenge Papers 2: Propositional Reasoning and Search
- Holger H. Hoos:
SAT-Encodings, Search Space Structure, and Local Search Performance. IJCAI 1999: 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. IJCAI 1999: 304-309 - Steven A. Wolfman, Daniel S. Weld:
The LPSAT Engine & Its Application to Resource Planning. IJCAI 1999: 310-317
Challenge Papers 4: Bridging Plan Synthesis Paradigms
- David E. Smith, Daniel S. Weld:
Temporal Planning with Mutual Exclusion Reasoning. IJCAI 1999: 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. IJCAI 1999: 338-343
Cognitive Modeling 2
- Armin Fiedler:
Using a Cognitive Architecture to Plan Dialogs for the Adaptive Explanation of Proofs. IJCAI 1999: 358-363 - Filippo Neri:
Computer Aided Tracing of Children?s Physics Learning: a Teacher Oriented View. IJCAI 1999: 370-377
Cognitive Modeling 3: Spatial Reasoning
Constraint Satisfaction
Constraint Satisfaction 1
- Georg Gottlob, Nicola Leone, Francesco Scarcello:
A Comparison of Structural CSP Decomposition Methods. IJCAI 1999: 394-399 - Hélène Collavizza, François Delobel, Michel Rueher:
Extending Consistent Domains of Numeric CSP. IJCAI 1999: 406-413
Constraint Satisfaction 2
Constraint Satisfaction 3
- Nikos Mamoulis, Dimitris Papadias:
Improving Search Using Indexing: A Study with Temporal CSPs. IJCAI 1999: 436-441 - Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro:
A New Tractable Subclass of the Rectangle Algebra. IJCAI 1999: 442-447 - Jochen Renz:
Maximal Tractable Fragments of the Region Connection Calculus: A Complete Analysis. IJCAI 1999: 448-455
Constraint Satisfaction 4
- Christian Bliek, Djamila Sam-Haroud:
Path Consistency on Triangulated Constraint Graphs. IJCAI 1999: 456-461 - Evelina Lamma, Paola Mello, Michela Milano, Rita Cucchiara, Marco Gavanelli, Massimo Piccardi:
Constraint Propagation and Value Acquisition: Why we should do it Interactively. IJCAI 1999: 468-477
Distributed AI
Multi-Agent Systems 1
- Jeremy Pitt, E. H. Mamdani:
A Protocol-Based Semantics for an Agent Communication Language. IJCAI 1999: 486-491 - Sanguk Noh, Piotr J. Gmytrasiewicz:
Towards Flexible Multi-Agent Decision-Making Under Time Pressure. IJCAI 1999: 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. IJCAI 1999: 500-505 - Sudhir K. Rustogi, Munindar P. Singh:
Be Patient and Tolerate Imprecision: How Autonomous Agents can Coordinate Effectively. IJCAI 1999: 512-519
Economic Models 1
- William E. Walsh, Michael P. Wellman:
Efficiency and Equilibrium in Task Allocation Economies with Hierarchical Dependencies. IJCAI 1999: 520-526 - Craig Boutilier, Moisés Goldszmidt, Bikash Sabata:
Sequential Auctions for the Allocation of Resources with Complementarities. IJCAI 1999: 527-523 - Tuomas Sandholm, Sandeep Sikka, Samphel Norden:
Algorithms for Optimizing Leveled Commitment Contracts. IJCAI 1999: 535-541
Economic Models 2: Auctions
- Tuomas Sandholm:
An Algorithm for Optimal Winner Determination in Combinatorial Auctions. IJCAI 1999: 542-547 - Yuzo Fujishima, Kevin Leyton-Brown, Yoav Shoham:
Taming the Computational Complexity of Combinatorial Auctions: Optimal and Approximate Approaches. IJCAI 1999: 548-553
Computer Game Playing
Game Playing 1
- Donald F. Beal, Martin C. Smith:
Temporal Coherence and Prediction Decay in TD Learning. IJCAI 1999: 564-569 - Andreas Junghanns, Jonathan Schaeffer:
Domain-Dependent Single-Agent Search Enhancements. IJCAI 1999: 570-577
Game Playing 2
- Martin Müller:
Decomposition Search: A Combinatorial Games Approach to Game Tree Search, with Applications to Solving Go Endgames. IJCAI 1999: 578-583
Knowledge-Based Applications
Applications 1
- Ian D. Watson, Dan Gardingen:
A Distributed Case-Based Reasoning Application for Engineering Sales Support. IJCAI 1999: 600-605
Applications 2
- Mary F. Fernández, Daniela Florescu, Alon Y. Levy, Dan Suciu:
Verifying Integrity Constraints on Web Sites. IJCAI 1999: 614-619 - Christophe Dousson, Thang Vu Duong:
Discovering Chronicles with Numerical Time Constraints from Alarm Logs for Monitoring Dynamic Systems. IJCAI 1999: 620-626 - James S. Aitken, Dimitrios Sklavakis:
Integrating Problem-Solving Methods into CYC. IJCAI 1999: 627-633
Applications 3
- Michelle X. Zhou:
Visual Planning: A Practical Approach to Automated Presentation Design. IJCAI 1999: 634-641 - Taizan Suzuki, Takenobu Tokunaga, Hozumi Tanaka:
A Case Based Approach to the Generation of Musical Expression. IJCAI 1999: 642-648 - Renaud Lecoeuche, Catherine Barry, David Stuart Robertson:
Using Focus Rules in Requirements Elicitation Dialogues. IJCAI 1999: 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. IJCAI 1999: 662-667 - Eibe Frank, Gordon W. Paynter, Ian H. Witten, Carl Gutwin, Craig G. Nevill-Manning:
Domain-Specific Keyphrase Extraction. IJCAI 1999: 668-673 - Georgios Paliouras, Vangelis Karkaletsis, Constantine D. Spyropoulos:
Learning Rules for Large Vocabulary Word Sense Disambiguation. IJCAI 1999: 674-681
Learning for Information Retrieval 2
- Thomas Hofmann:
The Cluster-Abstraction Model: Unsupervised Learning of Topic Hierarchies from Text Data. IJCAI 1999: 682-687 - Anne Veling, Peter van der Weerd:
Conceptual Grouping in Word Co-Occurrence Networks. IJCAI 1999: 694-701
Classification Learning 1
Classification Learning 2: Support Vector Machines
- Craig Saunders, Alexander Gammerman, Volodya Vovk:
Transduction with Confidence and Credibility. IJCAI 1999: 722-726
Reinforcement Learning 1
- Ronen I. Brafman, Moshe Tennenholtz:
A Near-Optimal Poly-Time Algorithm for Learning a class of Stochastic Games. IJCAI 1999: 734-739 - Michael J. Kearns, Daphne Koller:
Efficient Reinforcement Learning in Factored MDPs. IJCAI 1999: 740-747 - Vassilis A. Papavassiliou, Stuart J. Russell:
Convergence of Reinforcement Learning with General Function Approximators. IJCAI 1999: 748-757
Reinforcement Learning 2: Applications
- Shailesh Kumar, Risto Miikkulainen:
Confidence Based Dual Reinforcement Q-Routing: An adaptive online network routing algorithm. IJCAI 1999: 758-763 - Simone C. Riedmiller, Martin A. Riedmiller:
A Neural Reinforcement Learning Approach to Learn Local Dispatching Policies in Production Scheduling. IJCAI 1999: 764-771
Automated Discovery
- Takashi Washio, Hiroshi Motoda, Yuji Niwa:
Discovering Admissible Model Equations from Observed Data Based on Scale-Types and Identity Constrains. IJCAI 1999: 772-779 - Simon Colton, Alan Bundy, Toby Walsh:
Automatic Concept Formation in Pure Mathematics. IJCAI 1999: 786-793
Data Mining
- Tim Oates, Matthew D. Schmill, Paul R. Cohen:
Efficient Mining of Statistical Dependencies. IJCAI 1999: 794-799 - Hung Son Nguyen:
Efficient SQL-Querying Method for Data Mining in Large Data Bases. IJCAI 1999: 806-813
Neural Networks 1
- Lotfi Ben Romdhane:
A Potts Spin MFT Network Solving Multiple Causal Interactions. IJCAI 1999: 814-819 - Marshall R. Mayberry, Risto Miikkulainen:
SARDSRN: A Neural Network Shift-Reduce Parser. IJCAI 1999: 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. IJCAI 1999: 828-832
Hybrid systems: Neural and Symbolic Processing
- Alexander A. Petrov, Boicho N. Kokinov:
Processing Symbols at Variable Speed in DUAL: Connectionist Activation as Power Supply. IJCAI 1999: 846-851 - João Luís Garcia Rosa, Edson Françozo:
Hybrid Thematic Role Processor: Symbolic Linguistic Relations Revised by Connectionist Learning. IJCAI 1999: 852-861
Natural Language Processing
Natural Language Processing 1
Natural Language Processing 2
- Mark Stevenson, Yorick Wilks:
Combining Weak Knowledge Sources for Sense Disambiguation. IJCAI 1999: 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. IJCAI 1999: 890-897
Natural Language Processing 3: Learning
- Bhavani Raskutti, Christopher Leckie:
An Evaluation of Criteria for Measuring the Quality of Clusters. IJCAI 1999: 905-910 - Roni Khardon, Dan Roth, Leslie G. Valiant:
Relational Learning for NLP using Linear Threshold Elements. IJCAI 1999: 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. IJCAI 1999: 920-925