Dynamic term-modal logics for first-order epistemic planning

Author:

Publication: Artificial Intelligence

CITE.CC academic search helps you expand the influence of your papers.

Tags: AI

Abstract

Cite this article

https://doi.org/10.1016/j.artint.2020.103305

View full text

>> Full Text: Dynamic term-modal logics for first-order epistemic planning

PopMNet: Generating structured pop music melodies using neural networks

On the equivalence of optimal recommendation sets and myopically optimal query sets