首页>外文期刊>计算机、自动化>计算技术、计算机技术>Theory and Practice of Logic Programming

Theory and Practice of Logic Programming

Theory and Practice of Logic Programming

SCIEI

中文名称：逻辑程序设计理论与实践

ISSN：1471-0684
出版周期：Bimonthly

发文量：520

期刊论文

年度选择

2023
- 第1期
- 第2期
- 第3期
2022
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2021
- 第1期
- 第2期
- 第3期
- 第5期
2020
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2019
- 第1期
- 第2期
- 第3期
- 第4期
- 第6期
2018
- 第1期
- 第2期
- 第4期
- 第6期
2017
- 第1期
- 第2期
- 第3期
- 第4期
- 第6期
2014
- 第1期
- 第2期
- 第3期
- 第5期
- 第6期
2013
- 第1期
- 第2期
- 第3期
- 第5期
- 第6期
2012
- 第2期
- 第3期
- 第5期
- 第6期
2011
- 第1期
- 第3期
- 第5期
- 第6期
2010
- 第1期
- 第2期
- 第3期
- 第6期
2009
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2008
- 第1期
- 第2期
- 第3期
- 第4期
- 第6期
2007
- 第4期
- 第6期
- 第pt3期
- 第pt5期
2006
- 第2期
- 第pt3期
- 第pt4期
- 第pt5期
- 第pt6期
2005
- 第2期
- 第5期
- 第pt3期
- 第pt6期
2004
- 第2期
- 第5期
- 第6期
- 第janamar期
- 第pt4期
2003
- 第2期
- 第3期
- 第5期
- 第11期
2002
- 第1期
- 第2期
- 第3期
- 第5期
- 第6期

更多>>

全选（0）

1.Symbolic Analysis of Maude Theories with Narval

机译：纳达尔对毛德理论的符号分析
- 作者：Alpuente Maria;Escobar Santiago;Sapina Julia;Ballis Demis
- 期刊名称：《Theory and Practice of Logic Programming》 | 2019年第6期
- Symbolic reachability analysis;
- narrowing;
- equational unification;
- Maude;
- rewriting logic;
2.Inconsistency Proofs for ASP: The ASP-DRUPE Format

机译：ASP的不一致证明：ASP-DRUPE格式
- 作者：Alviano Mario;Dodaro Carmine;Fichte Johannes K.;Hecher Markus;Philipp Tobias;Rath Jakob
- 期刊名称：《Theory and Practice of Logic Programming》 | 2019年第6期
- Answer Set Programming;
- Reverse Unit Propagation proofs;
- inconsistency proofs;
3.Revisiting Explicit Negation in Answer Set Programming

机译：重温答案集编程中的显式否定
- 作者：Aguado Felicidad;Cabalar Pedro;Fandinno Jorge;Pearce David;Perez Gilberto;Vidal Concepcion
- 期刊名称：《Theory and Practice of Logic Programming》 | 2019年第6期
- Answer set programming;
- Non-monotonic reasoning;
- Equilibrium logic;
- Explicit negation;
4.The Expressive Power of Higher-Order Datalog

机译：高阶数据记录的表达能力
- 作者：Charalambidis Angelos;Nomikos Christos;Rondogiannis Panos
- 期刊名称：《Theory and Practice of Logic Programming》 | 2019年第6期
- Datalog;
- Higher-Order Logic Programming;
- Descriptive Complexity Theory;
5.On the Equivalence Between Abstract Dialectical Frameworks and Logic Programs

机译：论抽象辩证框架与逻辑程序之间的对等
- 作者：Alcantara Joao;Sa Samy;Acosta-Guadarrama Juan
- 期刊名称：《Theory and Practice of Logic Programming》 | 2019年第6期
6.Incremental Answer Set Programming with Overgrounding

机译：带地面的增量答案集编程
- 作者：Calimeri Francesco;Ianni Giovambattista;Pacenza Francesco;Perri Simona;Zangari Jessica
- 期刊名称：《Theory and Practice of Logic Programming》 | 2019年第6期
- Knowledge Representation;
- Answer Set Programming;
- Stream Reasoning;
- Grounding;
- Instantiation of Logic Programs;
- Overgrounding;
7.A Distributed Approach to LARS Stream Reasoning (System paper)

机译：LARS流推理的分布式方法（系统论文）
- 作者：Eiter Thomas;Ogris Paul;Schekotihin Konstantin
- 期刊名称：《Theory and Practice of Logic Programming》 | 2019年第6期
- Stream reasoning;
- distributed systems;
- Answer Set Programming;
8.Control-Flow Refinement by Partial Evaluation,and its Application to Termination and Cost Analysis

机译：部分评估细化控制流及其在终止和成本分析中的应用
- 作者：Domenech Jesus J.;Gallagher John P.;Genaim Samir
- 期刊名称：《Theory and Practice of Logic Programming》 | 2019年第6期
- Control-flow refinement;
- partial evaluation;
- termination analysis;
- cost analysis;
9.Relating Two Dialects of Answer Set Programming

机译：关联答案集编程的两种方言
- 作者：Harrison Amelia;Lifschitz Vladimir
- 期刊名称：《Theory and Practice of Logic Programming》 | 2019年第6期
- Answer set programming;
- answer set solvers;
- stable models;
- aggregates;
10.Using Answer Set Programming for Commonsense Reasoning in the Winograd Schema Challenge

机译：在Winograd模式挑战中使用答案集编程进行常识推理
- 作者：Sharma Arpit
- 期刊名称：《Theory and Practice of Logic Programming》 | 2019年第6期
- Answer Set Programming;
- Winograd Schema Challenge;
- Commonsense Reasoning;
- Graph-Subgraph Isomorphism;
11.A Syntactic Operator for Forgetting that Satisfies Strong Persistence

机译：满足强持续性的遗忘句法运算符
- 作者：Berthold Matti;Goncalves Ricardo;Knorr Matthias;Leite Joao
- 期刊名称：《Theory and Practice of Logic Programming》 | 2019年第6期
- Answer Set Programming;
- Forgetting;
- Strong Persistence;
- Syntactic Operator;
12.A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation

机译：声明式递归计算的陈旧同步分布式模型的案例
- 作者：Das Ariyam;Zaniolo Carlo
- 期刊名称：《Theory and Practice of Logic Programming》 | 2019年第6期
13.Precomputing Datalog Evaluation Plans in Large-Scale Scenarios

机译：在大型方案中预先计算数据记录评估计划
- 作者：Fiorentino Alessio;Leone Nicola;Manna Marco;Perri Simona;Zangari Jessica
- 期刊名称：《Theory and Practice of Logic Programming》 | 2019年第6期
- Datalog;
- Query Answering;
- Ontologies;
- Query-plan;
- Data Indexing;
14.Bridging Commonsense Reasoning and Probabilistic Planning via a Probabilistic Action Language

机译：通过概率动作语言桥接常识推理和概率计划
- 作者：Wang Yi;Zhang Shiqi;Lee Joohyung
- 期刊名称：《Theory and Practice of Logic Programming》 | 2019年第6期
- Action Language;
- POMDP;
- Probabilistic Logic Programming;
- Commonsense Reasoning;
- Probabilistic Planning;
15.Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP

机译：评估使用表式CLP的抽象解释算法的实现
- 作者：Arias Joaquin;Carro Manuel
- 期刊名称：《Theory and Practice of Logic Programming》 | 2019年第6期
- Abstract Interpretation;
- Constraints;
- Tabling;
- Prolog;
- PLAI;
- CiaoPP;
16.Domain-Independent Cost-Optimal Planning in ASP

机译：ASP中与域无关的成本最优计划
- 作者：Spies David;You Jia-Huai;Hayward Ryan
- 期刊名称：《Theory and Practice of Logic Programming》 | 2019年第6期
- Cost-Optimal Planning;
- Answer Set Programming;
- CORE-2 ASP Standard;
17.ALogicFrameworkforP2PDeductiveDatabases

机译：P2P演绎数据库的ALogicFramework
- 作者：Caroprese Luciano;Zumpano Ester
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第1期
- peer data exchange;
- incompleteness;
- inconsistency;
- integrity constraints;
- relational databases;
- prioritized logic program;
18.Compositional Specification in Rewriting Logic

机译：重写逻辑中的成分规范
- 作者：Martin Oscar;Verdejo Alberto;Marti-Oliet Narciso
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第1期
- compositional specification;
- rewriting logic;
- modularity;
- synchronous product;
19.In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming

机译：在称赞中称颂：对元编程形式化的贡献
- 作者：Bry Francois
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第1期
- logic programming;
- meta-programming;
- model theory;
- Barber Paradox;
- Russell's Paradox;
- reflection;
20.Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism

机译：使用非严格非确定性实现概率编程库
- 作者：Dylus Sandra;Christiansen Jan;Teegen Finn
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第1期
- probabilistic programming;
- functional logic programming;
- non-determinism;
- laziness;
- call-time choice;
21.Description, Implementation, and Evaluation of a Generic Design for Tabled CLP

机译：对TABLECLP的通用设计的描述，实现和评估
- 作者：Arias Joaquin;Carro Manuel
- 期刊名称：《Theory and Practice of Logic Programming》 | 2019年第3期
- constraints;
- tabling;
- prolog;
- interface;
- implementation;
22.Inlining External Sources in Answer Set Programs

机译：在答案设置程序中内向外部来源
- 作者：Redl Christoph
- 期刊名称：《Theory and Practice of Logic Programming》 | 2019年第3期
- answer set programming;
- external computation;
- HEX-programs;
- inlining;
- equivalence;
23.plasp 3: Towards Effective ASP Planning

机译：PLASP 3：迈向有效的ASP计划
- 作者：Dimopoulos Yannis;Gebser Martin;Luehne Patrick;Romero Javier;Schaub Torsten
- 期刊名称：《Theory and Practice of Logic Programming》 | 2019年第3期
24.Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach

机译：概率与精确公式的概率DL推理：基于Prolog的方法
- 作者：Zese Riccardo;Cota Giuseppe;Lamma Evelina;Bellodi Elena;Riguzzi Fabrizio
- 期刊名称：《Theory and Practice of Logic Programming》 | 2019年第3期
- probabilistic description logics;
- Semantic Web;
- Binary Decision Diagram;
- tableau;
- Prolog;
25.Hybrid ASP-based Approach to Pattern Mining

机译：基于混合ASP的模式挖掘方法
- 作者：Paramonov Sergey;Stepanova Daria;Miettinen Pauli
- 期刊名称：《Theory and Practice of Logic Programming》 | 2019年第4期
- answer set programming;
- pattern mining;
- structured mining;
- sequence mining;
- itemset mining;
- graph mining;
26.Optimizing Answer Set Computation via Heuristic-Based Decomposition

机译：优化基于启发式分解的答案集计算
- 作者：Calimeri Francesco;Perri Simona;Zangari Jessica
- 期刊名称：《Theory and Practice of Logic Programming》 | 2019年第4期
27.Property-Based Testing for Spark Streaming

机译：基于物业的火花流测试
- 作者：Riesco A.;Rodriguez-Hortala J.
- 期刊名称：《Theory and Practice of Logic Programming》 | 2019年第4期
- property-based testing;
- linear temporal logic;
- first-order modal logic;
- Spark Streaming;
- Scala;
28.Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge

机译：语义DMN：在背景知识存在下的决策正式和推理
- 作者：Calvanese Diego;Montali Marco;Dumas Marlon;Maggi Fabrizio M.
- 期刊名称：《Theory and Practice of Logic Programming》 | 2019年第4期
- decision model and notation;
- decision tables;
- description logics;
- datatypes;
29.Solving Horn Clauses on Inductive Data Types Without Induction – ERRATUM

机译：在没有归纳的归纳数据类型上求解喇叭子句 - 错误
- 作者：De Angelis Emanuele;Fioravanti Fabio;Pettorossi Alberto;Proietti Maurizio
- 期刊名称：《Theory and Practice of Logic Programming》 | 2019年第4期
30.Boosting Answer Set Optimization with Weighted Comparator Networks

机译：促进答案与加权比较网络的优化
- 作者：Bomanson Jori;Janhunen Tomi
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第4期
- answer set programming;
- comparator network;
- normalization;
- optimization rewriting;
- translation;
31.OntoScene, A Logic-Based Scene Interpreter: Implementation and Application in the Rock Art Domain

机译：内核，基于逻辑的场景解释器：在岩石艺术域中的实施和应用
- 作者：Briola Daniela;Mascardi Viviana;Gioseffi Massimiliano
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第4期
- Prolog;
- ontologies;
- multiagent systems;
- visual languages;
- scene interpretation;
32.Rethinking Defeasible Reasoning: A Scalable Approach

机译：重新思考不可取的推理：可扩展的方法
- 作者：Maher Michael J.;Tachmazidis Ilias;Antoniou Grigoris;Wade Stephen;Cheng Long
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第4期
- defeasible reasoning;
- parallel peasoning;
- scalability;
33.selp: A Single-Shot Epistemic Logic Program Solver

机译：SELP：单次认知逻辑计划求解器
- 作者：Bichler Manuel;Morak Michael;Woltran Stefan
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第4期
34.Action-Centered Information Retrieval

机译：以行动为中心的信息检索
- 作者：MARCELLO BALDUCCINI;EMILY C. LEBLANC
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第2期
- reasoning about actions and change;
- answer set programming;
- information retrieval;
35.An Application of ASP Theories of Intentions to Understanding Restaurant Scenarios: Insights and Narrative Corpus

机译：ASP意图理论的应用，了解餐厅情景：见解和叙事语料库
- 作者：QINGLIN ZHANG;CHRIS BENTON;DANIELA INCLEZAN
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第2期
- Answer Set Programming;
- natural language understanding;
- intentional agents;
36.ASP-Core-2 Input Language Format

机译：ASP-Core-2输入语言格式
- 作者：FRANCESCO CALIMERI;WOLFGANG FABER;MARTIN GEBSER;GIOVAMBATTISTA IANNI;ROLAND KAMINSKI;THOMAS KRENNWALLNER;NICOLA LEONE;MARCO MARATEA;FRANCESCO RICCA;TORSTEN SCHAUB
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第2期
- Answer Set Programming;
- standard language;
- knowledge representation and reasoning;
- standardization;
37.Technical Note Efficiently Coupling the I-DLV Grounder with ASP Solvers

机译：技术说明用ASP求解器有效地耦合I-DLV收割机
- 作者：FRANCESCO CALIMERI;CARMINE DODARO;DAVIDE FUSCA;SIMONA PERRI;JESSICA ZANGARI
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第2期
38.Technical Note The External Interface for Extending WASP

机译：技术说明扩展WASP的外部接口
- 作者：CARMINE DODARO;FRANCESCO RICCA
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第2期
39.The Seventh Answer Set Programming Competition: Design and Results

机译：第七次答案集编程竞赛：设计和结果
- 作者：MARTIN GEBSER;MARCO MARATEA;FRANCESCO RICCA
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第2期
- Answer Set Programming;
- competition;
40.Book review

机译：书评
- 作者：VICTOR W. MAREK
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第3期
41.Solving Advanced Argumentation Problems with Answer Set Programming

机译：解决答案集编程的先进争论问题
- 作者：GERHARD BREWKA;MARTIN DILLER;GEORG HEISSENBERGER;THOMAS LINSBICHLER;STEFAN WOLTRAN
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第3期
- ADFs;
- GRAPPA;
- encodings;
- ASP;
42.A Comparative Study of Some Central Notions of ASPIC~+ and DeLP

机译：ASPIC〜+和DELP的一些中央概念的比较研究
- 作者：ALEJANDRO J. GARCIA;HENRY PRAKKEN;GUILLERMO R. SIMARI
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第3期
- rule-based argumentation;
- defeasible logic programming;
- ASPIC~+;
43.A Transformational Approach to Resource Analysis with Typed-norms Inference

机译：用键入 - 规范推断的资源分析的变换方法
- 作者：ELVIRA ALBERT;SAMIR GENAIM;RAUL GUTIERREZ;ENRIQUE MARTIN-MARTIN
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第3期
- resource analysis;
- typed-norms;
- data-flow analysis;
- program transformation;
44.Introduction to the 36th International Conference on Logic Programming Special Issue I

机译：第36届逻辑编程国际会议介绍特刊I
- 作者：Ricca Francesco;Russo Alessandra
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第5期
45.Modelling Multi-Agent Epistemic Planning in ASP

机译：在ASP中建模多元患者认知规划
- 作者：Burigana Alessandro;Fabiano Francesco;Dovier Agostino;Pontelli Enrico
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第5期
- Epistemic Reasoning;
- Multi-Shot ASP;
- Planning;
- Multi-Agent;
- Possibilities;
46.Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More

机译：推进懒惰接地的ASP解决技术 - 重启，相位节省，启发式等等
- 作者：Weinzierl Antonius;Taupe Richard;Friedrich Gerhard
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第5期
- Answer-Set Programming;
- Lazy-Grounding;
- Solving Techniques;
- Knowledge Representation;
47.MAP Inference for Probabilistic Logic Programming

机译：概率逻辑编程的地图推断
- 作者：Bellodi Elena;Alberti Marco;Riguzzi Fabrizio;Zese Riccardo
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第5期
48.Managing caching strategies for stream reasoning with reinforcement learning

机译：加固钢铁推理管理缓存策略
- 作者：Dodaro Carmine;Eiter Thomas;Ogris Paul;Schekotihin Konstantin
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第5期
- Stream reasoning;
- ASP;
- Reinforcement learning;
- Caching strategies;
49.White-box Induction From SVM Models: Explainable AI with Logic Programming

机译：SVM型号的白盒诱导：用逻辑编程说明AI
- 作者：Shakerin Farhad;Gupta Gopal
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第5期
- Explainable AI;
- Data Mining;
- Inductive Logic Programming;
- Machine Learning;
50.Concolic Testing in CLP

机译：CLP中的Con Condolic测试
- 作者：Mesnard Fred;Payet Etienne;Vidal German
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第5期
- CLP;
- verification;
- concolic testing;
51.A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming

机译：答案集规划中定性理论的编码和推理的广义方法
- 作者：Baryannis George;Tachmazidis Ilias;Batsakis Sotiris;Antoniou Grigoris;Alviano Mario
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第5期
- Answer Set Programming;
- Qualitative Calculus;
- Qualitative Reasoning;
- Spatial Reasoning;
52.On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach

机译：论抽象论证框架的语义：逻辑编程方法
- 作者：Alfano Gianvincenzo;Greco Sergio;Parisi Francesco;Trubitsyna Irina
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第5期
- abstract argumentation;
- argumentation semantics;
- partial stable models;
53.An ASP approach for reasoning in a concept-aware multipreferential lightweight DL

机译：一种概念感知多功能轻量级DL推理推理的ASP方法
- 作者：Giordano Laura;Theseider Dupre Daniele
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第5期
- Nonmonotonic Reasoning;
- Description Logics;
- Preferences;
- ASP;
54.Incremental maintenance of overgrounded logic programs with tailored simplifications

机译：具有量身定制的逻辑程序的增量维护
- 作者：Ianni Giovambattista;Pacenza Francesco;Zangari Jessica
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第5期
55.Verifying Tight Logic Programs with ANTHEM and VAMPIRE

机译：使用Anthem和Vampire验证严格的逻辑程序
- 作者：Fandinno Jorge;Lifschitz Vladimir;Luehne Patrick;Schaub Torsten
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第5期
56.Modular Answer Set Programming as a Formal Specification Language

机译：模块化答案将编程作为正式规格语言
- 作者：Cabalar Pedro;Fandinno Jorge;Lierler Yuliya
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第5期
- Answer Set Programming;
- Formal Specification;
- Formal Verification;
- Modular Logic Programs;
57.Towards Metric Temporal Answer Set Programming

机译：向公制时间答案设置编程
- 作者：Cabalar Pedro;Dieguez Martin;Schaub Torsten;Schuhmann Anna
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第5期
58.Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints

机译：ASP中的冲突概括：学习正确有效的非基础约束
- 作者：Taupe Richard;Weinzierl Antonius;Friedrich Gerhard
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第5期
- Answer Set Programming;
- Deductive Learning;
- Non-Ground Nogood Learning;
59.Introduction to the 36th International Conference on Logic Programming Special Issue Ⅱ

机译：第36届逻辑编程国际会议简介特别问题Ⅱ
- 作者：Ricca Francesco;Russo Alessandra
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第6期
60.Flexible coinductive logic programming

机译：灵活的调控逻辑编程
- 作者：DAGNINO F. R. A. N. C. E. S. C. O.;ANCONA D. A. V. I. D. E.;ZUCCA E. L. E. N. A.
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第6期
- coinduction;
- operational semantics;
- declarative semantics;
- soundness;
- completeness;
61.eclingo: A Solver for Epistemic Logic Programs

机译：Eclingo：认知逻辑计划的一个求解器
- 作者：Cabalar Pedro;Fandinno Jorge;Garea Javier;Romero Javier;Schaub Torsten
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第6期
- Answer Set Programming;
- Epistemic Logic Programs;
- Non-Monotonic Reasoning;
- Conformant Planning;
62.Modular Constraint Solver Cooperation via Abstract Interpretation

机译：通过抽象解释，模块化约束求解器合作
- 作者：TALBOT P. I. E. R. R. E.;MONFROY E. R. I. C.;TRUCHET C. H. A. R. L. O. T. T. E.
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第6期
- abstract domains;
- solver cooperation;
- modularity;
- constraint programming;
63.A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification

机译：基于逻辑的决策支持系统，用于根据ICHD-3国际分类诊断头痛障碍
- 作者：COSTABILE R. O. B. E. R. T. A.;CATALANO G. E. L. S. O. M. I. N. A.;CUTERI B. E. R. N. A. R. D. O.;CONCETTA MORELLI M. A. R. I. A.;LEONE N. I. C. O. L. A.;MANNA M. A. R. C. O.
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第6期
- Knowledge Representation;
- ASP;
- Artificial Intelligence;
- ICHD-3;
64.ASP(AC): Answer Set Programming with Algebraic Constraints

机译：ASP（AC）：回答与代数约束的设置编程
- 作者：EITER T. H. O. M. A. S.;KIESEL R. A. F. A. E. L.
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第6期
- Weighted Logic;
- Here-and-There Logic;
- Answer Set Programming;
- Constraints;
65.A General Framework for Stable Roommates Problems using Answer Set Programming

机译：使用答案集编程稳定室友问题的一般框架
- 作者：ERDEM E. S. R. A.;FIDAN MuGE;MANLOVE D. A. V. I. D.;PROSSER P. A. T. R. I. C. K.
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第6期
- stable roommates problem;
- answer set programming;
- declarative problem solving;
66.An Application of ASP in Nuclear Engineering: Explaining the Three Mile Island Nuclear Accident Scenario

机译：ASP在核工程中的应用：解释三英里岛核事故情景
- 作者：HANNA B. O. T. R. O. S. N.;TRIEU L. Y. L. Y. T.;SON T. R. A. N. C.;DINH N. A. M. T.
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第6期
- Three Mile Island Accident;
- Answer Set Programming (ASP);
- Explainable AI;
67.Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming

机译：使用答案集编程在三维扩展对象之间的主要指示
- 作者：Izmirlioglu Yusuf;Erdem Esra
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第6期
68.DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries

机译：Darling：在SPARQL查询下的OWL 2 RL Intological推理的Datalog Rewriter
- 作者：FIORENTINO A. L. E. S. S. I. O.;ZANGARI J. E. S. S. I. C. A.;MANNA M. A. R. C. O.
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第6期
- Datalog;
- OWL 2 RL;
- SPARQL;
- Query Answering;
69.Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming

机译：使用答案集编程的最佳资源利用率的多模态多智能传输路径查找的解释
- 作者：BOGATARKAN A. Y. S. U.;ERDEM E. S. R. A.
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第6期
70.Exploiting Game Theory for Analysing Justifications

机译：利用博弈论分析理由
- 作者：MARYNISSEN S. I. M. O. N.;BOGAERTS B. A. R. T.;DENECKER M. A. R. C.
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第6期
- justification theory;
- positional games;
- logic programming;
- non-monotonic logic;
71.The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them

机译：新的正常情况：我们不能消除Cominuctive Calculi中的削减，但我们可以探索它们
- 作者：Komendantskaya Ekaterina;Rozplokhas Dmitry;Basold Henning
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第6期
- Sequent Calculus;
- Horn Clauses;
- Coinduction;
- Cut Elimination;
- Theory Exploration;
72.Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach

机译：人体机器人协作组装规划：答案集规划方法
- 作者：Rizwan Momina;Patoglu Volkan;Erdem Esra
- 期刊名称：《Theory and Practice of Logic Programming》 | 2020年第6期
73.Incremental and Modular Context-sensitive Analysis

机译：增量和模块化的上下文敏感分析
- 作者：Garcia-Contreras Isabel;Morales Jose F.;Hermenegildo Manuel V
- 期刊名称：《Theory and Practice of Logic Programming》 | 2021年第2期
74.Interactive Text Graph Mining with a Prolog-Based Dialog Engine

机译：与基于Prolog的对话引擎的交互式文本图挖掘
- 作者：Tarau Paul;Blanco Eduardo
- 期刊名称：《Theory and Practice of Logic Programming》 | 2021年第2期
75.Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System

机译：在模糊逻辑编程系统中实施词汇语义相似性的Wordnet测量
- 作者：Julian-Iranzo Pascual;Saenz-Perez Fernando
- 期刊名称：《Theory and Practice of Logic Programming》 | 2021年第2期
- fuzzy logic programming;
- WordNet;
- proximity equations;
- system implementation;
76.Book review

机译：书评
- 作者：Bringsjord Selmer;Govindarajulu Naveen Sundar
- 期刊名称：《Theory and Practice of Logic Programming》 | 2021年第2期
77.CORRIGENDUM

机译：勘误
- 作者：LOPEZ-GARCIA P.;KLEMEN M.;LIQAT U.;HERMENEGILDO M. V.
- 期刊名称：《Theory and Practice of Logic Programming》 | 2021年第2期
78.Preface

机译：前言
- 作者：BALDUCCINI M. A. R. C. E. L. L. O.;LIERLER Y. U. L. I. Y. A.;WOLTRAN S. T. E. F. A. N.
- 期刊名称：《Theory and Practice of Logic Programming》 | 2021年第3期
79.Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language Pbc+

机译：通过决策 - 理论延伸的概率动作语言PBC +阐述马尔可夫决策过程的详细说明
- 作者：Wang Yi;Lee Joohyung
- 期刊名称：《Theory and Practice of Logic Programming》 | 2021年第3期
- answer set programming;
- action language;
- Markov decision process;
80.Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming

机译：通过答案集编程使用双臂机器人操纵铰接物体
- 作者：Bertolucci Riccardo;Capitanelli Alessio;Dodaro Carmine;Leone Nicola;Maratea Marco;Mastrogiovanni Fulvio;Vallati Mauro
- 期刊名称：《Theory and Practice of Logic Programming》 | 2021年第3期
- answer set programming;
- robots manipulation;
- macro actions;
81.Splitting Epistemic Logic Programs

机译：分裂认知逻辑计划
- 作者：Cabalar Pedro;Fandinno Jorge;Del Cerro Luis Farinas
- 期刊名称：《Theory and Practice of Logic Programming》 | 2021年第3期
82.Train Scheduling with Hybrid Answer Set Programming

机译：用混合答案设置编程列车调度
- 作者：Abels Dirk;Jordi Julian;Ostrowski Max;Schaub Torsten;Toletti Ambra;Wanko Philipp
- 期刊名称：《Theory and Practice of Logic Programming》 | 2021年第3期
83.Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers from the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018)

机译：逻辑规则和推理的特殊问题简介：第2届国际规则和推理联席会议所选文件（RULEML + RR 2018）
- 作者：CHRISTOPH BENZMUELLER;XAVIER PARENT;FRANCESCO RICCA
- 期刊名称：《Theory and Practice of Logic Programming》 | 2021年第1期
84.Characterizing Boundedness in Chase Variants

机译：追逐变体中的界限
- 作者：STATHIS DELIVORIAS;MICHEL LECLERE;MARIE-LAURE MUGNIER;FEDERICO ULLIANA
- 期刊名称：《Theory and Practice of Logic Programming》 | 2021年第1期
- knowledge representation and nonmonotonic reasoning, logic programming methodology and applications, databases and semantic web reasoning, theory;
85.A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders

机译：基于逻辑的框架利用神经网络来研究神经系统的演变
- 作者：FRANCESCO CALIMERI;FRANCESCO CAUTERUCCIO;LUCA CINELLI;ALDO MARZULLO;CLAUDIO STAMILE;GIORGIO TERRACINA;FRANCOISE DURAND-DUBIEF;DOMINIQUE SAPPEY-MARINIER
- 期刊名称：《Theory and Practice of Logic Programming》 | 2021年第1期
- logic programming, answer set programming, rule-based systems, deductive reasoning,neural networks, neurological disorders, machine learning, declarative formalisms, bioinformatics;
86.Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation

机译：存在规则的限制追逐终止：分层方法和实验
- 作者：ARASH KARIMI;HENG ZHANG;JIA-HUAI YOU
- 期刊名称：《Theory and Practice of Logic Programming》 | 2021年第1期
- existential rules, ontological reasoning, termination analysis, complexity of reasoning;
87.Backjumping is Exception Handling

机译：backjumping是例外处理
- 作者：Robbins Ed;King Andy;Howe Jacob M.
- 期刊名称：《Theory and Practice of Logic Programming》 | 2021年第2期
- backjumping;
- exception handling;
- conflict-driven clause learning;
- SAT;
88.Omission-Based Abstraction for Answer Set Programs

机译：基于遗漏的答案设置程序的抽象
- 作者：Saribatur Zeynep G.;Eiter Thomas
- 期刊名称：《Theory and Practice of Logic Programming》 | 2021年第2期
89.ERRATUM

机译：错误
- 作者：SARIBATUR Z. E. Y. N. E. P. G.;EITER T. H. O. M. A. S.
- 期刊名称：《Theory and Practice of Logic Programming》 | 2021年第2期
90.Introduction to the 37th International Conference on Logic Programming Special Issue Ⅰ

机译：第37届逻辑编程国际会议介绍Ⅰ
- 作者：Brik Alex;Formisano Andrea;Liu Yanhong A.;Vennekens Joost
- 期刊名称：《Theory and Practice of Logic Programming》 | 2021年第5期
91.I-DLV-sr: A Stream Reasoning System based on I-DLV

机译：I-DLV-SR：基于I-DLV的流推理系统
- 作者：Calimeri Francesco;Manna Marco;Mastria Elena;Morelli Maria Concetta;Perri Simona;Zangari Jessica
- 期刊名称：《Theory and Practice of Logic Programming》 | 2021年第5期
- stream reasoning;
- stream processing;
- overgrounding;
- knowledge representation and reasoning;
- answer set programming;
92.A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction

机译：订购分离的逻辑程序优选模型的逻辑表征
- 作者：Charalambidis Angelos;Rondogiannis Panos;Troumpoukis Antonis
- 期刊名称：《Theory and Practice of Logic Programming》 | 2021年第5期
- ordered disjunction;
- answer sets;
- logic of here-and-there;
- preferences;
93.Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming

机译：使用答案集和认知逻辑编程确定条带中的动作可逆性
- 作者：Faber Wolfgang;Morak Michael;Chrpa Lukas
- 期刊名称：《Theory and Practice of Logic Programming》 | 2021年第5期
- action reversibility;
- Answer Set Programming;
- Epistemic Logic Programming;
- reasoning about action and change;
94.Modal Logic S5 Satisfiability in Answer Set Programming

机译：答案集编程中的模态逻辑S5可靠性
- 作者：Alviano Mario;Batsakis Sotiris;Baryannis George
- 期刊名称：《Theory and Practice of Logic Programming》 | 2021年第5期
- modal logic;
- S5;
- Answer Set Programming;
- Kripke semantics;
95.Nonground Abductive Logic Programming with Probabilistic Integrity Constraints

机译：具有概率完整性约束的非应绑架逻辑编程
- 作者：Bellodi Elena;Gavanelli Marco;Zese Riccardo;Lamma Evelina;Riguzzi Fabrizio
- 期刊名称：《Theory and Practice of Logic Programming》 | 2021年第5期
- abduction;
- integrity constraints;
- distribution semantics;
- probabilistic IFF;
96.Optimizing Probabilities in Probabilistic Logic Programs

机译：优化概率逻辑程序中的概率
- 作者：Azzolini Damiano;Riguzzi Fabrizio
- 期刊名称：《Theory and Practice of Logic Programming》 | 2021年第5期
- probabilistic logic programming;
- optimization;
- constraints;
97.Planning for an Efficient Implementation of Hypothetical Bousi～Prolog

机译：规划假设Bousi〜Prolog的有效实施
- 作者：Julian-Iranzo Pascual;Saenz-Perez Fernando
- 期刊名称：《Theory and Practice of Logic Programming》 | 2021年第5期
- Fuzzy logic programming;
- fuzzy Prolog;
- Bousi similar to Prolog;
- hypothetical reasoning;
- system implementation;
98.Planning with Incomplete Information in Quantified Answer Set Programming

机译：规划在量化答案集编程中的不完整信息
- 作者：Fandinno Jorge;Laferriere Francois;Romero Javier;Schaub Torsten;Son Tran Cao
- 期刊名称：《Theory and Practice of Logic Programming》 | 2021年第5期
- answer set programming;
- planning;
- quantified logics;
99.Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures

机译：通过回答集规划与代数措施来推理多界性语学层次结构
- 作者：Bozzato Loris;Eiter Thomas;Kiesel Rafael
- 期刊名称：《Theory and Practice of Logic Programming》 | 2021年第5期
- defeasible knowledge;
- description logics;
- ASP;
- algebraic measures;
- justifiable exceptions;
100.Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs

机译：利用树木宽度在认知逻辑计划上进行定量推理
- 作者：Besin Viktor;Hecher Markus;Woltran Stefan
- 期刊名称：《Theory and Practice of Logic Programming》 | 2021年第5期
- epistemic logic programming;
- treewidth;
- tree decompositions;
- abstractions;
- hybrid solving;
- nested dynamic programming;

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有出版物经营许可证

客服微信
服务号