Deciding Subsumption in Defeasible ELI⊥ with Typicality Models

Deciding Subsumption in Defeasible ELI_⊥ with Typicality Models

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Igor de Camargo e Souza Câmara - , Universidade de São Paulo (Author)
Anni-Yasmin Turhan - , Chair of Automata Theory, Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI Dresden) (Author)

Original language	English
Title of host publication	Logics in Artificial Intelligence
Editors	Sarah Alice Gaggl, Maria Vanina Martinez, Magdalena Ortiz
Publisher	Springer
Pages	531-546
Number of pages	16
ISBN (electronic)	978-3-031-43619-2
ISBN (print)	978-3-031-43618-5
Publication status	Published - 2023
Peer-reviewed	Yes

Series	Lecture Notes in Computer Science
Volume	14281
ISSN	0302-9743

Scopus	85174532037