Planning with Regression Analysis in Transaction Logic

Basseda, Reza; Kifer, Michael

doi:10.1007/978-3-319-22002-4_5

Cited by 4 publications

(2 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…[11]), and ⊗ and ⊕ from transaction logic (see, e.g. [1]), there called serial connectives. However, MSCL is just a part of both these logics and it is questionable whether its axiomatization or semantics are of any relevance.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Propositional logic with short-circuit evaluation: a non-commutative and a commutative variant

Bergstra,

Ponse,

Staudt

2018

Preprint

View full text Add to dashboard Cite

show abstract

Section: Related Workmentioning

confidence: 99%

“…Other notations are && and || as used in programming, ⊗ and ⊕ from transaction logic (see, e.g. [1]), and △ and ▽ from computability logic (see, e.g. [11]).…”

Section: Introductionmentioning

confidence: 99%