Robotic Task Planning Using a Backchaining Theorem Prover for Multiplicative Exponential First-Order Linear Logic

Journal of Intelligent & Robotic Systems ◽

10.1007/s10846-018-0971-9 ◽

2019 ◽

Vol 96 (2) ◽

pp. 179-191

Author(s):

Sitar Kortik ◽

Uluc Saranli

Keyword(s):

Linear Logic ◽

Theorem Prover ◽

Task Planning ◽

Order Linear ◽

Download Full-text

A Focusing Inverse Method Theorem Prover for First-Order Linear Logic

Automated Deduction – CADE-20 - Lecture Notes in Computer Science ◽

10.1007/11532231_6 ◽

2005 ◽

pp. 69-83 ◽

Author(s):

Kaustuv Chaudhuri ◽

Frank Pfenning

Keyword(s):

Inverse Method ◽

Linear Logic ◽

Theorem Prover ◽

Order Linear ◽

Download Full-text

Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-540-87803-2_21 ◽

2008 ◽

pp. 245-257 ◽

Author(s):

Norihiro Kamide

Keyword(s):

Linear Logic ◽

Order Linear ◽

Download Full-text

lolliCoP — A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-45744-5_55 ◽

2001 ◽

pp. 670-684 ◽

Author(s):

Joshua S. ◽

Naoyuki Tamura

Keyword(s):

Classical Logic ◽

Linear Logic ◽

Theorem Prover ◽

First Order ◽

Connection Method

Download Full-text

Proof search in first-order linear logic and other cut-free sequent calculi

Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1994.316061 ◽

2002 ◽

Author(s):

P.D. Lincoln ◽

N. Shankar

Keyword(s):

Linear Logic ◽

Sequent Calculi ◽

Order Linear ◽

First Order ◽

Download Full-text

On structuring proof search for first order linear logic

Theoretical Computer Science ◽

10.1016/j.tcs.2005.11.047 ◽

2006 ◽

Vol 360 (1-3) ◽

pp. 42-76 ◽

Author(s):

Paola Bruscoli ◽

Alessio Guglielmi

Keyword(s):

Linear Logic ◽

Order Linear ◽

First Order ◽

Download Full-text

Resolution calculus for the first order linear logic

Journal of Logic Language and Information ◽

10.1007/bf01051768 ◽

1993 ◽

Vol 2 (1) ◽

pp. 59-83 ◽

Author(s):

Grigori Mints

Keyword(s):

Linear Logic ◽

Order Linear ◽

First Order ◽

Resolution Calculus

Download Full-text

An Effective Bottom-Up Semantics for First-Order Linear Logic Programs

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-44716-4_9 ◽

2001 ◽

pp. 138-152 ◽

Author(s):

Marco Bozzano ◽

Giorgio Delzanno ◽

Maurizio Martelli

Keyword(s):

Linear Logic ◽

Logic Programs ◽

Bottom Up ◽

Order Linear ◽

Download Full-text

Extended Lambek Calculi and First-Order Linear Logic

Lecture Notes in Computer Science - Categories and Types in Logic, Language, and Physics ◽

10.1007/978-3-642-54789-8_17 ◽

2014 ◽

pp. 297-330 ◽

Author(s):

Richard Moot

Keyword(s):

Linear Logic ◽

Order Linear ◽

Download Full-text

First-order linear logic without modalities is NEXPTIME-hard

Theoretical Computer Science ◽

10.1016/0304-3975(94)00107-3 ◽

1994 ◽

Vol 135 (1) ◽

pp. 139-153 ◽

Author(s):

P. Lincoln ◽

A. Scedrov

Keyword(s):

Linear Logic ◽

Order Linear ◽

Download Full-text

Partial Orders, Residuation, and First-Order Linear Logic

Studies in Computational Intelligence - Natural Language Processing in Artificial Intelligence—NLPinAI 2020 ◽

10.1007/978-3-030-63787-3_2 ◽

2021 ◽

pp. 37-67

Author(s):

Richard Moot

Keyword(s):

Linear Logic ◽

Partial Orders ◽

Order Linear ◽

Download Full-text