George Voutsadakis

From Tetherless World Wiki

George Voutsadakis [ Edit ]
Photo:
Name:	George Voutsadakis
Occupation:
Affiliation(s):	Iowa State University
Homepage(s):	http://voutsadakis.com/
Email(s):
Phone:
Fax:
Interests:	Logic Institution
Other tags:
Alias:
	Please also add"{{alias}}" to your alias pages.

Publication

Update publication from DBLP

1. [TW-2009-14] Jie Bao, George Voutsadakis, Giora Slutzki, Vasant Honavar. Package-Based Description Logics, In Modular Ontologies, pp. 349-371, 2009 (Download) .
   
2. Jie Bao, George Voutsadakis, Giora Slutzki, Vasant Honavar. Package-based Description Logics: Syntax, Semantics and Complexity, In IJSWIS, pp. Under Review, 2009 (Download) .
   
3. [TW-2008-20] George Voutsadakis, Giora Slutzki, Vasant Honavar, Jie Bao. Federated ALCI: Preliminary Report, In Web Intelligence, pp. In progress, 2008 (Download) .
   
4. George Voutsadakis. Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based pi-Institutions, In Logic Journal of the IGPL, 16(3):233-248, 2008 .
   
5. George Voutsadakis, Jie Bao, Giora Slutzki, Vasant Honavar. Privacy-Preserving Reasoning for Hypergraphs, In Technical Report, Department of Computer Science, Iowa State University, , 2008 (Download) .
   
6. [TW-2008-07] Jie Bao, George Voutsadakis, Giora Slutzki, Vasant Honavar. On the Decidability of Role Mappings Between Modular Ontologies, In AAAI'08, pp. 400--405, 2008 (Download) .
   
7. George Voutsadakis. Categorical abstract algebraic logic: The categorical Suszko operator, In Math. Log. Q., 53(6):616-635, 2007 .
   
8. George Voutsadakis. Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity, In Studia Logica, 85(2):215-249, 2007 .
   
9. George Voutsadakis. Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas, In Math. Log. Q., 53(2):147-161, 2007 .
   
10. George Voutsadakis. Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems, In Applied Categorical Structures, 14(1):81-98, 2006 .
    
11. George Voutsadakis. Categorical Abstract Algebraic Logic: Leibniz Equality and Homomorphism Theorems, In Applied Categorical Structures, 14(4):357-376, 2006 .
    
12. George Voutsadakis. Categorical Abstract Algebraic Logic: Ordered Equational Logic and Algebraizable PoVarieties, In Order, 23(4):297-319, 2006 .
    
13. George Voutsadakis. Categorical abstract algebraic logic: The largest theory system included in a theory family, In Math. Log. Q., 52(3):288-294, 2006 .
    
14. George Voutsadakis. Categorical abstract algebraic logic categorical algebraization of first-order logic without terms, In Arch. Math. Log., 44(4):473-491, 2005 .
    
15. George Voutsadakis. Corrigendum to "Categorical abstract algebraic logic: The criterion for deductive equivalence", In Math. Log. Q., 51(6):644, 2005 .
    
16. George Voutsadakis. On The Limit Cycle Structure Of Threshold Boolean Networks Over Complete Graphs, In Int. J. Neural Syst., 14(3):209-215, 2004 .
    
17. George Voutsadakis. Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic, In Logic Journal of the IGPL, 12(4):313-333, 2004 .
    
18. George Voutsadakis. A Categorical Approach to Threshold Agent Networks, In Applied Categorical Structures, 12(2):203-223, 2004 .
    
19. George Voutsadakis. Categorical Abstract Algebraic Logic Metalogical Properties, In Studia Logica, 74(3):369-398, 2003 .
    
20. George Voutsadakis. Categorical abstract algebraic logic: The criterion for deductive equivalence, In Math. Log. Q., 49(4):347-352, 2003 .
    
21. George Voutsadakis. Categorical Abstract Algebraic Logic: Equivalent Institutions, In Studia Logica, 74(1-2):275-311, 2003 .
    
22. George Voutsadakis. Categorical Abstract Algebraic Logic: Algebraizable Institutions, In Applied Categorical Structures, 10(6):531-568, 2002 .
    
23. George Voutsadakis. Polyadic Concept Analysis, In Order, 19(3):295-304, 2002 .
    

External Links

More information on Google, and DBLP