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

ANDREI-60: Volume Information

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

Editors: Laura Kovacs, 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
1-25
Who Needs Category Theory?
Andreas Blass and Yuri Gurevich
26-36
Reconstructing in the Constraint Satisfaction Problem
Evgeny Dantsin
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-2025 easychair.org. All rights reserved.