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