| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | — | conf |
Canadian AI
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2024 | — | conf |
NAACL-HLT (Findings)
|
| 2024 | — | conf |
EACL (Findings)
|
| 2024 | J | jnl |
CoRR
|
| 2023 | — | conf |
PRICAI (2)
|
| 2022 | — | conf |
ACAI
|
| 2021 | — | conf |
ICMAI
|
| 2019 | — | conf |
ICAART (2)
|
| 2019 | — | conf |
WIMS
|
| 2019 | — | conf |
ICAART (Revised Selected Papers)
|
| 2019 | J | jnl |
Sci. China Inf. Sci.
|
| 2018 | — | conf |
KSEM (2)
|
| 2018 | J | jnl |
Ann. Math. Artif. Intell.
|
| 2016 | — | conf |
ISCID (1)
|
| 2016 | B | conf |
PRICAI
|
| 2015 | C | conf |
KSEM
|
| 2014 | J | jnl |
Int. J. Approx. Reason.
|
| 2013 | J | jnl |
CoRR
|
| 2013 | J | jnl |
CoRR
|
| 2013 | J | jnl |
Comput. Informatics
|
| 2013 | J | jnl |
J. Intell. Inf. Syst.
|
| 2013 | C | conf |
APWeb
|
| 2013 | A* | conf |
SIGIR
|
| 2013 | C | conf |
KSEM
|
| 2013 | — | conf |
Canadian AI
|
| 2013 | C | conf |
KSEM
|
| 2012 | — | conf |
SKG
|
| 2012 | Misc | conf |
FLAIRS
|
| 2012 | — | conf |
RSKT
|
| 2012 | J | jnl |
Ann. Math. Artif. Intell.
|
| 2012 | J | jnl |
J. Multiple Valued Log. Soft Comput.
|
| 2011 | C | conf |
A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System.
APWeb
|
| 2010 | — | conf |
Canadian AI
|
| 2010 | J | jnl |
Int. J. Softw. Informatics
|
| 2010 | A* | conf |
KR
|
| 2010 | — | conf |
FoIKS
|
| 2010 | — | conf |
FoIKS
|
| 2009 | B | conf |
ESWC
|
| 2009 | C | conf |
KSEM
|
| 2009 | Misc | conf |
KI
|
| 2009 | — | conf |
Description Logics
|
| 2009 | C | conf |
ISMIS
|
| 2009 | — | conf |
Description Logics
|
| 2008 | B | conf |
LCN
|
| 2008 | — | conf |
Description Logics
|
| 2008 | — | conf |
RR
|
| 2007 | — | conf |
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning
|
| 2007 | — | conf |
DEXA Workshops
|
| 2007 | B | conf |
ESWC
|
| 2007 | C | conf |
ECSQARU
|
| 2007 | C | conf |
KSEM
|
| 2007 | — | conf |
Description Logics
|
| 2007 | C | conf |
ECSQARU
|
| 2007 | — | conf |
Description Logics
|
| 2007 | J | jnl |
Comput. Intell.
|
| 2006 | B | conf |
JELIA
|
| 2006 | — | conf |
KES (1)
|
| 2006 | C | conf |
KSEM
|
| 2006 | — | conf |
CSWWS
|
| 2006 | — | conf |
Canadian AI
|
| 2006 | — | conf |
EDBT Workshops
|
| 2006 | B | conf |
PRICAI
|
| 2006 | — | conf |
NGITS
|
| 2005 | — | conf |
WAIM
|
| 2005 | — | conf |
ICNC (1)
|
| 2005 | — | conf |
ISPA Workshops
|
| 2005 | C | conf |
ICTAC
|
| 2005 | — | conf |
CEEMAS
|
| 2005 | — | conf |
Description Logics
|
| 2005 | — | conf |
KES (4)
|
| 2004 | — | conf |
ICEB
|
| 2004 | — | conf |
WAIM
|
| 2004 | — | conf |
RuleML
|
| 2004 | — | conf |
NMR
|
| 2004 | — | conf |
SWDB
|
| 1998 | J | jnl |
J. Comput. Sci. Technol.
|
| 1996 | Misc | conf |
AI
|
| 1996 | J | jnl |
Int. J. Pattern Recognit. Artif. Intell.
|
| 1995 | — | conf |
ISMVL
|
| 1995 | — | conf |
ISMVL
|
| 1994 | Misc | conf |
KI
|
| 1993 | — | conf |
ISMVL
|
| 1992 | — | conf |
IWAR
|
| 1991 | — | conf |
ACM Conference on Computer Science
|