The following pages link to Distributed first order logics (Q2782484):
Displaying 10 items.
- Revision in networks of ontologies (Q896437) (← links)
- Distributed first order logic (Q1686336) (← links)
- A logic-based approach to incremental reasoning on multi-agent systems (Q2089459) (← links)
- Formal and Conceptual Comparison of Ontology Mapping Languages (Q3631362) (← links)
- Composing Modular Ontologies with Distributed Description Logics (Q3631365) (← links)
- Intensional First-Order Logic for P2P Database Systems (Q3638228) (← links)
- (Q3802600) (← links)
- Distributed Relation Logic (Q4683211) (← links)
- Embodied Context Semantics (Q5504582) (← links)
- Local Models Semantics, or contextual reasoning = locality + compatibility (Q5941211) (← links)