Bookmark Saya

arXiv Open Access 2017

First-order logic with incomplete information

Antti Kuusisto
Lihat Sumber

Abstrak

We develop first-order logic and some extensions for incomplete information scenarios and consider related complexity issues.

Topik & Kata Kunci

math.LO cs.LO

Penulis (1)

A

Antti Kuusisto

Format Sitasi

APA MLA BibTeX
Kuusisto, A. (2017). First-order logic with incomplete information. https://arxiv.org/abs/1703.03391

Akses Cepat

Lihat di Sumber
Informasi Jurnal
Tahun Terbit
2017
Bahasa
en
Sumber Database
arXiv
Akses
Open Access ✓