Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar12. IJCAI 1991: Sydney, New South Wales, Australia
John Mylopoulos, Raymond Reiter:
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, Australia, August 24-30, 1991. Morgan Kaufmann 1991, ISBN 1-55860-160-0
VOLUME 1
Architectures & Languages
Knowledge Base Management
- G. Ravi Prakash, Eswaran Subrahmanian, Hosaker N. Mahabala:
A Methodology for Systematic Verification of OPS5-Based AI Applications. IJCAI 1991: 3-8 - Loren G. Terveen, David A. Wroblewski, Steven N. Tighe:
Intelligent Assistance through Collaborative Manipulation. IJCAI 1991: 9-14 - Keith Decker, Alan Garvey, Marty Humphrey, Victor R. Lesser:
Effects of Parallelism on Blackboard System Scheduling. IJCAI 1991: 15-21 - Rick Evertsz:
The Automated Analysis of Rule-based Systems, Based on their Procedural Semantics. IJCAI 1991: 22-29
Connectioonist & Parallel Rule Systems
- Tony Plate:
Holographic Reduced Representations: Convolution Algebra for Compositional Distributed Representations. IJCAI 1991: 30-35 - Andrea Sohn, Jean-Luc Gaudiot:
A Macro Actor/Token Implementation of Production Systems on a Data-Mow Multiprocessor. IJCAI 1991: 36-41 - Steve Kuo, Dan I. Moldovan:
Performance Comparison of Models for Multiple Rule Firing. IJCAI 1991: 42-47 - Ian N. Robinson:
On Supporting Associative Access and Processing over Dynamic Knowledge Bases. IJCAI 1991: 48-55
Distributed AI I
- Sarit Kraus, Jonathan Wilkenfeld:
Negotiations Over Time in a Multi-Agent Environment: Preliminary Report. IJCAI 1991: 56-61 - Piotr J. Gmytrasiewicz, Edmund H. Durfee, David K. Wehe:
A Decision-Theoretic Approach to Coordinating Multi-agent Interactions. IJCAI 1991: 62-68 - Munindar P. Singh:
Towards a Formal Theory of Communication for Multi-agent Systems. IJCAI 1991: 69-74
Distributed AI II
- Hideyuki Nakashima, Stanley Peters, Hinrich Schütze:
Communication and Inference through Situations. IJCAI 1991: 75-81 - David Kinny, Michael P. Georgeff:
Commitment and Effectiveness of Situated Agents. IJCAI 1991: 82-88 - Takashi Nishiyama, Osamu Katai, Sosuke Iwai, Tetsuo Sawaragi, Hiroshi Masuichi:
Generating Integrated Interpretation of Partial Information Based on Distributed Qualitative Reasoning. IJCAI 1991: 89-98
Automated Reasoning
Theorem Proving I
- Fausto Giunchiglia, Paolo Traverso:
Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code. IJCAI 1991: 111-117
Theorem Proving II
- Hitoshi Iba, Hirochika Inoue:
Reasoning of Geometric Concepts based on Algebraic Constraint-directed Method. IJCAI 1991: 143-151
Theorem Proving III
- Robert Demolombe, Luis Fariñas del Cerro:
An Inference Rule for Hypothesis Generation. IJCAI 1991: 152-157 - Christoph Lingenfelder, Axel Präcklein:
Proof Transformation with Built-in Equality Predicate. IJCAI 1991: 165-171
Search I
- Colin J. H. McDiarmid, Gregory M. Provan:
An Expected-Cost Analysis of Backtracking and Non-Backtracking Algorithms. IJCAI 1991: 172-177 - Anup K. Sen, Amitava Bagchi, Bani K. Sinha:
Admissible Search Methods for Minimum Penalty Sequencing of Jobs with Setup Times on One and Two Machines. IJCAI 1991: 178-183 - Anna Bramanti-Gregor, Henry W. Davis:
Learning Admissible Heuristics while Solving Problems. IJCAI 1991: 184-191
Search II
- Reza Shams, Hermann Kaindl, Helmut Horacek:
Using Aspiration Windows for Minimax Algorithms. IJCAI 1991: 192-197 - Stephen V. Chenoweth, Henry W. Davis:
High-Performance A\ast Search Using Rapidly Growing Heuristics. IJCAI 1991: 198-203
Planning I
- Eric Biefeld, Lynne Cooper:
Bottleneck Identification Using Process Chronologies. IJCAI 1991: 218-224 - Gilad Zlotkin, Jeffrey S. Rosenschein:
Incomplete Information and Deception in Multi-Agent Negotiation. IJCAI 1991: 225-231 - Marta Franová, Yves Kodratoff:
Solving "How to Clear a Block" with Constructive Matching Methodology. IJCAI 1991: 232-239
Planning II
- Edwin P. D. Pednault:
Generalizing Nonlinear Planning to Handle Complex Goals and Actions with Context-Dependent Effects. IJCAI 1991: 240-245 - Steven Minton, John L. Bresina, Mark Drummond:
Commitment Strategies in Planning: A Comparative Analysis. IJCAI 1991: 259-267
Planning III
- Christer Bäckström, Inger Klein:
Parallel Non-Binary Planning in Polynomial Time. IJCAI 1991: 268-273
Reason Maintenance
- Jean Christophe Madre, Olivier Coudert:
A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver. IJCAI 1991: 294-299 - Ulrich Junker:
Prioritized Defaults: Implementation by TMS and Application to Diagnosis. IJCAI 1991: 310-317
Constraint Satisfaction
- Zeev Collin, Rina Dechter, Shmuel Katz:
On the Feasibility of Distributed Constraint Satisfaction. IJCAI 1991: 318-324 - Yves Deville, Pascal Van Hentenryck:
An Efficient Arc Consistency Algorithm for a Class of CSP Problems. IJCAI 1991: 325-330 - Peter C. Cheeseman, Bob Kanefsky, William M. Taylor:
Where the Really Hard Problems Are. IJCAI 1991: 331-340
Cognitive Modeling
Cognitive Modeling 1
- Katia P. Sycara, Dundee Navinchandra:
Index Transformation Techniques for Facilitating Creative Use of Multiple Cases. IJCAI 1991: 347-352 - Gregg Collins, Lawrence Birnbaum, Bruce Krulwich, Michael Freed:
Plan Debugging in an Intentional System. IJCAI 1991: 353-359
Cognitive Modeling 2
- N. Hari Narayanan, B. Chandrasekaran:
Reasoning Visually about Spatial Interactions. IJCAI 1991: 360-365 - Wai K. Yeap, Margaret E. Jefferies, P. S. Naylor:
An MFIS for Computing a Raw Cognitive Map. IJCAI 1991: 373-380
Knowledge Representation
Nonmonotonic Reasoning - Modal Logics
- Nicholas Asher, Michael Morreau:
Commonsense Entailment: A Modal Theory of Non-monotonic Reasoning. IJCAI 1991: 387-392
Nonmonotonic Reasoning - Conditional Logics
- Hirofumi Katsuno, Ken Satoh:
A Unified View of Consequence Relation, Belief Revision and Conditional Logic. IJCAI 1991: 406-412 - Didier Dubois, Henri Prade:
Possibilistic Logic, Preferential Models, Non-monotonicity and Related Issues. IJCAI 1991: 419-425
Nonmonotonic Reasoning - Circumscrition
Concept Languages
- Franz Baader:
Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles. IJCAI 1991: 446-451 - Franz Baader, Philipp Hanschke:
A Scheme for Integrating Concrete Domains into Concept Languages. IJCAI 1991: 452-457 - Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt:
Tractable Concept Languages. IJCAI 1991: 458-465
Concept Languages, Inheritance Reasoning
- Klaus Schild:
A Correspondence Theory for Terminological Logics: Preliminary Report. IJCAI 1991: 466-471 - David S. Touretzky, Richmond H. Thomason, John F. Horty:
A Skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonrnonotonic Inheritance. IJCAI 1991: 478-485
Belief
- Sukhamay Kundu:
A New Logic of Beliefs: Monotonic and Non-Monotonic Beliefs - Part 1. IJCAI 1991: 486-491 - Gerhard Lakemeyer:
A Model of Decidable Introspective Reasoning with Quantifying-In. IJCAI 1991: 492-497 - Anand S. Rao, Michael P. Georgeff:
Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics. IJCAI 1991: 498-505
Topics in Knowledge Representation
- Hans Jürgen Ohlbach, Andreas Herzig:
Parameter Structures for Parametrized Modal Operators. IJCAI 1991: 512-517 - Russell Greiner, Charles Elkan:
Measuring and Improving the Effectiveness of Representations. IJCAI 1991: 518-524 - Gadi Pinkas:
Propositional Non-Monotonic Reasoning and Inconsistency in Symmetric Neural Networks. IJCAI 1991: 525-531
Reasoning with Inconsistency
- Walter Alexandre Carnielli, Luis Fariñas del Cerro, Mamede Lima-Marques:
Contextual Negations and Reasoning with Contradictions. IJCAI 1991: 532-537
Panels
- Robert Levinson, Feng-hsiung Hsu, T. Anthony Marsland, Jonathan Schaeffer, David E. Wilkins:
The Role of Chess in Artificial Intelligence Research. IJCAI 1991: 547-552 - James A. Hendler, Daniel G. Bobrow, Les Gasser, Carl Hewitt, Marvin Minsky:
Multiple Approaches to Multiple Agent Problem Solving. IJCAI 1991: 553-554 - Andrew Jennings, Adam E. Irgon, Akira Kurematsu, Greg Vessonder, Jon R. Wright:
AI in Telecommunications. IJCAI 1991: 555-556 - Hiroaki Kitano, James A. Hendler, Tetsuya Higuchi, Dan I. Moldovan, David L. Waltz:
Massively Parallel Artificial Intelligence. IJCAI 1991: 557-562 - Saul Amarel, Alvin M. Despain, H. Penny Nii, Louis I. Steinberg, Marty Tenenbaum, Peter M. Will:
AI and Design. IJCAI 1991: 563-568
Awards and Invited Papers
VOLUME 2
Learning & Knowledge Acquisition
Explanation-based Learning
- Christer Samuelsson, Manny Rayner:
Quantitative Evaluation of Explanation-Based Learning as an Optimisation Tool for a Large-Scale Natural Language System. IJCAI 1991: 609-615 - Masayuki Yamamura, Shigenobu Kobayashi:
An Augmented EBL and its Application to the Utility Problem. IJCAI 1991: 623-629 - Jungsoon P. Yoo, Douglas H. Fisher:
Concept Formation over Explanations and Problem-Solving Experience. IJCAI 1991: 630-637
Classifiers/Genetic Algorithms
- James D. Kelly Jr., Lawrence Davis:
A Hybrid Genetic Algorithm for Classification. IJCAI 1991: 645-650 - Kenneth A. De Jong, William M. Spears:
Learning Concept Classification Rules Using Genetic Algorithms. IJCAI 1991: 651-657
Classification & Generalization
- Floriana Esposito, Donato Malerba, Giovanni Semeraro:
Flexible Matching for Noisy Structural Descriptions. IJCAI 1991: 658-664
Inductive Learning I
Inductive Learning II
- Robin Hanson, John C. Stutz, Peter C. Cheeseman:
Bayesian Classification with Correlation and Inheritance. IJCAI 1991: 692-698 - Der-Shung Yang, Larry A. Rendell, Gunnar Blix:
A Scheme for Feature Construction and a Comparison of Empirical Methods. IJCAI 1991: 699-704 - Steven Salzberg, Arthur L. Delcher, David G. Heath, Simon Kasif:
Learning with a Helpful Teacher. IJCAI 1991: 705-711
Inductive Learning III
- David Chapman, Leslie Pack Kaelbling:
Input Generalization in Delayed Reinforcement Learning: An Algorithm and Performance Comparisons. IJCAI 1991: 726-731
Inductive Logic Programming
- Marc Kirschenbaum, Leon Sterling:
Refinement Strategies for Inductive Leaming of Simple Prolog Programs. IJCAI 1991: 757-763
Concept Formation
- Larry Watanabe, Larry A. Rendell:
Learning Structural Decision Trees from Examples. IJCAI 1991: 770-776 - David G. Heath, Simon Kasif, S. Rao Kosaraju, Steven Salzberg, Gregory F. Sullivan:
Learning Nested Concept Classes with Limited Storage. IJCAI 1991: 777-782 - Achim G. Hoffmann, Sunil Thakar:
Acquiring Knowledge by Efficient Query Learning. IJCAI 1991: 783-789
Case-based Learning
- Scott Fertig, David Gelernter:
FGP: A Virtual Machine for Acquiring Knowledge from Cases. IJCAI 1991: 796-802 - James P. Callan, Tom Fawcett, Edwina L. Rissland:
CABOT: An Adaptive Approach to Case-Based Search. IJCAI 1991: 803-809
Knowledge Acquisition
- Kathleen B. McKusick, Pat Langley:
Constraints on Tree Structure in Concept Formation. IJCAI 1991: 810-816
Connectionist Models
- Warren R. Becraft, Peter L. Lee, Robert B. Newell:
Integration of Neural Networks and Expert Systems for Process Fault Diagnosis. IJCAI 1991: 832-837 - Rangachari Anand, Kishan Mehrotra, Chilukuri K. Mohan, Sanjay Ranka:
Analyzing Images Containing Multiple Sparse Patterns with Neural Networks. IJCAI 1991: 838-843 - Harish Ragavan, Selwyn Piramuthu:
The Utility of Feature Construcuon for Back-Propagation. IJCAI 1991: 844-850
Logic Programming
Logic Programming I
- Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes:
Derivation Procedures for Extended Stable Models. IJCAI 1991: 863-869
Logic Programming II
- Mike Brayshaw:
An Architecture for Visualizing the Execution of Parallel Logic Programs. IJCAI 1991: 870-876 - Kang Zhang, Ray Thomas:
A Non-shared Binding Scheme for Parallel Prolog Implementation. IJCAI 1991: 877-883
Logic Programming III
- L. Thorne McCarty, Ron van der Meyden:
Indefinite Reasoning with Definite Rules. IJCAI 1991: 890-896
Natural Language
Natural Language Processing
- Hiroaki Kitano, Dan I. Moldovan, Seungho Cha:
High Performance Natural Language Processing on Semantic Network Array Processor. IJCAI 1991: 911-917
Pragmatics
- Peter van Beek, Robin Cohen:
Resolving Plan Ambiguity for Cooperative Response Generation. IJCAI 1991: 938-944 - Yorick Wilks, John A. Barnden, Jin Wang:
Your Metaphor or Mine: Belief Ascription and Metaphor Interpretation. IJCAI 1991: 945-950
Natural Language Systems
- Marie Meteer, Richard M. Schwartz, Ralph M. Weischedel:
POST: Using Probabilities in Language Processing. IJCAI 1991: 960-965 - John A. Bateman, Christian Matthiessen, Keizo Nanri, Licheng Zeng:
The Re-use of Linguistic Resources across Languages in Multilingual Generation Components. IJCAI 1991: 966-971 - Oliviero Stock:
Natural Language and Exploration of an Information Space: The ALFresco Interactive System. IJCAI 1991: 972-978 - Paolo Baggia, Elisabetta Gerbino, Egidio P. Giachin, Claudio Rullent:
Efficient Representation of Linguistic Knowledge for Continuous Speech Understanding. IJCAI 1991: 979-985
Representation and Semantics
- Padraig Cunningham, Tony Veale:
Organizational Issues Arising from the Integration of the Lexicon and Concept Network in a Text Understanding System. IJCAI 1991: 986-991 - Liliana Ardissono, Leonardo Lesmo, Paolo Pogliano, Paolo Terenziani:
Interpretation of Definite Noun Phrases. IJCAI 1991: 997-1002 - Stephan Busemann:
Using Pattern-Action Rules for the Generation of GPSG Structures from MT-Oriented Semantics. IJCAI 1991: 1003-1011
Parsing and Morphology
- Tsunenori Mine, Rin-ichiro Taniguchi, Makoto Amamiya:
Coordinated Morphological and Syntactic Analysis of Japanese Language. IJCAI 1991: 1012-1017 - Liang-Jyh Wang, Tzusheng Pei, Wei-Chuan Li, Lih-Ching R. Huang:
A Parsing Method for Identifying Words in Mandarin Chinese Sentences. IJCAI 1991: 1018-1023 - Harald Trost:
X2MORF: A Morphological Component Based on Augmented Two-Level Morphology. IJCAI 1991: 1024-1030 - Venu Dasigi:
Parsing = Parsimonious Covering? (Abduction in Logical Form Generation). IJCAI 1991: 1031-1038
Philosophical Foundations
Philosophical Foundations I
- Raymond E. Jennings, Christine W. Chan, M. J. Dowad:
Generalised Inference and Inferential Modelling. IJCAI 1991: 1046-1051
Philosophical Foundations II
Principles of AI Applications
Intelligent Tutoring Systems
- Luigia Carlucci Aiello, Maria Cialdea, Daniele Nardi:
Reasoning about Student Knowledge and Reasoning. IJCAI 1991: 1087-1093 - William R. Murray:
An Endorsement-based Approach to Student Modeling for Planner-controlled Tutors. IJCAI 1991: 1100-1108
Qualitative Reasoning
Diagnosis
- Philippe Dague, Olivier Jehl, Philippe Deves, Pierre Luciani, Patrick Taillibert:
When Oscillators Stop Oscillating. IJCAI 1991: 1109-1115 - Franz Lackinger, Wolfgang Nejdl:
Integrating Model-Based Monitoring and Diagnosis of Complex Dynamic Systems. IJCAI 1991: 1123-1128 - David Poole:
Representing Diagnostic Knowledge for Probabilistic Horn Abduction. IJCAI 1991: 1129-1137
Qualitative Modeling
- Feng Zhao:
Extracting and Representing Qualitative Behaviors of Complex Systems in Phase Spaces. IJCAI 1991: 1144-1149
Qualitative Modeling, Temporal Reasoning
- Ulf Söderman, Jan-Erik Strömberg:
Combining Qualitative and Quantitative Knowledge to Generate Models of Physical Systems. IJCAI 1991: 1158-1163 - Rina Dechter, Judea Pearl:
Directed Constraint Networks: A Relational Framework for Causal Modeling. IJCAI 1991: 1164-1170
Reasoning under Uncertainty I
- Rudolf Kruse, Erhard Schwecke, Frank Klawonn:
On a Tool for Reasoning with Mass Distributions. IJCAI 1991: 1190-1195
Reasoning under Uncertainty II
- S. K. Michael Wong, Pawan Lingras, Yiyu Yao:
Propagation of Preference Relations in Qualitative Inference Networks. IJCAI 1991: 1204-1209 - Wilson X. Wen, Andrew Jennings:
Parallel Distributed Belief Networks That Learn. IJCAI 1991: 1210-1218
Robotics
Architectures
- R. Peter Bonasso:
Integrating Reaction Plans and Layered Competences Through Synchronous Control. IJCAI 1991: 1225-1233
Navigation
- Stephen F. Peters, Shigeoki Hirai, Toru Omata, Tomomasa Sato:
Planning Robot Control Parameter Values with Qualitative Reasoning. IJCAI 1991: 1234-1240 - Patrick Stelmaszyk, Hiroshi Ishiguro, Saburo Tsuji:
Mobile Robot Navigation by an Active Control of the Vision System. IJCAI 1991: 1241-1246 - Matthew J. Barth, Hiroshi Ishiguro, Saburo Tsuji:
Determining Robot Egomotion from Motion Parallax Observed by an Active Camera. IJCAI 1991: 1247-1256
Vision
Object Recognition
- Yerucham Shapira, Shimon Ullman:
A Pictorial Approach to Object Classification. IJCAI 1991: 1257-1263 - Thomas M. Strat, Martin A. Fischler:
Natural Object Recognition: A Theoretical Framework and Its Implementation. IJCAI 1991: 1264-1270 - John R. Kender, Rick Kjeldsen:
On Seeing Spaghetti: A Novel Self-Adjusting Seven Parameter Hough Space for Analyzing Flexible Extruded Objects. IJCAI 1991: 1271-1277 - Roberto Brunelli, Tomaso A. Poggio:
HyperBF Networks for Real Object Recognition. IJCAI 1991: 1278-1285
Interpretation
- Pascal Fua:
Combining Stereo and Monocular Information to Compute Dense Depth Maps that Preserve Depth Discontinuities. IJCAI 1991: 1292-1298 - R. Mike Cameron-Jones:
Visual Interpretation of Lambertian Surface Deformation. IJCAI 1991: 1299-1304 - Terry Regier:
Line Labeling and Junction Labeling: A Coupled System for Image Interpretation. IJCAI 1991: 1305-1310
maintained by 
at 
at 
last updated on 2018-07-12 22:12 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint