首页>外文会议>International conference on logic for programming, artificial intelligence, and reasoning

International conference on logic for programming, artificial intelligence, and reasoning

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics

机译：角理论最大模型的枚举算法及其在模态逻辑中的应用
- 作者：Luca Aceto;Dario Delia Monica;Anna Ingolfsdottir;Angelo Montanari;Guido Sciavicco
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
- Horn theory;
- entailment;
- satisfiability;
- enumeration problems;
- modal logics;
2.May-Happen-in-Parallel Analysis for Priority-Based Scheduling

机译：基于优先级的调度中的May-Happen-in-Parallel分析
- 作者：Elvira Albert;Samir Genaim;Enrique Martin-Martin
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
3.The Complexity of Clausal Fragments of LTL

机译：LTL子句片段的复杂性
- 作者：Alessandro Artale;Roman Kontchakov;Vladislav Ryzhikov;Michael Zakharyaschev
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
4.A Semantic Basis for Proof Queries and Transformations

机译：证明查询和转换的语义基础
- 作者：David Aspinall;Ewen Dermey;Christoph Lueth
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
5.Expressive Path Queries on Graphs with Data

机译：带数据图的表达路径查询
- 作者：Pablo Barcelo;Gaelle Fontaine;Anthony Widjaja Lin
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
6.Proving Infinite Satisfiability

机译：证明无限的满足
- 作者：Peter Baumgartner;Joshua Bax
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
7.SAT-Based Preprocessing for MaxSAT

机译：MaxSAT基于SAT的预处理
- 作者：Anton Belov;Antonio Morgado;Joao Marques-Silva
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
8.Dynamic and Static Symmetry Breaking in Answer Set Programming

机译：答案集编程中的动态和静态对称性破坏
- 作者：Belaied Benhamou
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
- symmetry;
- logic programming;
- stable model semantics;
- answer set programming;
- non-monotonic reasoning;
9.HOL Based First-Order Modal Logic Provers

机译：基于HOL的一阶模态逻辑证明
- 作者：Christoph Benzmueller;Thomas Raths
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
10.Resourceful Reachability as HORN-LA

机译：作为HORN-LA的资源可及性
- 作者：Josh Berdine;Nikolaj Bjorner;Samin Ishtiaq;Jael E. Kriener;Christoph M. Wintersteiger
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
11.A Seligman-Style Tableau System

机译：塞利格曼风格的Tableau系统
- 作者：Patrick Blackburn;Thomas Bolander;Torben Brauener;Klaus Frovin Jorgensen
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
12.Comparison of LTL to Deterministic Rabin Automata Translators

机译：LTL与确定性Rabin自动机转换器的比较
- 作者：Frantisek Blahoudek;Mojmir Kretinsky;Jan Strejcek
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
13.Tree Interpolation in Vampire

机译：吸血鬼中的树插值
- 作者：Regis Blanc;Ashutosh Gupta;Laura Kovacs;Bernhard Kragl
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
14.Polarizing Double-Negation Translations

机译：极化否定翻译
- 作者：Melanie Boudard;Olivier Hermant
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
- classical logic;
- intuitionnistic logic;
- double-negation translation;
- focusing;
15.Revisiting the Equivalence of Shininess and Politeness

机译：重新审视对等与礼貌
- 作者：Filipe Casal;Joao Rasga
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
- Nelson-Oppen method;
- combination of satisfiability procedures;
- polite theories;
- strongly polite theories;
- shiny theories;
16.Towards Rational Closure for Fuzzy Logic: The Case of Propositional Goedel Logic

机译：走向模糊逻辑的合理闭合：命题Goedel逻辑的情况
- 作者：Giovanni Casini;Umberto Straccia
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
17.Multi-objective Discounted Reward Verification in Graphs and MDPs

机译：图形和MDP中的多目标折扣奖励验证
- 作者：Krishnendu Chatterjee;Vojtech Forejt;Dominik Wojtczak
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
18.Description Logics, Rules and Multi-context Systems

机译：描述逻辑，规则和多上下文系统
- 作者：Luis Cruz-Filipe;Rita Henriques;Isabel Nunes
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
19.Complexity Analysis in Presence of Control Operators and Higher-Order Functions

机译：存在控制算子和高阶函数的复杂度分析
- 作者：Ugo Dal Lago;Giulio Pellitta
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
20.Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo

机译：泽农·莫杜（Zenon Modulo）：当阿喀琉斯使用演绎模超过乌龟时
- 作者：David Delahaye;Damien Doligez;Frederic Gilbert;Pierre Halmagrand;Olivier Hermant
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
- Tableaux;
- Deduction Modulo;
- Rewriting;
- Automated Theorem Proving;
- Proof Checking;
- Zenon;
- Dedukti;
21.Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving

机译：远程解决方案：基于搜索的QBF解决方案中的证据生成和策略提取
- 作者：Uwe Egly;Florian Lonsing;Magdalena Widl
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
22.Verifying Temporal Properties in Real Models

机译：在实模型中验证时间属性
- 作者：Tim French;John McCabe-Dansted;Mark Reynolds
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
23.A Graphical Language for Proof Strategies

机译：证明策略的图形语言
- 作者：Gudmund Grov;Aleks Kissinger;Yuhui Lin
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
24.A Proof of Strong Normalisation of the Typed Atomic Lambda-Calculus

机译：类型化原子Lambda微积分的强归一化证明
- 作者：Tom Gundersen;Willem Heijltjes;Michel Parigot
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
25.Relaxing Synchronization Constraints in Behavioral Programs

机译：放松行为程序中的同步约束
- 作者：David Harel;Amir Kantor;Guy Katz
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
- behavioral programming;
- synchronization;
- eager execution;
- modular design;
- distributed design;
26.Characterizing Subset Spaces as Bi-topological Structures

机译：将子集空间表征为双拓扑结构
- 作者：Bernhard Heinemann
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
- modal logic;
- topological semantics;
- subset spaces;
- knowledge and topological reasoning;
27.Proof-Pattern Recognition and Lemma Discovery in ACL2

机译：ACL2中的证明模式识别和引理发现
- 作者：Jonathan Heras;Ekaterina Komendantskaya;Moa Johansson;Ewen Maclean
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
- Theorem Proving;
- Statistical Machine-Learning;
- Pattern Recognition;
- Lemma Discovery;
- Analogy;
28.Semantic A-translations and Super-Consistency Entail Classical Cut Elimination

机译：语义A转换和超一致性需要消除经典的剪切
- 作者：Lisa Allah;Olivier Hermant
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
- Deduction modulo;
- cut elimination;
- A-translation;
- pseudo-Heyting algebra;
- super-consistency;
29.Blocked Clause Decomposition

机译：子句分解
- 作者：Marijn J.H. Heule;Armin Biere
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
30.Maximal Falsifiability: Definitions, Algorithms, and Applications

机译：最大可证伪性：定义，算法和应用
- 作者：Alexey Ignatiev;Antonio Morgado;Jordi Planes;Joao Marques-Silva
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
31.Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning

机译：结合符号推理和数字推理解决几何问题
- 作者：Shachar Itzhaky;Sumit Gulwani;Neil Immerman;Mooly Sagiv
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
- geometry;
- reasoning;
- synthesis;
32.On QBF Proofs and Preprocessing

机译：关于QBF证明和预处理
- 作者：Mikolas Janota;Radu Grigore;Joao Marques-Silva
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
33.Partial Backtracking in CDCL Solvers

机译：CDCL解决方案中的部分回溯
- 作者：Chuan Jiang;Ting Zhang
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
- satisfiability;
- backtracking;
- conflict-driven conflict learning;
34.Lemma Mining over HOL Light

机译：通过HOL Light进行Lemma挖掘
- 作者：Cezary Kaliszyk;Josef Urban
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
35.On Module-Based Abstraction and Repair of Behavioral Programs

机译：基于模块的行为程序抽象与修复
- 作者：Guy Katz
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
- Abstraction-refinement;
- program repair;
- behavioral programming;
36.Prediction and Explanation over DL-Lite Data Streams

机译：DL-Lite数据流的预测和解释
- 作者：Szymon Klarman;Thomas Meyer
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
37.Forgetting Concept and Role Symbols in ALCH-Ontologies

机译：忘记ALCH本体中的概念和角色符号
- 作者：Patrick Koopmann;Renate A. Schmidt
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
38.Simulating Parity Reasoning

机译：模拟奇偶推理
- 作者：Tero Laitinen;Tommi Junttila;Ilkka Niemelae
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
39.Herbrand Theorems for Substructural Logics

机译：子结构逻辑的赫布兰德定理
- 作者：Petr Cintula;George Metcalfe
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
40.On Promptness in Parity Games

机译：平价游戏中的即时性
- 作者：Fabio Mogavero;Aniello Murano;Loredana Sorrentino
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
41.Defining Privacy Is Supposed to Be Easy

机译：定义隐私很容易
- 作者：Sebastian A. Moedersheim;Thomas Gross;Luca Vigano
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
42.Reachability Modules for the Description Logic SRIQ

机译：描述逻辑SRIQ的可达性模块
- 作者：Riku Nortje;Katarina Britz;Thomas Meyer
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
43.An Event Structure Model for Probabilistic Concurrent Kleene Algebra

机译：概率并行Kleene代数的事件结构模型
- 作者：Annabelle McIver;Tahiry Rabehaja;Georg Struth
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
44.Three SCC-Based Emptiness Checks for Generalized Buechi Automata

机译：广义Buechi自动机的三个基于SCC的空度检查
- 作者：Etienne Renault;Alexandre Duret-Lutz;Fabrice Kordon;Denis Poitrenaud
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
45.PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification

机译：PeRIPLO：在基于SAT的软件验证中产生有效插值的框架
- 作者：Simone Fulvio Rollini;Leonardo Alt;Grigory Fedyukovich;Antti E.J. Hyvaerinen;Natasha Sharygina
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
46.Incremental Tabling for Query-Driven Propagation of Logic Program Updates

机译：用于逻辑驱动程序更新的查询驱动传播的增量制表
- 作者：Ari Saptawijaya;Luis Moniz Pereira
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
- logic program updates;
- updates propagation;
- incremental tabling;
- dual program transformation;
- XSB Prolog;
47.Tracking Data-Flow with Open Closure Types

机译：跟踪具有开放闭合类型的数据流
- 作者：Gabriel Scherer;Jan Hoffmann
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
- Type Systems;
- Closure Types;
- Information Flow;
48.Putting Newton into Practice: A Solver for Polynomial Equations over Semirings

机译：将牛顿投入实践：半环上多项式方程的求解器
- 作者：Maximilian Schlund;Michal Terepeta;Michael Luttenberger
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
49.System Description: E 1.8

机译：系统描述：E 1.8
- 作者：Stephan Schulz
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
50.Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light

机译：使用HOL-Light多元演算理论对Laplace变换进行形式化
- 作者：Syeda Hira Taqdees;Osman Hasan
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
51.On Minimality and Integrity Constraints in Probabilistic Abduction

机译：概率绑架中的最小和完整性约束
- 作者：Calin-Rares Turliuc;Nataly Maimari;Alessandra Russo;Krysia Broda
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
- abductive logic programming;
- probabilistic abduction;
- distribution semantics;
52.Polar: A Framework for Proof Refactoring

机译：Polar：证明重构框架
- 作者：Dominik Dietrich;Iain Whiteside;David Aspinall
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年
53.Preface

机译：前言
- 作者：Ken Mcmillan;Aart Middeldorp;Andrei Voronkov
- 会议名称：《International conference on logic for programming, artificial intelligence, and reasoning》 | 2013年