Pages that link to "George Voutsadakis"
From Tetherless World Wiki
(List of links)
> George VoutsadakisThe following pages link to George Voutsadakis:
View (previous 50) (next 50) (20 | 50 | 100 | 250 | 500)- Jie Bao (← links)
- Slides: Introduction to Description Logics by Jie Bao (9-17-2007) (← links)
- Publication (← links)
- Jie Bao Publication (← links)
- Giora Slutzki (← links)
- Vasant Honavar (← links)
- tw:Jie's Weekly Summary, 2008-03-02 (← links)
- On the Decidability of Role Mappings Between Modular Ontologies (← links)
- tw:Jie's Weekly Summary, 2008-04-13 (← links)
- Package-based Description Logics: Syntax, Semantics and Complexity (← links)
- Package-Based Description Logics (← links)
- tw:Jie's Weekly Summary, 2008-05-04 (← links)
- tw:Jie's Weekly Summary, 2008-04-27 (← links)
- tw:Draft List (← links)
- tw:Deductive Closure (Draft) (← links)
- tw:Jie's Weekly Summary, 2008-05-11 (← links)
- Privacy-Preserving Reasoning for Hypergraphs (← links)
- On the Decidability of Role Mappings Between Modular Ontologies/Slides (← links)
- Federated ALCI: Preliminary Report (← links)
- Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based pi-Institutions (← links)
- Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas (← links)
- Categorical abstract algebraic logic: The categorical Suszko operator (← links)
- Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity (← links)
- Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems (← links)
- Categorical Abstract Algebraic Logic: Leibniz Equality and Homomorphism Theorems (← links)
- Categorical abstract algebraic logic: The largest theory system included in a theory family (← links)
- Categorical Abstract Algebraic Logic: Ordered Equational Logic and Algebraizable PoVarieties (← links)
- Categorical abstract algebraic logic categorical algebraization of first-order logic without terms (← links)
- Corrigendum to "Categorical abstract algebraic logic: The criterion for deductive equivalence" (← links)
- A Categorical Approach to Threshold Agent Networks (← links)
- On The Limit Cycle Structure Of Threshold Boolean Networks Over Complete Graphs (← links)
- Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic (← links)
- Categorical abstract algebraic logic: The criterion for deductive equivalence (← links)
- Categorical Abstract Algebraic Logic: Equivalent Institutions (← links)
- Categorical Abstract Algebraic Logic Metalogical Properties (← links)
- Categorical Abstract Algebraic Logic: Algebraizable Institutions (← links)
- Polyadic Concept Analysis (← links)
- A Survey of Distributed Inference on Semantic Web (← links)
- tw:Jie Bao Semester Summary, Spring 2009 (← links)
- tw:Knowledge Representation and Query in Semantic MediaWiki: A Formal Study/Versions (← links)
