Luciano Serafini

Available identifiers

zbMath Open serafini.lucianoWikidataQ57302396 ScholiaQ57302396MaRDI QIDQ814583

List of research outcomes

Publication	Date of Publication	Type
Reasoning on with Defeasibility in ASP	2023-12-12	Paper
A Neuro-Symbolic Approach to Structured Event Recognition.	2023-10-02	Paper
Refining neural network predictions using background knowledge	2023-08-22	Paper
Lifted Inference beyond First-Order Logic	2023-08-22	Paper
Weighted First Order Model Counting with Directed Acyclic Graph Axioms	2023-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q5869616	2022-09-28	Paper
Logic tensor networks	2022-03-02	Paper
Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula	2021-10-12	Paper
Reasoning with justifiable exceptions in \(\mathcal{EL}_\bot\) contextualized knowledge repositories	2020-06-04	Paper
Learning and Reasoning with Logic Tensor Networks	2020-02-10	Paper
Mechanizing multi-agent reasoning with belief contexts	2019-04-29	Paper
Enhancing context knowledge repositories with justifiable exceptions	2018-05-16	Paper
Distributed first order logic	2017-12-22	Paper
A SAT-Based Algorithm for Context Matching	2010-04-06	Paper
On the Difference between Bridge Rules and Lifting Axioms	2010-04-06	Paper
Journal on Data Semantics I	2010-03-03	Paper
Formal and Conceptual Comparison of Ontology Mapping Languages	2009-06-09	Paper
Composing Modular Ontologies with Distributed Description Logics	2009-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q3616092	2009-03-24	Paper
Mapping Properties of Heterogeneous Ontologies	2008-11-04	Paper
Verifying Space and Time Requirements for Resource-Bounded Agents	2007-11-01	Paper
Comparing formal theories of context in AI	2006-02-07	Paper
Modeling and Using Context	2005-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q4739294	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4808708	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4473061	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4473399	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4434240	2003-11-05	Paper
https://portal.mardi4nfdi.de/entity/Q4411597	2003-07-09	Paper
https://portal.mardi4nfdi.de/entity/Q4409826	2003-07-01	Paper
ML systems: A proof theory for contexts	2003-03-12	Paper
A Foundation for Metareasoning Part II: The Model Theory	2002-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q2782484	2002-08-05	Paper
Mental States Recognition from Communication	2002-07-30	Paper
A Foundation for Metareasoning Part I: The Proof Theory	2002-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4535647	2002-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q4524509	2001-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q4524503	2001-01-15	Paper
https://portal.mardi4nfdi.de/entity/Q4941943	2000-09-05	Paper
https://portal.mardi4nfdi.de/entity/Q4935597	2000-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q4209291	1998-09-27	Paper
Multilanguage hierarchical logics, or: How we can do without modal logics	1994-02-24	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Luciano Serafini