首页>外文会议>International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

召开年：2019
召开地：London(GB)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.First-Order Quasi-canonical Proof Systems

机译：一阶准规范证明系统
- 作者：Yotam Dvir;Anion Avron
- 会议名称：《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》 | 2019年
- Gentzen-type proof systems;
- Cut-elimination;
- Coherence;
- Non-deterministic matrices;
- Information processing;
- Knowledge bases;
2.Bounded Sequent Calculi for Non-classical Logics via Hypersequents

机译：通过Hypersequents进行非经典逻辑的有界顺序计算
- 作者：Agata Ciabattoni;Timo Lang;Revantha Ramanayake
- 会议名称：《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》 | 2019年
3.A Proof-Theoretic Perspective on SMT-Solving for Intuitionistic Propositional Logic

机译：SMT解决直觉命题逻辑的证明理论视角
- 作者：Camillo Fiorentini;Rajeev Gore;Stephane Graham-Lengrand
- 会议名称：《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》 | 2019年
4.Relating Labelled and Label-Free Bunched Calculi in BI Logic

机译：在BI Logic中关联带标签和无标签的捆绑计算
- 作者：Didier Galmiche;Michel Marti;Daniel Mery
- 会议名称：《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》 | 2019年
5.Sequentialising Nested Systems

机译：序列化嵌套系统
- 作者：Elaine Pimentel;Revantha Ramanayake;Bjorn Lellmann
- 会议名称：《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》 | 2019年
6.Preface

机译：前言
- 作者：Serenella Cerrito;Andrei Popescu
- 会议名称：《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》 | 2019年
7.Automated Reasoning for the Working Mathematician

机译：工作数学家的自动推理
- 作者：Jeremy Avigad
- 会议名称：《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》 | 2019年
- Automated reasoning;
- Interactive theorem proving;
8.Remembering Roy Dyckhoff

机译：记住罗伊·迪克霍夫
- 作者：Stephane Graham-Lengrand;Sara Negri
- 会议名称：《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》 | 2019年
9.A Hypersequent Calculus with Clusters for Data Logic over Ordinals

机译：带有簇的超序微积分用于普通数据逻辑
- 作者：Anthony Lick
- 会议名称：《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》 | 2019年
- Modal logic;
- Data ordinals;
- Freeze logic;
- Proof system;
- Hypersequent calculus;
10.Syntactic Cut-Elimination and Backward Proof-Search for Tense Logic via Linear Nested Sequents

机译：通过线性嵌套后继序列进行时态逻辑的句法消除和向后证明搜索
- 作者：Rajcev Gore;Bjorn Lellmaim
- 会议名称：《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》 | 2019年
11.Combining Monotone and Normal Modal Logic in Nested Sequents — with Countermodels

机译：嵌套序列中的单调和正常模态逻辑的组合-具有反模型
- 作者：Bjoern Lellmann
- 会议名称：《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》 | 2019年
- Modal logic;
- Non-normal modal logic;
- Ability logic;
- Nested sequents;
- Countermodel generation;
12.A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL

机译：基于SAT的LTL单程和树状Tableau系统的编码
- 作者：Luca Geatti;Nicola Gigante;Angelo Montanari
- 会议名称：《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》 | 2019年
- Tableau system;
- Temporal logic;
- Satisfiability;
- SAT;
13.Certification of Nonclausal Connection Tableaux Proofs

机译：非从句连接Tableaux证明的证明
- 作者：Michael Faerber;Cezary Kaliszyk
- 会议名称：《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》 | 2019年
14.On Combinatorial Proofs for Modal Logic

机译：关于模态逻辑的组合证明
- 作者：Matteo Acclavio;Lutz Strassburger
- 会议名称：《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》 | 2019年
- Combinatorial proofs;
- Modal logic;
- S4-tesseract;
- Relation webs;
- Skew fibration;
15.A Game Model for Proofs with Costs

机译：有成本证明的博弈模型
- 作者：Timo Lang;Carlos Olarte;Elaine Pimentel;Christian G. Fermueller
- 会议名称：《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》 | 2019年
16.Preferential Tableaux for Contextual Defeasible ACC

机译：上下文可拒绝ACC的优惠表
- 作者：Katarina Britz;Ivan Varzinrzak
- 会议名称：《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》 | 2019年
- Description logics;
- Defeasible reasoning;
- Contexts;
- Tableaux;
17.A Tableau Calculus for Non-clausal Maximum Satisfiability

机译：非子句最大可满足性的Tableau演算
- 作者：Chu Min Li;Felip Manya;Joan Ramon Soler
- 会议名称：《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》 | 2019年
18.Towards a Combinatorial Proof Theory

机译：走向组合证明理论
- 作者：Benjamin Ralph;Lutz Strassburger
- 会议名称：《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》 | 2019年
- Proof theory;
- Combinatorial proofs;
- Deep inference;
- Fibrations;
- Cographs;
19.Birkhoff Completeness for Hybrid-Dynamic First-Order Logic

机译：混合动力一阶逻辑的Birkhoff完备性
- 作者：Daniel Gaina;Ionut Tutu
- 会议名称：《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》 | 2019年
20.Infinets: The Parallel Syntax for Non-wellfounded Proof-Theory

机译：无限词：无根据的证明理论的并行语法
- 作者：Abhishek De;Alexis Saurin
- 会议名称：《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》 | 2019年
- Circular proofs;
- Non-wellfounded proofs;
- Fixed points;
- μ-calculus;
- Linear logic;
- Proof-nets;
- Induction and coinduction;
21.PSPACE-Completeness of a Thread Criterion for Circular Proofs in Linear Logic with Least and Greatest Fixed Points

机译：具有最小和最大固定点的线性逻辑中的圆形证明的线程准则的PSPACE完全性
- 作者：Remi Nollet;Alexis Saurin;Christine Tasson
- 会议名称：《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》 | 2019年
- Sequent calculus;
- Non-wellfounded proofs;
- Circular proofs;
- Induction;
- Coinduction;
- Fixed points;
- Linear logic;
- mu-MALL;
- Size-change;
- PSPACE-complete;
- Complexity;
22.A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic

机译：命题动态逻辑的无充分依据的带标签证明系统
- 作者：Simon Docherty;Reuben N. S. Rowe
- 会议名称：《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》 | 2019年
23.Herbrand Constructivization for Automated Intuitionistic Theorem Proving

机译：Herbrand构造用于自动直觉定理证明
- 作者：Gabriel Ebner
- 会议名称：《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》 | 2019年
24.ENIGMAWatch: ProofWatch Meets ENIGMA

机译：ENIGMAWatch：ProofWatch与ENIGMA相遇
- 作者：Zarathustra Goertzel;Jan Jakubuv;Josef Urban
- 会议名称：《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》 | 2019年
25.Behavioral Program Logic

机译：行为程序逻辑
- 作者：Eduard Kamburjan
- 会议名称：《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》 | 2019年
26.Prenex Separation Logic with One Selector Field

机译：具有一个选择器字段的Prenex分离逻辑
- 作者：Mnacho Echenim;Radu Iosif;Nicolas Peltier
- 会议名称：《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》 | 2019年
27.Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems

机译：用于信念感知网络物理系统的动态十二阶微分动态逻辑
- 作者：Joao G. Martins;Andre Platzer;Joao Leite
- 会议名称：《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》 | 2019年
- Differential dynamic logic;
- Dynamic epistemic logic;
- Sequent calculus;
- Hybrid systems;
- Cyber-physical systems;
28.Operational Semantics and Program Verification Using Many-Sorted Hybrid Modal Logic

机译：使用多排序混合模态逻辑的操作语义和程序验证
- 作者：Ioana Leustean;Natalia Moanga;Traian Florin Serbanuta
- 会议名称：《International Conference on Automated Reasoning with Analytic Tableaux and Related Methods》 | 2019年
- Operational semantics;
- Program verification;
- Hybrid modal logic;
- Many sorted logic;