The following pages link to Luciano Serafini (Q814583):
Displayed 42 items.
- Comparing formal theories of context in AI (Q814585) (← links)
- Multilanguage hierarchical logics, or: How we can do without modal logics (Q1313954) (← links)
- Distributed first order logic (Q1686336) (← links)
- Enhancing context knowledge repositories with justifiable exceptions (Q1749389) (← links)
- ML systems: A proof theory for contexts (Q1863751) (← links)
- Reasoning with justifiable exceptions in \(\mathcal{EL}_\bot\) contextualized knowledge repositories (Q2185461) (← links)
- Logic tensor networks (Q2667828) (← links)
- (Q2782484) (← links)
- Mapping Properties of Heterogeneous Ontologies (Q3534659) (← links)
- A SAT-Based Algorithm for Context Matching (Q3550854) (← links)
- On the Difference between Bridge Rules and Lifting Axioms (Q3550855) (← links)
- (Q3616092) (← links)
- Formal and Conceptual Comparison of Ontology Mapping Languages (Q3631362) (← links)
- Composing Modular Ontologies with Distributed Description Logics (Q3631365) (← links)
- (Q4209291) (← links)
- Mental States Recognition from Communication (Q4329523) (← links)
- A Foundation for Metareasoning Part I: The Proof Theory (Q4329526) (← links)
- (Q4409826) (← links)
- (Q4411597) (← links)
- (Q4434240) (← links)
- (Q4473061) (← links)
- (Q4473399) (← links)
- (Q4524503) (← links)
- (Q4524509) (← links)
- (Q4535647) (← links)
- A Foundation for Metareasoning Part II: The Model Theory (Q4542938) (← links)
- Mechanizing multi-agent reasoning with belief contexts (Q4632330) (← links)
- (Q4739294) (← links)
- (Q4808708) (← links)
- (Q4935597) (← links)
- (Q4941943) (← links)
- Learning and Reasoning with Logic Tensor Networks (Q5215371) (← links)
- Verifying Space and Time Requirements for Resource-Bounded Agents (Q5423880) (← links)
- Modeling and Using Context (Q5713628) (← links)
- (Q5869616) (← links)
- Journal on Data Semantics I (Q5897296) (← links)
- Reasoning on with Defeasibility in ASP (Q6063881) (← links)
- A Neuro-Symbolic Approach to Structured Event Recognition. (Q6080276) (← links)
- Refining neural network predictions using background knowledge (Q6176232) (← links)
- Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula (Q6380076) (← links)
- Weighted First Order Model Counting with Directed Acyclic Graph Axioms (Q6427005) (← links)
- Lifted Inference beyond First-Order Logic (Q6448301) (← links)