首页>外文会议>Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

召开年：2001
召开地：Havana(CU);Havana(CU);Havana(CU)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Automated Proof Support for Interval Logics

机译：间隔逻辑的自动证明支持
- 作者：Thomas Marthedal Rasmussen
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
2.Efficient Negation Using Abstract Interpretation

机译：使用抽象解释的有效否定
- 作者：Susana Munoz;Juan Jose Moreno;Manuel Hermenegildo
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
3.Inferring Termination Conditions for Logic Programs Using Backwards Analysis

机译：使用向后分析推断逻辑程序的终止条件
- 作者：Samir Genaim;Michael Codish
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
4.Logical Omniscience and the Cost of Deliberation

机译：逻辑全方位科学与审议成本
- 作者：Natasha Alechina;Brian Logan
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
5.Model Generation with Boolean Constraints

机译：具有布尔约束的模型生成
- 作者：Miyuki Koshimura;Hiroshi Fujita;Ryuzo Hasegawa
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
6.A Computer Environment for Writing Ordinary Mathematical Proofs

机译：编写普通数学证明的计算机环境
- 作者：David McMath;Marianna Rozenfeld;Richard Sommer
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
7.First-Order Atom Definitions Extended

机译：一阶原子定义已扩展
- 作者：Bijan Afshordel;Thomas Hillenbrand;Christoph Weidenbach
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
8.Certifying Synchrony for Free

机译：免费验证同步
- 作者：Sylvain Boulme;Gregoire Hamon
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
9.Reachability Analysis of Term Rewriting Systems with Timbuk

机译：Timbuk的术语重写系统的可达性分析
- 作者：Thomas Genet;Valerie Viet Triem Tong
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
10.The Elog Web Extraction Language

机译：博客Web提取语言
- 作者：Robert Baumgartner;Sergio Flesca;Georg Gottlob
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
11.Andorra Model Revised: Introducing Nested Domain Variables and a Targeted Search

机译：修订的安道尔模型：引入嵌套域变量和有针对性的搜索
- 作者：Rong Yang;Steve Gregory
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
12.Concept Formation via Proof Planning Failure

机译：通过证明计划失败形成概念
- 作者：Raul Monroy
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
13.On Termination of Meta-programs

机译：关于元程序的终止
- 作者：Alexander Serebrenik;Danny De Schreye
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
14.Splitting through New Proposition Symbols

机译：拆分新的命题符号
- 作者：Hans de Nivelle
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
15.Analysis of Polymorphically Typed Logic Programs Using ACI-Unification

机译：使用ACI统一分析多态类型的逻辑程序
- 作者：Jan-Georg Smaus
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
16.Binding-Time Annotations without Binding-Time Analysis

机译：没有绑定时间分析的绑定时间注释
- 作者：Wim Vanhoof;Maurice Bruynooghe
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
17.Boolean Functions for Finite-Tree Dependencies

机译：有限树相关性的布尔函数
- 作者：Roberto Bagnara;Enea Zaffanella;Roberta Gori;Patricia M. Hill
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
18.Census Data Repair: A Challenging Application of Disjunctive Logic Programming

机译：人口普查数据修复：逻辑逻辑编程的一个有挑战性的应用
- 作者：Enrico Franconi;Antonio Laureti Palma;Nicola Leone;Simona Perri;Francesco Scarcello
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
19.Coherence and Transitivity in Coercive Subtyping

机译：强制子类型化中的连贯性和及物性
- 作者：Yong Luo;Zhaohui Luo
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
20.Coherent Composition of Distributed Knowledge-Bases through Abduction

机译：通过绑架使分布式知识库连贯地构成
- 作者：Ofer Arieli;Bert Van Nuffelen;Marc Denecker;Maurice Bruynooghe
- 会议名称：《》 | 2001年
21.Complexity of Linear Standard Theories

机译：线性标准理论的复杂性
- 作者：Christopher Lynch;Barbara Morawska
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
22.Computational Space Efficiency and Minimal Model Generation for Guarded Formulae

机译：保护公式的计算空间效率和最小模型生成
- 作者：Lilia Georgieva;Ullrich Hustadt;Renate A. Schmidt
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
23.Counting the Number of Equivalent Binary Resolution Proofs

机译：计算等效二元分辨率证明的数量
- 作者：Joseph D. Horton
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
24.Efficient Computation of the Well-Founded Model Using Update Propagation

机译：使用更新传播对有效模型的有效计算
- 作者：Andreas Behrend
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
25.Functional Logic Programming with Failure: A Set-Oriented View

机译：带有故障的功能逻辑编程：面向集合的视图
- 作者：F.J. Lopez-Fraguas;J. Sanchez-Hernandez
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
26.Games and Model Checking for Guarded Logics

机译：保护逻辑的游戏和模型检查
- 作者：Dietmar Berwanger;Erich Graedel
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
27.Herbrand's Theorem for Prenex Goedel Logic and Its Consequences for Theorem Proving

机译：Herbrand的Prenex Goedel逻辑定理及其对定理证明的后果
- 作者：Matthias Baaz;Agata Ciabattoni;Christian G. Fermueller
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
28.How to Transform an Analyzer into a Verifier

机译：如何将分析仪转换为验证器
- 作者：Marco Comini;Roberta Gori;Giorgio Levi
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
29.Improving Automata Generation for Linear Temporal Logic by Considering the Automaton Hierarchy

机译：通过考虑自动机层次结构改善线性时序逻辑的自动机生成
- 作者：K. Schneider
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
30.Indexed Categories and Bottom-Up Semantics of Logic Programs

机译：逻辑程序的索引类别和自下而上的语义
- 作者：Gianluca Amato;James Lipton
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
31.Inference of Termination Conditions for Numerical Loops in Prolog

机译：Prolog中数字循环终止条件的推断
- 作者：Alexander Serebrenik;Danny De Schreye
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
32.Intuitionistic Multiplicative Proof Nets as Models of Directed Acyclic Graph Descriptions

机译：直觉可乘证明网作为有向无环图描述的模型
- 作者：Guy Perrier
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
33.Local Conditional High-Level Robot Programs

机译：本地有条件的高级机器人程序
- 作者：Sebastian Sardina
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
34.Local Temporal Logic Is Expressively Complete for Cograph Dependence Alphabets

机译：局部时态逻辑在Cograph依赖字母上表现力十足
- 作者：Volker Diekert;Paul Gastin
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
- temporal logics;
- mazurkiewicz traces;
- concurrency;
35.Monodic Fragments of First-Order Temporal Logics: 2000-2001 A.D

机译：一阶时间逻辑的单片片段：公元2000-2001年
- 作者：Ian Hodkinson;Frank Wolter;Michael Zakharyaschev
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
36.A Local System for Classical Logic

机译：古典逻辑的本地系统
- 作者：Kai Bruennler;Alwen Fernanto Tiu
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
37.A Monotonic Higher-Order Semantic Path Ordering

机译：单调的高阶语义路径排序
- 作者：Cristina Borralleras;Albert Rubio
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
38.A Refinement Theory that Supports Reasoning about Knowledge and Time for Synchronous Agents

机译：支持同步代理知识和时间推理的细化理论
- 作者：Kai Engelhardt;Ron van der Meyden;Yoram Moses
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
39.A Type-Theoretic Approach to Induction with Higher-Order Encodings

机译：类型理论的高阶归纳方法
- 作者：Carsten Schuermann
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
40.On Bounded Specifications

机译：有界规格
- 作者：Orna Kupferman;Moshe Y. Vardi
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
41.Operational Semantics for Fixed-Point Logics on Constraint Databases

机译：约束数据库上定点逻辑的操作语义
- 作者：Stephan Kreutzer
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
42.Partial Implicit Unfolding in the Davis-Putnam Procedure for Quantified Boolean Formulae

机译：Davis-Putnam过程中部分隐式展开的量化布尔公式
- 作者：Jussi Rintanen
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
43.Permutation Problems and Channelling Constraints

机译：排列问题和渠道约束
- 作者：Toby Walsh
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
44.Proof and Model Generation with Disconnection Tableaux

机译：断开表的证明和模型生成
- 作者：Reinhold Letz;Gernot Stenz
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
45.Reasoning about Evolving Nonmonotonic Knowledge Bases

机译：演化非单调知识库的推理
- 作者：Thomas Eiter;Michael Fink;Giuliana Sabbatini;Hans Tompits
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
46.Simplifying Binary Propositional Theories into Connected Components Twice as Fast

机译：将二元命题理论以两倍的速度简化为连接的组件
- 作者：Alvaro del Val
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
47.Tableaux for Reasoning about Atomic Updates

机译：Tableaux用于推理原子更新
- 作者：Christian G. Fermueller;Georg Moser;Richard Zach
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
48.Termination of Rewriting with Strategy Annotations

机译：使用策略注释终止重写
- 作者：Salvador Lucas
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
- rewriting strategies;
- termination;
49.The Functions Provable by First Order Abstraction

机译：一阶抽象可证明的功能
- 作者：Daniel Leivant
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年
50.Unification in a Description Logic with Transitive Closure of Roles

机译：描述逻辑与角色的传递性闭合的统一
- 作者：Franz Baader;Ralf Kuesters
- 会议名称：《Logic for Programming, Artificial Intelligence, and Reasoning》 | 2001年