首页>外文会议>Logic Programming

Logic Programming

召开年：2002
召开地：Copenhagen(DK);Copenhagen(DK)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.An Abductive Approach for Analysing Event-Based Requirements Specifications

机译：一种基于事件的需求规范分析的归纳方法
- 作者：Alessandra Russo;Rob Miller;Bashar Nuseibeh;Jeff Kramer
- 会议名称：《Logic Programming》 | 2002年
2.Computing Stable Models: Worst-Case Performance Estimates

机译：计算稳定模型：最坏情况下的性能估算
- 作者：Zbigniew Lonc;Miroslaw Truszczynski
- 会议名称：《Logic Programming》 | 2002年
3.Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP

机译：分层CLP的基于约束的无限模型检查和制表
- 作者：Witold Charatonik;Supratik Mukhopadhyay;Andreas Podelski
- 会议名称：《Logic Programming》 | 2002年
4.Copying Garbage Collection for the WAM: To Mark or Not to Mark?

机译：为WAM复制垃圾回收：标记还是不标记？
- 作者：Bart Demoen;Phuong-Lan Nguyen;Ruben Vandeginste
- 会议名称：《Logic Programming》 | 2002年
5.Disjunctive Explanations

机译：析取解释
- 作者：Katsumi Inoue;Chiaki Sakama
- 会议名称：《Logic Programming》 | 2002年
6.Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints

机译：使用表逻辑编程和约束条件进行高效的实时模型检查
- 作者：Giridhar Pemmasani;C. R. Ramakrishnan;I. V. Ramakrishnan
- 会议名称：《Logic Programming》 | 2002年
7.Embedding Defeasible Logic into Logic Programs

机译：将可废止的逻辑嵌入到逻辑程序中
- 作者：Grigoris Antoniou;Michael J. Maher
- 会议名称：《Logic Programming》 | 2002年
8.Learning in Logic with RichProlog

机译：使用RichProlog进行逻辑学习
- 作者：Eric Martin;Phuong Nguyen;Arun Sharma;Frank Stephan
- 会议名称：《Logic Programming》 | 2002年
9.Logic Programming for Software Engineering: A Second Chance

机译：软件工程逻辑编程：第二次机会
- 作者：Kung-Kiu Lau;Michel Vanden Bossche
- 会议名称：《Logic Programming》 | 2002年
10.Logical Algorithms

机译：逻辑算法
- 作者：Harald Ganzinger;David McAllester
- 会议名称：《Logic Programming》 | 2002年
11.Logical Loops

机译：逻辑循环
- 作者：Joachim Schimpf
- 会议名称：《Logic Programming》 | 2002年
12.A Different Look at Garbage Collection for the WAM

机译：WAM的垃圾收集方式不同
- 作者：Bart Demoen
- 会议名称：《Logic Programming》 | 2002年
13.A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs

机译：有限域CSP中域约简的逻辑程序表征
- 作者：Gerard Ferrand;Arnaud Lallouet
- 会议名称：《Logic Programming》 | 2002年
14.A Logic-Based System for Application Integration

机译：基于逻辑的应用程序集成系统
- 作者：Tamas Benko;Peter Krauth;Peter Szeredi
- 会议名称：《Logic Programming》 | 2002年
15.A Model Theoretic Semantics for Multi-level Secure Deductive Databases

机译：多级安全演绎数据库的模型理论语义
- 作者：Hasan M. Jamil;Gillian Dobbie
- 会议名称：《Logic Programming》 | 2002年
- MLS databases;
- security;
- belief assertion;
- reasoning;
- deductive databases;
- soundness and completeness;
16.A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report

机译：将具有嵌套表达式的逻辑程序多项式转换为析取逻辑程序：初步报告
- 作者：David Pearce;Vladimir Sarsakov;Torsten Schaub;Hans Tompits;Stefan Woltran
- 会议名称：《Logic Programming》 | 2002年
17.A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming

机译：表式高阶逻辑编程的证明理论基础
- 作者：Brigitte Pientka
- 会议名称：《Logic Programming》 | 2002年
18.A Purely Logical Account of Sequentiality in Proof Search

机译：证明搜索中顺序的纯逻辑解释
- 作者：Paola Bruscoli
- 会议名称：《Logic Programming》 | 2002年
19.A Rewriting Method for Weil-Founded Semantics with Explicit Negation

机译：显式取反的基于威尔的语义重写方法
- 作者：Pedro Cabalar
- 会议名称：《Logic Programming》 | 2002年
20.Access Control for Deductive Databases by Logic Programming

机译：逻辑编程对演绎数据库的访问控制
- 作者：Steve Barker
- 会议名称：《Logic Programming》 | 2002年
21.On Enabling the WAM with Region Support

机译：关于在区域支持下启用WAM
- 作者：Henning Makholm;Konstantinos Sagonas
- 会议名称：《Logic Programming》 | 2002年
22.Propagation Completeness of Reactive Constraints

机译：反应性约束的传播完备性
- 作者：Michael J. Maher
- 会议名称：《Logic Programming》 | 2002年
23.Proving the Equivalence of CLP Programs

机译：证明CLP程序的等效性
- 作者：Sorin Craciunescu
- 会议名称：《Logic Programming》 | 2002年
- program equivalence;
- proof system;
- induction;
- coinduction;
- reactive program;
- logic programming;
- constraint;
- CLP;
- CLPany;
24.Reasoning about Actions with CHRs and Finite Domain Constraints

机译：关于具有CHR和有限域约束的动作的推理
- 作者：Michael Thielscher
- 会议名称：《Logic Programming》 | 2002年
25.Reasoning with Infinite Stable Models II: Disjunctive Programs

机译：无限稳定模型的推理II：析取程序
- 作者：Piero A. Bonatti
- 会议名称：《Logic Programming》 | 2002年
26.Representing Arithmetic Constraints with Finite Automata: An Overview

机译：用有限自动机表示算术约束：概述
- 作者：Bernard Boigelot;Pierre Wolper
- 会议名称：《Logic Programming》 | 2002年
27.Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification

机译：面向XML和半结构化数据的声明性查询和转换语言：模拟统一
- 作者：Francois Bry;Sebastian Schaffert
- 会议名称：《Logic Programming》 | 2002年
28.Towards Local Search for Answer Sets

机译：走向本地搜索答案集
- 作者：Yannis Dimopoulos;Andreas Sideris
- 会议名称：《Logic Programming》 | 2002年
29.Trailing Analysis for HAL

机译：HAL的尾随分析
- 作者：Tom Schrijvers;Maria Garcia de la Banda;Bart Demoen
- 会议名称：《Logic Programming》 | 2002年
30.Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems

机译：使用混合并行约束编程对动态生物系统进行建模
- 作者：Alexander Bockmayr;Arnaud Courtois
- 会议名称：《Logic Programming》 | 2002年
31.Using Logic Programming to Detect Activities in Pervasive Healthcare

机译：使用逻辑编程检测普适医疗保健中的活动
- 作者：Henrik Baerbak Christensen
- 会议名称：《Logic Programming》 | 2002年