| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | J | jnl |
CoRR
|
| 2026 | A* | conf |
AAAI
|
| 2026 | J | jnl |
CoRR
|
| 2026 | J | jnl |
CoRR
|
| 2026 | J | jnl |
Auton. Robots
|
| 2026 | A* | conf |
WWW
|
| 2026 | J | jnl |
CoRR
|
| 2026 | J | jnl |
IEEE Intell. Syst.
|
| 2025 | — | conf |
CODASPY
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
Artif. Intell.
|
| 2025 | J | jnl |
IEEE Trans. Emerg. Top. Comput.
|
| 2025 | A* | conf |
AAAI
|
| 2025 | — | book |
|
| 2025 | — | conf |
NAACL (Findings)
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
EPJ Data Sci.
|
| 2025 | J | jnl |
IEEE Intell. Syst.
|
| 2025 | A* | conf |
WWW
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
IEEE Trans. Comput. Soc. Syst.
|
| 2024 | J | jnl |
IEEE Trans. Dependable Secur. Comput.
|
| 2024 | J | jnl |
ACM Trans. Manag. Inf. Syst.
|
| 2024 | A | conf |
ICWSM
|
| 2024 | J | jnl |
IEEE Trans. Cybern.
|
| 2024 | J | jnl |
IEEE Trans. Dependable Secur. Comput.
|
| 2024 | A* | conf |
IJCAI
|
| 2024 | J | jnl |
CoRR
|
| 2024 | — | conf |
SUM
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
IEEE Trans. Comput. Soc. Syst.
|
| 2023 | J | jnl |
ACM Trans. Web
|
| 2023 | J | jnl |
ACM Trans. Multim. Comput. Commun. Appl.
|
| 2023 | A* | conf |
AAAI
|
| 2023 | A | conf |
AAMAS
|
| 2023 | J | jnl |
IEEE Trans. Comput. Soc. Syst.
|
| 2023 | J | jnl |
IEEE Trans. Multim.
|
| 2023 | J | jnl |
IEEE Trans. Dependable Secur. Comput.
|
| 2022 | — | conf |
DASC/PiCom/CBDCom/CyberSciTech
|
| 2022 | A* | conf |
IJCAI
|
| 2022 | J | jnl |
IEEE Trans. Dependable Secur. Comput.
|
| 2022 | J | jnl |
IEEE Trans. Dependable Secur. Comput.
|
| 2022 | J | jnl |
CoRR
|
| 2022 | J | jnl |
ACM Trans. Internet Techn.
|
| 2022 | B | conf |
ICMI
|
| 2021 | J | jnl |
IEEE Trans. Dependable Secur. Comput.
|
| 2021 | J | jnl |
IEEE Trans. Dependable Secur. Comput.
|
| 2021 | — | book |
|
| 2021 | A | conf |
ICWSM
|
| 2021 | J | jnl |
CoRR
|
| 2021 | A* | conf |
AAAI
|
| 2021 | J | jnl |
Trans. Data Sci.
|
| 2021 | J | jnl |
ACM Trans. Manag. Inf. Syst.
|
| 2021 | C | conf |
SECRYPT
|
| 2020 | J | jnl |
ACM Trans. Manag. Inf. Syst.
|
| 2020 | — | book |
|
| 2020 | J | jnl |
IEEE Trans. Inf. Forensics Secur.
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
IEEE Syst. J.
|
| 2020 | J | jnl |
IEEE Trans. Dependable Secur. Comput.
|
| 2020 | J | jnl |
Trans. Data Sci.
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
IEEE Trans. Comput. Soc. Syst.
|
| 2020 | J | jnl |
ACM Trans. Intell. Syst. Technol.
|
| 2020 | J | jnl |
IEEE Intell. Syst.
|
| 2020 | J | jnl |
Data Knowl. Eng.
|
| 2020 | J | jnl |
IEEE Trans. Comput. Soc. Syst.
|
| 2019 | A | conf |
BMVC
|
| 2019 | A | conf |
ICME
|
| 2019 | J | jnl |
CoRR
|
| 2019 | J | jnl |
IEEE Trans. Comput. Soc. Syst.
|
| 2019 | — | conf |
Blockchain
|
| 2019 | J | jnl |
CoRR
|
| 2019 | A* | conf |
IJCAI
|
| 2019 | C | conf |
FQAS
|
| 2019 | A* | conf |
IJCAI
|
| 2019 | A* | conf |
IJCAI
|
| 2019 | A* | conf |
KDD
|
| 2019 | A* | conf |
ICDM
|
| 2019 | A* | conf |
IJCAI
|
| 2018 | — | conf |
From Database to Cyber Security
|
| 2018 | A* | conf |
AAAI
|
| 2018 | J | jnl |
J. Comput. Secur.
|
| 2018 | J | jnl |
IEEE Trans. Comput. Soc. Syst.
|
| 2018 | — | ch. |
Encyclopedia of Database Systems (2nd ed.)
|
| 2018 | — | conf |
IPDPS Workshops
|
| 2018 | — | ch. |
Encyclopedia of Database Systems (2nd ed.)
|
| 2018 | A | conf |
WSDM
|
| 2018 | J | jnl |
ACM Trans. Internet Techn.
|
| 2018 | — | ch. |
Encyclopedia of Social Network Analysis and Mining. 2nd Ed.
|
| 2018 | J | jnl |
ACM Trans. Web
|
| 2018 | — | conf |
SocialSens@IoTDI
|
| 2017 | J | jnl |
IEEE Trans. Inf. Forensics Secur.
|
| 2017 | A* | conf |
WWW
|
| 2017 | J | jnl |
CoRR
|
| 2017 | — | ch. |
Theory and Models for Cyber Situation Awareness
|
| 2017 | J | jnl |
ACM Trans. Intell. Syst. Technol.
|
| 2017 | J | jnl |
CoRR
|
| 2017 | J | jnl |
CoRR
|
| 2017 | — | conf |
PAKDD (1)
|
| 2017 | J | jnl |
IEEE Intell. Syst.
|
| 2017 | J | jnl |
ACM Trans. Intell. Syst. Technol.
|
| 2016 | B | conf |
ASONAM
|
| 2016 | — | conf |
SUM
|
| 2016 | — | book |
Cyber Deception
|
| 2016 | J | jnl |
Artif. Intell.
|
| 2016 | A* | conf |
ICDM
|
| 2016 | A | conf |
WSDM
|
| 2016 | J | jnl |
CoRR
|
| 2016 | B | conf |
ASONAM
|
| 2016 | A* | conf |
KDD
|
| 2016 | — | conf |
SUM
|
| 2016 | J | jnl |
Computer
|
| 2016 | J | jnl |
CoRR
|
| 2016 | B | conf |
ASONAM
|
| 2016 | J | jnl |
Using temporal probabilistic logic for optimal monitoring of security events with limited resources.
J. Comput. Secur.
|
| 2015 | J | jnl |
IEEE Trans. Comput. Soc. Syst.
|
| 2015 | J | jnl |
ACM Trans. Intell. Syst. Technol.
|
| 2015 | — | ed. |
CODS Companion Volume
|
| 2015 | — | book |
Cyber Warfare
|
| 2015 | — | ch. |
Data Management in Pervasive Systems
|
| 2015 | J | jnl |
ACM Trans. Inf. Syst. Secur.
|
| 2015 | — | ed. |
CODS
|
| 2015 | C | conf |
ISI
|
| 2015 | J | jnl |
IEEE Intell. Syst.
|
| 2015 | — | book |
|
| 2015 | J | jnl |
IEEE Intell. Syst.
|
| 2015 | A* | conf |
KDD
|
| 2015 | J | jnl |
CoRR
|
| 2014 | J | jnl |
IEEE Trans. Comput. Soc. Syst.
|
| 2014 | B | conf |
ASONAM
|
| 2014 | J | jnl |
IEEE Intell. Syst.
|
| 2014 | J | jnl |
IEEE Trans. Comput. Soc. Syst.
|
| 2014 | J | jnl |
CoRR
|
| 2014 | — | book |
|
| 2014 | J | jnl |
IEEE Trans. Knowl. Data Eng.
|
| 2014 | J | jnl |
ACM Trans. Web
|
| 2014 | A* | conf |
KDD
|
| 2014 | — | conf |
JISIC
|
| 2014 | J | jnl |
ACM Trans. Internet Techn.
|
| 2014 | J | jnl |
IEEE Trans. Knowl. Data Eng.
|
| 2014 | J | jnl |
Int. J. Approx. Reason.
|
| 2014 | — | ch. |
Network Science and Cybersecurity
|
| 2014 | J | jnl |
Commun. ACM
|
| 2014 | J | jnl |
Soc. Netw. Anal. Min.
|
| 2014 | — | ch. |
Encyclopedia of Social Network Analysis and Mining
|
| 2014 | J | jnl |
ACM Trans. Comput. Log.
|
| 2014 | B | conf |
ASONAM
|
| 2014 | B | conf |
ASONAM
|
| 2013 | — | book |
|
| 2013 | J | jnl |
Int. J. Approx. Reason.
|
| 2013 | J | jnl |
Soc. Networks
|
| 2013 | J | jnl |
IEEE Trans. Knowl. Data Eng.
|
| 2013 | J | jnl |
CoRR
|
| 2013 | J | jnl |
IEEE Trans. Knowl. Data Eng.
|
| 2013 | J | jnl |
CoRR
|
| 2013 | — | conf |
NSW
|
| 2013 | J | jnl |
CoRR
|
| 2013 | — | book |
|
| 2013 | — | book |
|
| 2013 | J | jnl |
CoRR
|
| 2013 | B | conf |
ASONAM
|
| 2013 | J | jnl |
ACM Trans. Comput. Log.
|
| 2013 | — | conf |
ISWC (1)
|
| 2013 | — | ch. |
Advances in Probabilistic Databases for Uncertain Information Management
|
| 2013 | — | conf |
SocialCom
|
| 2013 | B | conf |
ASONAM
|
| 2013 | — | ed. |
SUM
|
| 2013 | J | jnl |
ACM Trans. Comput. Log.
|
| 2012 | J | jnl |
ACM Trans. Intell. Syst. Technol.
|
| 2012 | J | jnl |
ACM Trans. Comput. Log.
|
| 2012 | B | conf |
ASONAM
|
| 2012 | B | conf |
ASONAM
|
| 2012 | — | conf |
WWW (Companion Volume)
|
| 2012 | J | jnl |
Ann. Math. Artif. Intell.
|
| 2012 | — | conf |
Correct Reasoning
|
| 2012 | B | conf |
ASONAM
|
| 2011 | — | conf |
EISIC
|
| 2011 | — | conf |
ICDE Workshops
|
| 2011 | — | conf |
ICLP (Technical Communications)
|
| 2011 | C | conf |
IAAI
|
| 2011 | J | jnl |
ACM Trans. Comput. Log.
|
| 2011 | C | conf |
ECSQARU
|
| 2011 | — | conf |
EISIC
|
| 2011 | — | conf |
SUM
|
| 2011 | A* | conf |
IJCAI
|
| 2011 | J | jnl |
ACM Trans. Intell. Syst. Technol.
|
| 2011 | — | conf |
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
|
| 2011 | B | conf |
ASONAM
|
| 2011 | — | ch. |
Counterterrorism and Open Source Intelligence
|
| 2011 | A | conf |
ESORICS
|
| 2011 | — | conf |
CISIM
|
| 2010 | — | conf |
SocialCom/PASSAT
|
| 2010 | A | conf |
AAMAS
|
| 2010 | — | conf |
ICLP (Technical Communications)
|
| 2010 | J | jnl |
Artif. Intell.
|
| 2010 | J | jnl |
ACM Trans. Comput. Log.
|
| 2010 | B | conf |
ASONAM
|
| 2010 | — | conf |
SUM
|
| 2010 | — | conf |
SUM
|
| 2010 | J | jnl |
IEEE Trans. Pattern Anal. Mach. Intell.
|
| 2010 | — | ch. |
Methods for Handling Imperfect Spatial Information
|
| 2010 | — | ch. |
Video Search and Mining
|
| 2010 | — | conf |
ICLP (Technical Communications)
|
| 2009 | A* | conf |
ICDE
|
| 2009 | J | jnl |
Artif. Intell.
|
| 2009 | Misc | conf |
ISWC
|
| 2009 | — | conf |
SUM
|
| 2009 | J | jnl |
Computer
|
| 2009 | — | ch. |
Encyclopedia of Database Systems
|
| 2009 | — | ch. |
Encyclopedia of Database Systems
|
| 2009 | J | jnl |
IEEE Trans. Knowl. Data Eng.
|
| 2009 | B | conf |
ICLP
|
| 2008 | J | jnl |
IEEE Trans. Multim.
|
| 2008 | J | jnl |
IEEE Trans. Multim.
|
| 2008 | J | jnl |
IEEE Intell. Syst.
|
| 2008 | A* | conf |
AAAI
|
| 2008 | J | jnl |
IEEE Intell. Syst.
|
| 2008 | A* | conf |
KR
|
| 2008 | J | jnl |
IEEE Trans. Circuits Syst. Video Technol.
|
| 2008 | A* | conf |
KR
|
| 2008 | — | conf |
SUM
|
| 2008 | A* | conf |
WWW
|
| 2008 | — | ch. |
Encyclopedia of Multimedia
|
| 2008 | — | ch. |
Encyclopedia of Multimedia
|
| 2007 | A* | conf |
IJCAI
|
| 2007 | J | jnl |
IEEE Trans. Knowl. Data Eng.
|
| 2007 | — | conf |
SUM
|
| 2007 | J | jnl |
IEEE Intell. Syst.
|
| 2007 | J | jnl |
Ann. Math. Artif. Intell.
|
| 2007 | A* | conf |
IJCAI
|
| 2007 | — | conf |
SUM
|
| 2007 | A* | conf |
AAAI
|
| 2007 | C | conf |
ECSQARU
|
| 2007 | Misc | conf |
IRI
|
| 2007 | J | jnl |
Ann. Math. Artif. Intell.
|
| 2007 | A* | conf |
IJCAI
|
| 2007 | J | jnl |
ACM Trans. Comput. Log.
|
| 2007 | — | ed. |
SUM
|
| 2007 | A | conf |
ICWSM
|
| 2007 | J | jnl |
Multim. Tools Appl.
|
| 2007 | A | conf |
ICWSM
|
| 2006 | A | conf |
AAMAS
|
| 2006 | B | conf |
ESWC
|
| 2006 | J | jnl |
ACM Trans. Comput. Log.
|
| 2006 | — | conf |
OTM Conferences (1)
|
| 2006 | — | conf |
AAAI Spring Symposium: Computational Approaches to Analyzing Weblogs
|
| 2006 | A* | conf |
AAAI
|
| 2006 | Misc | conf |
IRI
|
| 2006 | J | jnl |
Inf. Syst.
|
| 2006 | — | ch. |
Encyclopedia of Multimedia
|
| 2006 | — | ch. |
Encyclopedia of Multimedia
|
| 2005 | A* | conf |
AAAI
|
| 2005 | A* | conf |
IJCAI
|
| 2005 | J | jnl |
J. ACM
|
| 2005 | A* | conf |
IJCAI
|
| 2005 | A* | conf |
IJCAI
|
| 2005 | A | conf |
AAMAS
|
| 2005 | — | conf |
OTM Conferences (1)
|
| 2005 | A* | conf |
ICDE
|
| 2005 | J | jnl |
Multim. Tools Appl.
|
| 2005 | B | conf |
LPAR
|
| 2004 | A* | conf |
KR
|
| 2004 | J | jnl |
Multim. Tools Appl.
|
| 2004 | — | conf |
CLIMA
|
| 2004 | J | jnl |
Ann. Math. Artif. Intell.
|
| 2004 | J | jnl |
Multim. Tools Appl.
|
| 2004 | J | jnl |
IEEE Trans. Knowl. Data Eng.
|
| 2004 | — | conf |
Multimedia Information Systems
|
| 2004 | — | conf |
FoIKS
|
| 2004 | — | conf |
SIGMOD Conference
|
| 2004 | — | conf |
MMDB
|
| 2004 | A | conf |
ECAI
|
| 2003 | J | jnl |
J. Intell. Inf. Syst.
|
| 2003 | Misc | conf |
IRI
|
| 2003 | A | conf |
AAMAS
|
| 2003 | — | ed. |
Multimedia Information Systems
|
| 2003 | A* | conf |
ICDE
|
| 2003 | A | conf |
ICDT
|
| 2003 | A* | conf |
IJCAI
|
| 2003 | J | jnl |
Ann. Math. Artif. Intell.
|
| 2003 | J | jnl |
IEEE Trans. Knowl. Data Eng.
|
| 2003 | — | conf |
MMDB
|
| 2002 | A | conf |
AAMAS
|
| 2002 | — | conf |
Multimedia Information Systems
|
| 2002 | — | conf |
Computational Logic: Logic Programming and Beyond
|
| 2002 | J | jnl |
IEEE Trans. Knowl. Data Eng.
|
| 2002 | C | conf |
ISMIS
|
| 2001 | J | jnl |
ACM Trans. Database Syst.
|
| 2001 | — | conf |
KI/ÖGAI
|
| 2001 | A* | conf |
IJCAI
|
| 2001 | B | conf |
ICLP
|
| 2001 | J | jnl |
ACM Trans. Database Syst.
|
| 2001 | J | jnl |
ACM Trans. Database Syst.
|
| 2001 | — | ch. |
E-Commerce Security and Privacy
|
| 2001 | J | jnl |
Artif. Intell.
|
| 2000 | J | jnl |
Multim. Syst.
|
| 2000 | J | jnl |
Synth.
|
| 2000 | J | jnl |
Ann. Math. Artif. Intell.
|
| 2000 | J | jnl |
J. Log. Program.
|
| 2000 | J | jnl |
Artif. Intell.
|
| 2000 | — | book |
Heterogenous Active Agents
|
| 2000 | J | jnl |
J. Log. Program.
|
| 2000 | J | jnl |
J. Intell. Inf. Syst.
|
| 2000 | J | jnl |
CoRR
|
| 2000 | J | jnl |
J. Log. Program.
|
| 2000 | J | jnl |
ACM Trans. Comput. Log.
|
| 2000 | J | jnl |
IEEE Trans. Knowl. Data Eng.
|
| 2000 | J | jnl |
VLDB J.
|
| 1999 | — | conf |
SIGMOD Conference
|
| 1999 | — | conf |
Multimedia Information Systems
|
| 1999 | J | jnl |
Artif. Intell.
|
| 1999 | J | jnl |
Artif. Intell.
|
| 1999 | C | conf |
ISMIS
|
| 1999 | A | conf |
UAI
|
| 1999 | J | jnl |
IEEE Intell. Syst.
|
| 1999 | J | jnl |
IEEE Trans. Knowl. Data Eng.
|
| 1999 | J | jnl |
CoRR
|
| 1999 | B | conf |
ICLP
|
| 1998 | J | jnl |
AI Commun.
|
| 1998 | — | conf |
SIGMOD Conference
|
| 1998 | J | jnl |
Multim. Syst.
|
| 1998 | J | jnl |
IEEE Trans. Knowl. Data Eng.
|
| 1998 | J | jnl |
Int. J. Intell. Syst.
|
| 1998 | — | conf |
CIA
|
| 1998 | — | conf |
FMLDO
|
| 1998 | A* | conf |
ICDE
|
| 1998 | J | jnl |
Multim. Tools Appl.
|
| 1998 | — | conf |
ICMAS
|
| 1998 | — | conf |
Multimedia Information Systems
|
| 1998 | — | conf |
DEXA Workshop
|
| 1998 | — | book |
Principles of Multimedia Database Systems
|
| 1998 | J | jnl |
Multim. Syst.
|
| 1997 | — | conf |
S&P
|
| 1997 | — | conf |
SIGMOD Conference
|
| 1997 | J | jnl |
Inf. Sci.
|
| 1997 | — | book |
Advanced Database Systems.
|
| 1997 | J | jnl |
Theor. Comput. Sci.
|
| 1997 | B | conf |
LPNMR
|
| 1997 | B | conf |
ICLP
|
| 1997 | J | jnl |
J. Comput. Secur.
|
| 1997 | J | jnl |
Ann. Math. Artif. Intell.
|
| 1997 | J | jnl |
ACM Trans. Database Syst.
|
| 1997 | J | jnl |
Ann. Math. Artif. Intell.
|
| 1996 | — | conf |
Logic in Databases
|
| 1996 | J | jnl |
Theor. Comput. Sci.
|
| 1996 | J | jnl |
J. Log. Program.
|
| 1996 | A* | conf |
ACM Multimedia
|
| 1996 | J | jnl |
Theor. Comput. Sci.
|
| 1996 | — | conf |
SEBD
|
| 1996 | J | jnl |
J. ACM
|
| 1996 | J | jnl |
IEEE Trans. Knowl. Data Eng.
|
| 1996 | J | jnl |
ACM Trans. Database Syst.
|
| 1996 | A | conf |
ESORICS
|
| 1996 | — | book |
|
| 1996 | — | conf |
SIGMOD Conference
|
| 1996 | J | jnl |
J. Vis. Commun. Image Represent.
|
| 1996 | A* | conf |
ICDE
|
| 1996 | A | conf |
CIKM
|
| 1996 | J | jnl |
Int. J. Artif. Intell. Tools
|
| 1996 | J | jnl |
Multim. Syst.
|
| 1996 | B | conf |
EDBT
|
| 1996 | — | conf |
ICMCS
|
| 1996 | — | ch. |
Multimedia Database System: Issues and Research Direction
|
| 1996 | A* | conf |
ICDE
|
| 1995 | J | jnl |
J. Intell. Inf. Syst.
|
| 1995 | J | jnl |
Artif. Intell.
|
| 1995 | J | jnl |
Inf. Comput.
|
| 1995 | — | conf |
SIGMOD Conference
|
| 1995 | J | jnl |
IEEE Trans. Knowl. Data Eng.
|
| 1995 | J | jnl |
Computer
|
| 1995 | J | jnl |
Int. J. Intell. Syst.
|
| 1995 | J | jnl |
IEEE Trans. Knowl. Data Eng.
|
| 1995 | B | conf |
ICLP
|
| 1995 | B | conf |
ICTAI
|
| 1995 | J | jnl |
Inf. Sci.
|
| 1995 | J | jnl |
Acta Cybern.
|
| 1995 | J | jnl |
IEEE Trans. Knowl. Data Eng.
|
| 1994 | J | jnl |
Int. J. Cooperative Inf. Syst.
|
| 1994 | J | jnl |
ACM Trans. Database Syst.
|
| 1994 | J | jnl |
Int. J. Cooperative Inf. Syst.
|
| 1994 | J | jnl |
Ann. Pure Appl. Log.
|
| 1994 | J | jnl |
Methods Log. Comput. Sci.
|
| 1994 | — | ch. |
Handbook of Logic in Artificial Intelligence and Logic Programming (2)
|
| 1994 | J | jnl |
J. ACM
|
| 1994 | J | jnl |
Inf. Comput.
|
| 1993 | J | jnl |
J. Autom. Reason.
|
| 1993 | J | jnl |
J. Autom. Reason.
|
| 1993 | J | jnl |
Ann. Math. Artif. Intell.
|
| 1993 | J | jnl |
J. Autom. Reason.
|
| 1993 | — | conf |
GULP
|
| 1993 | B | conf |
LPNMR
|
| 1993 | — | conf |
SIGMOD Conference
|
| 1993 | — | conf |
SIGMOD Conference
|
| 1992 | J | jnl |
Comput. Intell.
|
| 1992 | A | conf |
ICDT
|
| 1992 | A | conf |
UAI
|
| 1992 | A* | conf |
PODS
|
| 1992 | A* | conf |
AAAI
|
| 1992 | J | jnl |
Theor. Comput. Sci.
|
| 1992 | J | jnl |
Inf. Comput.
|
| 1992 | J | jnl |
Inf. Process. Lett.
|
| 1992 | J | jnl |
J. Autom. Reason.
|
| 1992 | J | jnl |
Theor. Comput. Sci.
|
| 1992 | J | jnl |
J. Log. Program.
|
| 1991 | J | jnl |
IEEE Trans. Knowl. Data Eng.
|
| 1991 | B | conf |
ICLP
|
| 1991 | C | conf |
ISMIS
|
| 1991 | B | conf |
LPNMR
|
| 1991 | B | ed. |
LPNMR
|
| 1991 | A | conf |
UAI
|
| 1991 | — | conf |
Automated Reasoning: Essays in Honor of Woody Bledsoe
|
| 1991 | — | conf |
ISLP
|
| 1991 | C | conf |
ISMIS
|
| 1991 | J | jnl |
Math. Log. Q.
|
| 1990 | J | jnl |
Int. J. Found. Comput. Sci.
|
| 1990 | A | conf |
CADE
|
| 1990 | J | jnl |
Int. J. Found. Comput. Sci.
|
| 1990 | J | jnl |
Inf. Process. Lett.
|
| 1990 | — | conf |
ISMVL
|
| 1990 | B | ed. |
LPNMR
|
| 1990 | J | jnl |
J. Autom. Reason.
|
| 1989 | — | conf |
FSTTCS
|
| 1989 | A* | conf |
IJCAI
|
| 1989 | — | conf |
NACLP
|
| 1989 | J | jnl |
Theor. Comput. Sci.
|
| 1989 | J | jnl |
Artif. Intell. Medicine
|
| 1989 | A | conf |
STACS
|
| 1989 | B | conf |
ICLP
|
| 1988 | — | conf |
META
|
| 1988 | — | conf |
ICLP/SLP
|
| 1988 | A | conf |
CADE
|
| 1988 | A | conf |
CADE
|
| 1988 | J | jnl |
AI Mag.
|
| 1988 | — | conf |
ICLP/SLP
|
| 1987 | — | conf |
SLP
|
| 1987 | — | conf |
FSTTCS
|