首页>外文会议>Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington

Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Backjumping for Quantified Boolean Logic Satisfiability

机译：量化布尔逻辑可满足性的回跳
- 作者：Enrico Giunchiglia;Massimo Narizzano;Armando Tacchella
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
2.Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas

机译：计算一阶公式的最强必要条件和最弱充分条件
- 作者：Patrick Doherty;Witold Lukaszewicz;Andrzej Szalas
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
3.Efficient Consequence Finding

机译：高效的结果发现
- 作者：Laurent Simon;Alvaro del Val
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
4.Executing Reactive, Model-based Programs through Graph-based Temporal Planning

机译：通过基于图的时间规划来执行基于模型的反应式程序
- 作者：Phil Kim;Brian C. Williams;Mark Abramson
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
5.From Images to Bodies: Modelling and Exploiting Spatial Occlusion and Motion Parallax

机译：从图像到实体：建模和利用空间遮挡和运动视差
- 作者：David Randell;Mark Witkowski;Murray Shanahan
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
6.Incomplete Tree Search using Adaptive Probing

机译：使用自适应探测的不完整树搜索
- 作者：Wheeler Ruml
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
7.Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior

机译：基于模型的程序的模式估计：具有复杂行为的监视系统
- 作者：Brian C. Williams;Seung Chung;Vineet Gupta
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
8.A Fuzzy Modal Logic for Belief Functions

机译：信念函数的模糊模态逻辑
- 作者：Llufs Godo;Petr Hajek;Francesc Esteva
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
9.A Logical Account of Causal and Topological Maps

机译：因果图和拓扑图的逻辑说明
- 作者：Emilio Remolina;Benjamin Kuipers
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
10.Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting

机译：逻辑编程中的绑架：基于重写的新定义和绑架过程
- 作者：Fangzhen Lin;Jia-Huai You
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
11.On-Line Execution of cc-Golog Plans

机译：cc-Golog计划的在线执行
- 作者：Henrik Grosskreutz;Gerhard Lakemeyer
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
12.Phase Transitions of PP-Complete Satisfiability Problems

机译：PP完全可满足性问题的相变
- 作者：Delbert D. Bailey;Victor Dalmau;Phokion G. Kolaitis
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
13.Qualitative Simulation of Genetic Regulatory Networks: Method and Application

机译：遗传调控网络的定性模拟：方法与应用
- 作者：Hidde de Jong;Michel Page;Celine Hernandez;Johannes Geiselmann
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
14.Refining the Basic Constraint Propagation Algorithm

机译：完善基本约束传播算法
- 作者：Christian Bessiere;Jean-Charles Regin
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
15.Solving Factored MDPs via Non-Homogeneous Partitioning

机译：通过非均匀分区解因式MDP
- 作者：Kee-Eung Kim;Thomas Dean
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
16.Solving Non-Boolean Satisfiability Problems with Stochastic Local Search

机译：用随机局部搜索解决非布尔可满足性问题
- 作者：Alan M. Frisch;Timothy J. Peugniez
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
17.Splitting Without Backtracking

机译：拆分而不回溯
- 作者：Alexandre Riazanov;Andrei Voronkov
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
18.Weakening Conflicting Information for Iterated Revision and Knowledge Integration

机译：弱化冲突信息以进行迭代修订和知识集成
- 作者：Salem Benferhat;Souhila Kaci;Daniel Le Berre;Mary-Anne Williams
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
19.Ambiguity-Directed Sampling for Qualitative Analysis of Sparse Data from Spatially-Distributed Physical Systems

机译：定性分析来自空间分布物理系统的稀疏数据的歧义定向采样
- 作者：Chris Bailey-Kellogg;Naren Ramakrishnan
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
20.An Improved Grid-Based Approximation Algorithm for POMDPs

机译：POMDP的一种改进的基于网格的近似算法
- 作者：Rong Zhou;Eric A. Hansen
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
21.Approximate inference for first-order probabilistic languages

机译：一阶概率语言的近似推断
- 作者：Hanna Pasula;Stuart Russell
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
22.Balance and Filtering in Structured Satisfiable Problems

机译：结构化可满足问题中的平衡与过滤
- 作者：Henry Kautz;Dimitris Achlioptas;Carla Gomes;Mark Stickel
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
23.Causes and Explanations: A Structural-Model Approach― Part Ⅱ: Explanations

机译：原因和解释：一种结构模型方法-第二部分：解释
- 作者：Joseph Y. Halpern;Judea Pearl
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
24.Distributed Monitoring of Hybrid Systems: A model-directed approach

机译：混合系统的分布式监视：一种基于模型的方法
- 作者：Feng Zhao;Xenofon Koutsoukos;Horst Haussecker;James Reich;Patrick Cheung;Claudia Picardi
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
25.IBAL: A Probabilistic Rational Programming Language

机译：IBAL：一种概率性的理性编程语言
- 作者：Avi Pfeffer
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
26.Max-norm Projections for Factored MDPs

机译：分解MDP的最大范数投影
- 作者：Carlos Guestrin;Daphne Koller;Ronald Parr
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
27.A Perspective on Knowledge Compilation

机译：知识汇编的观点
- 作者：Adnan Darwiche;Pierre Marquis
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
28.Planning with Resources and Concurrency A Forward Chaining Approach

机译：使用资源和并发进行规划前向链接方法
- 作者：Fahiem Bacchus;Michael Ady
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
29.Reasoning about Categories in Conceptual Spaces

机译：关于概念空间中类别的推理
- 作者：Peter Gaerdenfors;Mary-Anne Williams
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
30.Symbolic Dynamic Programming for First-Order MDPs

机译：一阶MDP的符号动态编程
- 作者：Craig Boutilier;Ray Reiter;Bob Price
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
31.The Exponentiated Subgradient Algorithm for Heuristic Boolean Programming

机译：启发式布尔规划的指数次梯度算法
- 作者：Dale Schuurmans;Finnegan Southey;Robert C. Holte
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
32.Theorem Proving with Structured Theories

机译：用结构化理论证明定理
- 作者：Sheila McIlraith;Eyal Amir
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
33.A-System: Problem Solving through Abduction

机译：A-系统：通过绑架解决问题
- 作者：Antonis C. Kakas;Bert Van Nuffelen;Marc Denecker
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
34.Backtracking Through Biconnected Components of a Constraint Graph

机译：通过约束图的双向连接组件回溯
- 作者：Jean-Francois Baget;Yannic S. Tognetti
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
35.Causal interaction: from a high-level representation to an operational event-based representation

机译：因果互动：从高层表示到基于事件的可操作表示
- 作者：Irene Grosclaude;Marie-Odile Cordier;Rene Quiniou
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
36.Constraints as Data: A New Perspective on Inferring Probabilities

机译：约束作为数据：推断概率的新视角
- 作者：Manfred Jaeger
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
37.EPDL: A Logic for Causal Reasoning

机译：EPDL：因果推理的逻辑
- 作者：Dongmo Zhang;Norman Foo
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
- causality;
- reasoning about actions;
- common-sense reasoning;
38.Grounded Models as a Basis for Intuitive Reasoning

机译：扎实的模型作为直觉推理的基础
- 作者：Josefina Sierra-Santibanez
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
39.High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study

机译：具有大量知识库的高性能推理：一个实际案例研究
- 作者：Volker Haarslev;Ralf Moeller
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
40.MODEL-BASED DIAGNOSABILITY AND SENSOR PLACEMENT APPLICATION TO A FRAME 6 GAS TURBINE SUBSYSTEM

机译：基于模型的可诊断性和传感器位置在6气轮机子系统中的应用
- 作者：Louise Trave-Massuyes;Teresa Escobet;Robert Milne
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
41.A backbone-search heuristic for efficient solving of hard 3-SAT formulae

机译：高效搜索硬3-SAT公式的骨干搜索启发式方法
- 作者：Olivier Dubois;Gilles Dequen
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
42.A Circumscriptive Formalization of the Qualification Problem

机译：资格问题的外在形式化
- 作者：G. Neelakantan Kartha
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
43.A Comparative Study of Logic Programs with Preference

机译：偏好逻辑程序的比较研究
- 作者：Torsten Schaub;Kewen Wang
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
44.A Complete Classification of Complexity in Allen's Algebra in the Presence of a Non-Trivial Basic Relation

机译：存在非对偶基本关系的艾伦代数复杂性的完全分类
- 作者：Andrei Krokhin;Peter Jeavons;Peter Jonsson
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
45.A Constraint Satisfaction Approach to Parametric Differential Equations

机译：参数微分方程的约束满足方法
- 作者：Micha Janssen;Pascal Van Hentenryck;Yves Deville
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
46.A Framework for Declarative Update Specifications in Logic Programs

机译：逻辑程序中声明性更新规范的框架
- 作者：Thomas Eiter;Michael Fink;Giuliana Sabbatini;Hans Tompits
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
47.A Hybrid Approach for the 0―1 Multidimensional Knapsack problem

机译：0-1背包问题的混合方法
- 作者：Michel Vasquez;Jin-Kao Hao
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
48.A New Method For The Three Dimensional Container Packing Problem

机译：三维集装箱包装问题的新方法
- 作者：Andrew Lim;Wang Ying
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
49.A Simplifier for Propositional Formulas with Many Binary Clauses

机译：具有许多二元子句的命题公式的简化器
- 作者：Ronen I. Brafman
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
50.A Spatial Odyssey of the Interval Algebra: 1. Directed Intervals

机译：区间代数的空间漫游：1.有向区间
- 作者：Jochen Renz
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
51.Temporal Difference Learning Applied to a High-Performance

机译：时间差异学习在高性能中的应用
- 作者：Game-Playing Program
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
52.An On-line Decision-Theoretic Golog Interpreter

机译：在线决策理论Golog解释器
- 作者：Mikhail Soutchanski
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
53.Backbones in Optimization and Approximation

机译：优化和近似中的主干
- 作者：John Slaney;Toby Walsh
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
54.Causality and Minimal Change Demystified

机译：因果关系和最小变化被揭开神秘面纱
- 作者：Maurice Pagnucco;Pavlos Peppas
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
55.Complexity of Nested Circumscription and Abnormality Theories

机译：嵌套限制的复杂性和异常理论
- 作者：Marco Cadoli;Thomas Eiter;Georg Gottlob
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
56.Complexity of Probabilistic Planning under Average Rewards

机译：平均奖励下概率计划的复杂性
- 作者：Jussi Rintanen
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
57.Complexity Results for Structure-Based Causality

机译：基于结构的因果关系的复杂度结果
- 作者：Thomas Eiter;Thomas Lukasiewicz
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
58.Computational Complexity of Planning with Temporal Goals

机译：具有时间目标的规划的计算复杂性
- 作者：Chitta Baral;Vladik Kreinovich;Raul A. Trejo
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
59.Computing Least Common Subsumers in ALEN

机译：计算ALEN中最少的普通消费者
- 作者：Ralf Kuesters;Ralf Molitor
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
60.Conditional progressive planning under uncertainty

机译：不确定条件下的条件渐进式计划
- 作者：Lars Karlsson
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
61.Context-specific Sign-propagation in Qualitative Probabilistic Networks

机译：定性概率网络中上下文特定的符号传播
- 作者：Silja Renooij;Simon Parsons;Linda C. van der Gaag
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
62.Cooperative Search and Nogood Recording

机译：合作搜索和不良记录
- 作者：Cyril Terrioux
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
63.Discrimination of Semi-Quantitative Models by Experiment Selection: Method and Application in Population Biology

机译：通过实验选择区分半定量模型：方法和在人口生物学中的应用
- 作者：Ivayla Vatcheva;Olivier Bernard;Hidde de Jong;Jean-Luc Gouze;Nicolaas J.I. Mars
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
64.Dynamic Control Of Plans With Temporal Uncertainty

机译：具有时间不确定性的计划的动态控制
- 作者：Paul Morris;Thierry Vidal;Nicola Muscettola
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
65.Experimenting with Heuristics for Answer Set Programming

机译：试验启发式答案集编程
- 作者：Wolfgang Faber;Nicola Leone;Gerald Pfeifer
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
66.FCA-MERGE: Bottom-Up Merging of Ontologies

机译：FCA-MERGE：自下而上的本体合并
- 作者：Gerd Stumme;Alexander Maedche
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
67.Formalizing Artistic Techniques and Scientific Visualization for Painted Renditions of Complex Information Spaces

机译：复杂信息空间的绘画表现形式艺术化技术和科学可视化
- 作者：Christopher G. Healey
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
68.Graph Theoretical Characterization and Computation of Answer Sets

机译：图理论表征和答案集计算
- 作者：Thomas Linke
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
69.Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning

机译：启发式搜索+符号模型检查=有效的符合计划
- 作者：Piergiorgio Bertoli;Alessandro Cimatti;Marco Roveri
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
70.Heuristic Search in Infinite State Spaces Guided by Lyapunov Analysis

机译：Lyapunov分析指导的无限状态空间中的启发式搜索
- 作者：Theodore J. Perkins;Andrew G. Barto
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
71.Hierarchical Diagnosis Guided by Observations

机译：观察指导的分级诊断
- 作者：Luca Chittaro;Roberto Ranon
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
72.Hybrid STAN: Identifying and Managing Combinatorial Optimisation Sub-problems in Planning

机译：混合STAN：识别和管理规划中的组合优化子问题
- 作者：Maria Fox;Derek Long
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
73.Identification Constraints and Functional Dependencies in Description Logics

机译：描述逻辑中的识别约束和功能依赖性
- 作者：Diego Calvanese;Giuseppe De Giacomo;Maurizio Lenzerini
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
74.Improved bounds on the complexity of kB-consistency

机译：改善了kB一致性复杂性的界限
- 作者：Lucas Bordeaux;Eric Monfroy;Frederic Benhamou
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
- strong consistency techniques;
- interval constraint propagation;
75.Interval-based Temporal Reasoning with General TBoxes

机译：带有通用TBox的基于时间间隔的时间推理
- 作者：Carsten Lutz
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
76.Iterative Widening

机译：迭代拓宽
- 作者：Tristan Cazenave
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
77.Knowledge Processing under Information Fidelity

机译：信息保真度下的知识处理
- 作者：Wilhelm Roedder
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
78.Local Search Topology in Planning Benchmarks: An Empirical Analysis

机译：规划基准中的本地搜索拓扑：实证分析
- 作者：Joerg Hoffmann
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
79.Making AC-3 an Optimal Algorithm

机译：使AC-3成为最佳算法
- 作者：Yuanlin Zhang;Roland H.C. Yap
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
80.Matching under Side Conditions in Description Logics

机译：在描述逻辑的条件下进行匹配
- 作者：Franz Baader;Sebastian Brandt;Ralf Kuesters
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
81.Adaptive Control of Acyclic Progressive Processing Task Structures

机译：非循环渐进式处理任务结构的自适应控制
- 作者：Stephane Cardon;Abdel-Illah Mouaddib;Shlomo Zilberstein;Richard Washington
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
82.On the Semantics of Knowledge Update

机译：论知识更新的语义
- 作者：Chitta Baral;Yan Zhang
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
83.One action is enough to plan

机译：一个行动就足以计划
- 作者：Emmanuel Guere;Rachid Alami
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
84.Ontology Reasoning in the SHOQ(D) Description Logic

机译：SHOQ（D）描述逻辑中的本体推理
- 作者：Ian Horrocks;Ulrike Sattler
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
85.Perceptual Anchoring of Symbols for Action

机译：行动符号的感性锚定
- 作者：Silvia Coradeschi;Alessandro Saffiotti
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
86.Planning as Model Checking for Extended Goals in Non-deterministic Domains

机译：规划作为确定性领域中扩展目标的模型检查
- 作者：Marco Pistore;Paolo Traverso
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
87.Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking

机译：通过符号模型检查在部分可观察性下的不确定域中进行规划
- 作者：Piergiorgio Bertoli;Alessandro Cimatti;Marco Roveri;Paolo Traverso
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
88.Reasoning with infinite stable models

机译：用无限稳定模型进行推理
- 作者：Piero A. Bonatti
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
89.Resource-bounded inference from inconsistent belief bases

机译：来自不一致信念基础的资源受限推断
- 作者：Pierre Marquis;Nadege Porquet
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
90.Reviving Partial Order Planning

机译：恢复部分订单计划
- 作者：XuanLong Nguyen;Subbarao Kambhampati
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
91.Satisficing and Learning Cooperation in the Prisoner's Dilemma

机译：囚徒困境中的满足与学习合作
- 作者：Jeff L. Stimpson;Michael A. Goodrich;Lawrence C. Walters
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
92.Search on High Degree Graphs

机译：搜索高度图
- 作者：Toby Walsh
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
93.Simulating the Formation of Color Categories

机译：模拟颜色类别的形成
- 作者：Tony Belpaeme
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
94.Temporal Constraint Reasoning With Preferences

机译：具有偏好的时间约束推理
- 作者：Lina Khatib;Paul Morris;Robert Morris;Francesca Rossi
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
95.Temporal Decision Trees or the lazy ECU vindicated

机译：时间决策树或懒惰的ECU辩护
- 作者：Luca Console;Claudia Picardi;Daniele Theseider Dupre
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
96.The SG Family: Extensions of Simple Conceptual Graphs

机译：SG系列：简单概念图的扩展
- 作者：Jean-Francois Baget;Marie-Laure Mugnier
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
97.Total-Order Planning with Partially Ordered Subtasks

机译：具有部分排序子任务的总订单计划
- 作者：Dana Nau;Hector Munoz-Avila;Yue Cao;Amnon Lotem;Steven Mitchell
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
98.UNSEARCHMO: Eliminating Redundant Search Space on Backtracking for Forward Chaining Theorem Proving

机译：UNSEARCHMO：消除回溯上的冗余搜索空间，以进行正向链定理证明
- 作者：Lifeng He
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
99.Updates, actions, and planning

机译：更新，行动和计划
- 作者：Andreas Herzig;Jerome Lang;Pierre Marquis;Thomas Polacsek
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年
100.Visual Analogy in Problem Solving

机译：解决问题中的视觉类比
- 作者：Jim Davies;Ashok K. Goel
- 会议名称：《Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01) Vol.1, Aug 4-10, 2001, Seattle, Washington》 | 2001年