HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors
Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

ANDREI-60. Automated New-era Deductive Reasoning Event in Iberia

Editors: Laura Kovács, Konstantin Korovin and Giles Reger
EPiC Series in Computing•Volume 68
3 articles•49 pages•Published: March 7, 2020

Papers

Description Logics That Count, and What They Can and Cannot Count
Franz Baader and Filippo De Bortoli
Pages 1-25
Who Needs Category Theory?
Andreas Blass and Yuri Gurevich
Pages 26-36
Reconstructing in the Constraint Satisfaction Problem
Evgeny Dantsin
Pages 37-49

Keyphrases

0-1 Law, bisimulation, Cardinality Restrictions, category theory, complexity, Computational Logic, constraint satisfaction, counting quantifiers, CSP, Description Logic, expressivity, Kelly-Ulam conjecture, mathematical logic, Number Restrictions, QFBAPA, reconstruction conjecture, reconstruction of CSP instances, topology, witness-manipulation
Copyright © 2012-2023 easychair.org. All rights reserved.