History and philosophy of infinity - Selected papers from the conference "Foundations of the Formal Sciences VIII" held at Corpus Christi College, Cambridge, England, 20-23 September 2013.
Brendan P. LarvorBenedikt LöweDirk SchlimmPublished in: Synth. (2015)
Keyphrases
- selected papers
- invited talk
- conference proceedings
- computer science
- artificial intelligence
- annual conference
- short papers
- book constitutes the refereed proceedings
- international workshop
- accepted papers
- czech republic
- carefully reviewed and selected from submissions
- cognitive science
- international conference
- program committee
- computational intelligence
- manually annotated
- review process
- workshop proceedings
- terrorist attacks
- databases and information systems
- invited paper
- lecture notes in artificial intelligence
- life sciences
- asia pacific
- lecture notes
- peer review process
- acceptance rate
- papers cover
- formal model
- intelligent systems