首页>外文会议>International conference on logic programming and nonmonotonic reasoning

International conference on logic programming and nonmonotonic reasoning

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Negation as a Resource: A Novel View on Answer Set Semantics

机译：否定作为资源：答案集语义学的新视角
- 作者：Stefania Costantini;Andrea Formisano
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
- Answer Set Programming;
- Linear Logic;
- Default Negation;
2.WASP: A Native ASP Solver Based on Constraint Learning

机译：WASP：基于约束学习的本机ASP解算器
- 作者：Mario Alviano;Carmine Dodaro;Wolfgang Faber;Nicola Leone;Francesco Ricca
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
3.Encoding Higher Level Extensions of Petri Nets in Answer Set Programming

机译：在答案集编程中编码Petri网的高级扩展
- 作者：Saadat Anwar;Chitta Baral;Katsumi Inoue
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
4.Spectra in Argumentation: An Analysis of Minimal Change

机译：论据中的光谱：最小变化的分析
- 作者：Ringo Baumann;Gerhard Brewka
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
5.A Sequential Model for Reasoning about Bargaining in Logic Programs

机译：逻辑程序讨价还价推理的顺序模型
- 作者：Wu Chen;Dongmo Zhang;Maonian Wu
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
- bargaining theory;
- logic programming;
- sequential model;
6.ActHEX: Implementing HEX Programs with Action Atoms

机译：ActHEX：使用动作原子实施HEX程序
- 作者：Michael Fink;Stefano Germano;Giovambattista Ianni;Christoph Redl;Peter Schueller
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
7.Non-monotonic Temporal Goals

机译：非单调的时间目标
- 作者：Ricardo Goncalves;Matthias Knorr;Joao Leite;Martin Slota
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
8.Implementing Informal Semantics of ASP

机译：实施ASP的非正式语义
- 作者：Artur Mikitiuk;Miroslaw Truszczynski
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
9.Flexible Combinatory Categorial Grammar Parsing Using the CYK Algorithm and Answer Set Programming

机译：使用CYK算法和答案集编程的灵活组合分类语法解析
- 作者：Peter Schueller
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
10.On Optimal Solutions of Answer Set Optimization Problems

机译：答案集优化问题的最优解
- 作者：Ying Zhu;Miroslaw Truszczynski
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
11.Managing Change in Answer Set Programs: A Logical Approach

机译：管理答案集程序中的更改：一种逻辑方法
- 作者：James Delgrande
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
12.Extending the Metabolic Network of Ectocarpus Siliculosus Using Answer Set Programming

机译：使用答案集编程扩展赤芝的代谢网络
- 作者：Guillaume Collet;Damien Eveillard;Martin Gebser;Sylvain Prigent;Torsten Schaub;Anne Siegel;Sven Thiele
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
13.Debugging Answer-Set Programs with Ouroboros - Extending the SeaLion Plugin

机译：使用Ouroboros调试答案集程序-扩展SeaLion插件
- 作者：Melanie Fruehstueck;Joerg Puehrer;Gerhard Priedrich
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
14.On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics (Preliminary Report)

机译：关于稳定模型语义下的不定式的等价变换（初步报告）
- 作者：Amelia Harrison;Vladimir Lifschitz;Miroslaw Truszczynski
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
15.Implementing Belief Change in the Situation Calculus and an Application

机译：在情境演算中实现信念变化及其应用
- 作者：Maurice Pagnucco;David Rajaratnam;Hannes Strass;Michael Thielscher
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
16.Early Recovery in Logic Program Updates

机译：逻辑程序更新中的早期恢复
- 作者：Martin Slota;Martin Balaz;Joao Leite
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
- answer-set programming;
- updates;
- strong negation;
- default negation;
17.Preface

机译：前言
- 作者：Pedro Cabalar;Trail Cao Son
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
18.Towards Reactive Multi-Context Systems

机译：迈向反应性多上下文系统
- 作者：Gerhard Brewka
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
19.The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics

机译：FLP语义下具有广义原子的答案集编程的复杂性边界
- 作者：Mario Alviano;Wolfgang Faber
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
20.Cplus2ASP: Computing Action Language C+ in Answer Set Programming

机译：Cplus2ASP：答案集编程中的计算动作语言C +
- 作者：Joseph Babb;Joohyung Lee
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
21.Normalizing Cardinality Rules Using Merging and Sorting Constructions

机译：使用合并和排序构造规范基数规则
- 作者：Jori Bomanson;Tomi Janhunen
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
22.Logic Programming in the 1970s

机译：1970年代的逻辑编程
- 作者：Robert Kowalski
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
- logic programming;
- Prolog;
23.ARVis: Visualizing Relations between Answer Sets

机译：ARVis：可视化答案集之间的关系
- 作者：Thomas Ambroz;Guenther Charwat;Andreas Jusits;Johannes Peter Wallner;Stefan Woltran
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
- Answer set programming;
- Systems;
- Abduction;
24.Towards Answer Set Programming with Sorts

机译：进行带有排序的答案集编程
- 作者：Evgenii Balai;Michael Gelfond;Yuanlin Zhang
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
25.Experience Based Nonmonotonic Reasoning

机译：基于经验的非单调推理
- 作者：Daniel Borchmann
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
26.AGM-Style Belief Revision of Logic Programs under Answer Set Semantics

机译：答案集语义下逻辑程序的AGM风格信念修订
- 作者：James Delgrande;Pavlos Peppas;Stefan Woltran
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
27.Game Semantics for Non-monotonic Intensional Logic Programming

机译：非单调内涵逻辑编程的游戏语义
- 作者：Chrysida Galanaki;Christos Nomikos;Panos Rondogiannis
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
28.An Application of ASP to the Field of Second Language Acquisition (Extended Abstract)

机译：ASP在第二语言习得领域中的应用（扩展摘要）
- 作者：Daniela Inclezan
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
29.Debugging Non-ground ASP Programs with Choice Rules, Cardinality and Weight Constraints

机译：使用选择规则，基数和权重约束调试非地面ASP程序
- 作者：Axel Polleres;Melanie Fruehstueck;Gottfried Schenner;Gerhard Friedrich
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
30.Preference Handling for Belief-Based Rational Decisions

机译：基于信念的理性决策的偏好处理
- 作者：Samy Sa;Joao Alcantara
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
- Reasoning with Preferences;
- Preference Handling;
- Decision Making;
31.Logic-Based Techniques for Data Cleaning: An Application to the Italian National Healthcare System

机译：基于逻辑的数据清理技术：在意大利国家医疗系统中的应用
- 作者：Giorgio Terracina;Alessandra Martello;Nicola Leone
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
32.Program Updating by Incremental and Answer Subsumption Tabling

机译：通过增量和答案归纳制表更新程序
- 作者：Ari Saptawijaya;Luis Moniz Pereira
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
- logic program updates;
- incremental tabling;
- answer subsumption tabling;
33.Characterization Theorems for Revision of Logic programs

机译：逻辑程序修订的特征定理
- 作者：Nicolas Schwind;Katsumi Inoue
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
34.Justifications for Logic Programming

机译：逻辑编程的理由
- 作者：Carlos Viegas Damasio;Anastasia Analyti;Grigoris Antoniou
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
35.Efficient Approximation of Weil-Founded Justification and Well-Founded Domination

机译：威尔建立的辩护和良好建立的支配的有效近似
- 作者：Christian Drescher;Toby Walsh
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
36.Combining Equilibrium Logic and Dynamic Logic

机译：平衡逻辑与动态逻辑的结合
- 作者：Luis Farinas del Cerro;Andreas Herzig;Ezgi Iraz Su
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
37.Approximate Epistemic Planning with Postdiction as Answer-Set Programming

机译：带有预测的近似认知规划作为答案集编程
- 作者：Manfred Eppe;Mehul Bhatt;Frank Dylla
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
38.Belief Change in Nonmonotonic Multi-Context Systems

机译：非单调多上下文系统中的信念变化
- 作者：Yisong Wang;Zhiqiang Zhuang;Kewen Wang
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
39.Matchmaking with Answer Set Programming

机译：对接与答案集编程
- 作者：Martin Gebser;Thomas Glase;Orkunt Sabuncu;Torsten Schaub
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
40.Turner's Logic of Universal Causation, Propositional Logic, and Logic Programming

机译：特纳的普遍因果逻辑，命题逻辑和逻辑程序设计
- 作者：Jianmin Ji;Fangzhen Lin
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
41.Ricochet Robots: A Transverse ASP Benchmark

机译：Ricochet机器人：横向ASP基准
- 作者：Martin Gebser;Holger Jost;Roland Kaminski;Philipp Obermeier;Orkunt Sabuncu;Torsten Schaub;Marius Schneider
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
42.Accurate Computation of Sensitizable Paths Using Answer Set Programming

机译：使用答案集编程精确计算敏感路径
- 作者：Benjamin Andres;Matthias Sauer;Martin Gebser;Tobias Schubert;Bernd Becker;Torsten Schaub
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
43.Hex Semantics via Approximation Fixpoint Theory

机译：近似定点理论的十六进制语义
- 作者：Christian Antic;Thomas Eiter;Michael Fink
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
44.Decidability and Implementation of Parametrized Logic Programs

机译：参数化逻辑程序的可确定性和实现
- 作者：Ricardo Goncalves;Jose Julio Alferes
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
45.Integrating Temporal Extensions of Answer Set Programming

机译：整合答案集编程的时间扩展
- 作者：Felicidad Aguado;Gilberto Perez;Concepcion Vidal
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
46.Conflict-Based Program Rewriting for Solving Configuration Problems

机译：解决配置问题的基于冲突的程序重写
- 作者：Anna Ryabokon;Gerhard Friedrich;Andreas A. Falkner
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
47.Symbolic System Synthesis Using Answer Set Programming

机译：使用答案集编程的符号系统综合
- 作者：Benjamin Andres;Martin Gebser;Torsten Schaub;Christian Haubelt;Felix Reimann;Michael Glass
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
48.Event-Object Reasoning with Curated Knowledge Bases: Deriving Missing Information

机译：具有精选知识库的事件对象推理：得出缺失信息
- 作者：Chitta Baral;Nguyen H. Vo
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
49.Towards Query Answering in Relational Multi-Context Systems

机译：关系多上下文系统中的查询应答
- 作者：Rosamaria Barilaro;Michael Fink;Francesco Ricca;Giorgio Terracina
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
50.Prolog and ASP Inference under One Roof

机译：一站式Prolog和ASP推理
- 作者：Marcello Balduccini;Yuliya Lierler;Peter Schueller
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
- Answer Set Programming;
- Prolog;
- Grounding Bottleneck;
51.Concrete Results on Rules

机译：规则的具体结果
- 作者：Markus Kroetzsch;Despoina Magka;Ian Horrocks
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
52.Forgetting under the Well-Founded Semantics

机译：忘掉根深蒂固的语义学
- 作者：Jose Julio Alferes;Matthias Knorr;Kewen Wang
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
53.The Fourth Answer Set Programming Competition: Preliminary Report

机译：第四套答卷程序设计比赛：初步报告
- 作者：Mario Alviano;Francesco Calimeri;Guenther Charwat;Minh Dao-Tran;Carmine Dodaro;Giovambattista Ianni;Thomas Krennwallner;Martin Kronegger;Johannes Oetsch;Andreas Pfandler;Joerg Puehrer;Christoph Redl;Francesco Ricca;Patrik Schneider;Martin Schwengerer;Lara Katharina Spendier;Johannes Peter Wallner;Guohui Xiao
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
54.Evaluating Answer Set Clause Learning for General Game Playing

机译：评估一般游戏玩法的答案集子句学习
- 作者：Timothy Cerexhe;Orkunt Sabuncu;Michael Thielscher
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
55.An ASP Application in Integrative Biology: Identification of Functional Gene Units

机译：ASP在整合生物学中的应用：功能基因单位的鉴定
- 作者：Philippe Bordron;Damien Eveillard;Alejandro Maass;Anne Siegel;Sven Thiele
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
56.VCWC: A Versioning Competition Workflow Compiler

机译：VCWC：版本控制竞赛工作流程编译器
- 作者：Guenther Charwat;Giovambattista Ianni;Thomas Krennwallner;Martin Kronegger;Andreas Pfandler;Christoph Redl;Martin Schwengerer;Lara Katharina Spendier;Johannes Peter Wallner;Guohui Xiao
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
57.Linear Logic Programming for Narrative Generation

机译：叙事产生的线性逻辑程序设计
- 作者：Chris Martens;Anne-Gwenn Bosser;Joao F. Ferreira;Marc Cavazza
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2013年
- Linear Logic Programming;
- Narrative Modelling;
- Celf;
58.Foundations and Extensions of Answer Set Programming: The Logical Approach

机译：答案集编程的基础和扩展：逻辑方法
- 作者：David Pearce
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
59.On Influence and Contractions in Defeasible Logic Programming

机译：关于缺乏逻辑规划的影响与收缩
- 作者：Diego R. Garcia;Sebastian Gottifredi;Patrick Kriimpelmann;Matthias Thimm;Gabriele Kern-Isberner;Marcelo A. Falappa;Alejandro J. Garcia
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
60.Aggregates in Answer Set Optimization

机译：答案集优化中的聚合
- 作者：Emad Saad;Gerhard Brewka
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
61.An Application of Clasp in the Study of Logics

机译：钩子在逻辑研究中的应用
- 作者：Mauricio Osorio;Jose Luis Carballido;Claudia Zepeda
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
- clasp;
- multi-valued logics;
- substitution property;
62.Transaction Logic with External Actions

机译：与外部操作的事务逻辑
- 作者：Ana Sofia Gomes;Jose Julio Alferes
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
63.Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report)

机译：在一阶稳定模型语义中集成规则和本体（初步报告）
- 作者：Joohyung Lee;Ravi Palla
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
64.New Semantics for Epistemic Specifications

机译：认知规范的新语义
- 作者：Michael Gelfond
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
65.Optimizing the Distributed Evaluation of Stratified Programs via Structural Analysis*

机译：通过结构分析优化分层程序的分布式评估*
- 作者：Rosamaria Barilaro;Francesco Ricca;Giorgio Terracina
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
66.cmMUS: A Tool for Circumscription-Based MUS Membership Testing

机译：CMMUS：一种基于环境的MUS会员测试的工具
- 作者：Mikolas Janota;Joao Marques-Silva
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
67.STeLP - A Tool for Temporal Answer Set P rogramming

机译：步骤 - 用于时间答案设置编程的工具
- 作者：Pedro Cabalar;Martin Dieguez
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
68.Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison

机译：随机与基于结构的答案设置程序测试：实验比较
- 作者：Tomi Janhunen;Ilkka Niemela;Johannes Oetsch;Jorg Piihrer;Hans Tompits
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
- answer-set programming;
- structure-based testing;
- random testing;
69.Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence

机译：具有应用程序的三维逻辑的绅士型驳斥系统，以讨厌强大的等价
- 作者：Johannes Oetsch;Hans Tompits
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
70.Cluster-Based ASP Solving with claspar

机译：基于群集的ASP用CLASPAR解决
- 作者：Martin Gebser;Roland Kaminski;Benjamin Kaufmann;Torsten Schaub;Bettina Schnor
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
71.Causal Reasoning for Planning and Coordination of Multiple Housekeeping Robots

机译：多种管家机器人规划与协调的因果推理
- 作者：Erdi Aker;Ahmetcan Erdogan;Esra Erdem;Volkan Patoglu
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
72.What Are the Necessity Rules in Defeasible Reasoning?

机译：有什么必要性的推理是什么？
- 作者：Ho-Pun Lam;Guido Governatori
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
73.Contingency-Based Equilibrium Logic

机译：基于差欲的平衡逻辑
- 作者：Luis Farinas del Cerro;Andreas Herzig
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
74.A Portfolio Solver for Answer Set Programming: Preliminary Report

机译：答案集编程的投资组合求解器：初步报告
- 作者：Martin Gebser;Roland Kaminski;Benjamin Kaufmann;Torsten Schaub;Marius Thomas Schneider;Stefan Ziller
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
75.VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology

机译：VIDEAS：基于模型驱动工程技术的答案程序的开发工具
- 作者：Johannes Oetsch;Jorg Piihrer;Martina Seidl;Hans Tompits;Patrick Zwickl
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
- answer-set programming;
- model-driven engineering;
- er diagrams;
76.Compiling Answer Set Programs into Event-Driven Action Rules

机译：将答案设置为事件驱动的操作规则
- 作者：Neng-Fa Zhou;Yi-Dong Shen;Jia-Huai You
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
77.Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations

机译：接地的终止不受强烈的转换保存
- 作者：Yuliya Lierler;Vladimir Lifschitz
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
78.Partial Preferences and Ambiguity Resolution in Contextual Defeasible Logic

机译：中文不可行逻辑中的部分偏好和歧义分辨率
- 作者：Antonis Bikakis;Grigoris Antoniou
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
79.Parametrized Equilibrium Logic

机译：参数化均衡逻辑
- 作者：Ricardo Gongalves;Jose Julio Alferes
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
80.plasp: A Prototype for PDDL-Based Planning in ASP

机译：普拉：在ASP中基于PDDL的规划原型
- 作者：Martin Gebser;Roland Kaminski;Murat Knecht;Torsten Schaub
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
81.Weight Constraints with Preferences in ASP

机译：在ASP中的偏好权重约束
- 作者：Stefania Costantini;Andrea Formisano
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
82.Itemset Mining as a Challenge Application for Answer Set Enumeration

机译：项目集挖掘作为答案集枚举的挑战应用程序
- 作者：Matti Jarvisalo
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
83.Advances in gringo Series 3

机译：GRINGO系列的进步3
- 作者：Martin Gebser;Roland Kaminski;Arne Konig;Torsten Schaub
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
84.Secommunity: A Framework for Distributed Access Control

机译：SeComMunity：分布式访问控制的框架
- 作者：Steve Barker;Valerio Genovese
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
85.Logic, Probability and Computation:Foundations and Issues of Statistical Relational AI

机译：逻辑，概率和计算：统计关系AI的基础和问题
- 作者：David Poole
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
86.Industrial-Size Scheduling with ASP+CP

机译：使用ASP + CP的工业大小调度
- 作者：Marcello Balduccini
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
87.Back and Forth between Rules and SE-Models

机译：在规则和SE模型之间来回
- 作者：Martin Slota;Joao Leite
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
88.Communicating ASP and the Polynomial Hierarchy

机译：传送ASP和多项式等级
- 作者：Kim Bauters;Steven Schockaert;Dirk Vermeir;Martine De Cock
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
89.Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems

机译：用于部分已知的多上下文系统不一致的解释的近似值
- 作者：Thomas Eiter;Michael Fink;Peter Schiiller
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
90.Reactive Answer Set Programming

机译：反应答案集编程
- 作者：Martin Gebser;Torsten Grote;Roland Kaminski;Torsten Schaub
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
91.Strong Equivalence of Logic Programs with Abstract Constraint Atoms

机译：具有抽象约束原子的逻辑计划的强大等价
- 作者：Guohua Liu;Randy Goebel;Tomi Janhunen;Ilkka Niemela;Jia-Huai You
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
92.Dynamic Magic Sets for Programs with Monotone Recursive Aggregates

机译：用于单调递归聚集体的程序动态魔术集
- 作者：Mario Alviano;Gianluigi Greco;Nicola Leone
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
- disjunctive logic programming;
- recursive aggregates;
- magic sets;
93.Modularity of P-Log Programs

机译：p-log程序的模块性
- 作者：Carlos Viegas Damasio;Joao Moura
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
- p-log;
- answer set programming;
- modularization;
- probabilistic reasoning.;
94.Loop Formulas for Splitable Temporal Logic Programs

机译：可分类时间逻辑程序的循环公式
- 作者：Felicidad Aguado;Pedro Cabalar;Gilberto Perez;Conception Vidal
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
95.Stepping through an Answer-Set Program

机译：踩到答案集计划
- 作者：Johannes Oetsch;Jorg Piihrer;Hans Tompits
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
- answer-set programming;
- program analysis;
- debugging;
96.Relational Information Exchange and Aggregation in Multi-Context Systems

机译：多语境系统中的关系信息交换和聚合
- 作者：Michael Fink;Lucantonio Ghionna;Antonius Weinzierl
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
97.ASP-Prolog for Negotiation among Dishonest Agents

机译：asp-prolog在不诚实的代理商之间进行谈判
- 作者：Ngoc-Hieu Nguyen;Tran Cao Son;Enrico Pontelli;Chiaki Sakama
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
98.Splitting an Argumentation Framework

机译：分裂论证框架
- 作者：Ringo Baumann
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
99.Symmetry Breaking for Distributed Multi-Context Systems

机译：用于分布式多上下文系统的对称性破坏
- 作者：Christian Drescher;Thomas Eiter;Michael Fink;Thomas Krennwallner;Toby Walsh
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年
100.Pushing Efficient Evaluation of HEX Programs by Modular Decomposition

机译：通过模块分解推动六角计划的高效评估
- 作者：Thomas Eiter;Michael Fink;Giovambattista Ianni;Thomas Krennwallner;Peter Schiiller
- 会议名称：《International conference on logic programming and nonmonotonic reasoning》 | 2011年