| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | — | conf |
HICSS
|
| 2026 | C | conf |
PADL
|
| 2026 | C | conf |
PADL
|
| 2025 | C | conf |
PADL
|
| 2025 | B | conf |
COLING
|
| 2025 | J | jnl |
CoRR
|
| 2025 | C | conf |
PADL
|
| 2025 | J | jnl |
CoRR
|
| 2025 | C | conf |
PADL
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | B | ed. |
LPNMR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | C | conf |
NeSy
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | B | conf |
ICLP
|
| 2025 | J | jnl |
CoRR
|
| 2025 | B | ed. |
ICLP
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
Theory Pract. Log. Program.
|
| 2025 | J | jnl |
CoRR
|
| 2025 | B | conf |
ICLP
|
| 2024 | J | jnl |
CoRR
|
| 2024 | — | conf |
ICLP Workshops
|
| 2024 | J | jnl |
Theory Pract. Log. Program.
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
Theory Pract. Log. Program.
|
| 2024 | C | conf |
PADL
|
| 2024 | — | conf |
ICLP Workshops
|
| 2024 | J | jnl |
Theory Pract. Log. Program.
|
| 2024 | J | jnl |
CoRR
|
| 2024 | — | conf |
ICLP Workshops
|
| 2024 | J | jnl |
CoRR
|
| 2024 | — | conf |
ICLP Workshops
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2024 | — | conf |
ICLP Workshops
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
Theory Pract. Log. Program.
|
| 2024 | J | jnl |
CoRR
|
| 2024 | — | conf |
SAFECOMP (Workshops)
|
| 2024 | — | conf |
ICLP Workshops
|
| 2024 | — | conf |
ICLP Workshops
|
| 2024 | C | conf |
PADL
|
| 2024 | A* | conf |
AAAI
|
| 2024 | J | jnl |
CoRR
|
| 2024 | C | conf |
PADL
|
| 2023 | — | conf |
ICLP Workshops
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
CoRR
|
| 2023 | C | conf |
PADL
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
Theory Pract. Log. Program.
|
| 2023 | — | ch. |
Prolog: The Next 50 Years
|
| 2023 | J | jnl |
CoRR
|
| 2023 | — | conf |
ICLP Workshops
|
| 2023 | — | ed. |
ICLP Workshops
|
| 2023 | — | ch. |
Prolog: The Next 50 Years
|
| 2023 | — | conf |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
|
| 2023 | B | conf |
ICLP
|
| 2023 | — | conf |
ICLP Workshops
|
| 2023 | J | jnl |
CoRR
|
| 2022 | J | jnl |
Theory Pract. Log. Program.
|
| 2022 | J | jnl |
CoRR
|
| 2022 | J | jnl |
Theory Pract. Log. Program.
|
| 2022 | Misc | conf |
FLOPS
|
| 2022 | J | jnl |
CoRR
|
| 2022 | J | jnl |
Theory Pract. Log. Program.
|
| 2022 | J | jnl |
CoRR
|
| 2022 | J | jnl |
CoRR
|
| 2022 | — | conf |
ICLP Workshops
|
| 2022 | J | jnl |
Theory Pract. Log. Program.
|
| 2022 | C | conf |
PADL
|
| 2022 | J | jnl |
Theory Pract. Log. Program.
|
| 2022 | — | ed. |
ICLP Workshops
|
| 2022 | — | conf |
ICLP Workshops
|
| 2022 | C | conf |
FIE
|
| 2022 | C | conf |
PADL
|
| 2022 | — | conf |
ICLP Workshops
|
| 2021 | J | jnl |
CoRR
|
| 2021 | — | conf |
ICLP Workshops
|
| 2021 | — | conf |
ICLP Workshops
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
CoRR
|
| 2021 | — | conf |
ICLP Technical Communications
|
| 2021 | J | jnl |
CoRR
|
| 2021 | — | conf |
ICLP Workshops
|
| 2021 | — | conf |
ICLP Technical Communications
|
| 2021 | — | conf |
ICLP Workshops
|
| 2021 | J | jnl |
CoRR
|
| 2021 | — | conf |
HCVS@ETAPS
|
| 2021 | A* | conf |
AAAI
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
CoRR
|
| 2021 | — | conf |
ICLP Workshops
|
| 2021 | — | conf |
ICLP Workshops
|
| 2021 | J | jnl |
CoRR
|
| 2021 | — | ed. |
ICLP Workshops
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
CoRR
|
| 2021 | — | conf |
ICLP Workshops
|
| 2020 | C | conf |
PADL
|
| 2020 | J | jnl |
CoRR
|
| 2020 | — | conf |
ICLP Technical Communications
|
| 2020 | J | jnl |
CoRR
|
| 2020 | — | conf |
ICLP Technical Communications
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
Theory Pract. Log. Program.
|
| 2020 | C | conf |
PADL
|
| 2019 | C | conf |
PADL
|
| 2019 | — | conf |
Datalog
|
| 2019 | A* | conf |
AAAI
|
| 2019 | J | jnl |
Induction of Non-Monotonic Rules From Statistical Learning Models Using High-Utility Itemset Mining.
CoRR
|
| 2019 | C | conf |
LOPSTR
|
| 2019 | C | conf |
LOPSTR
|
| 2018 | J | jnl |
CoRR
|
| 2018 | J | jnl |
Theory Pract. Log. Program.
|
| 2018 | — | conf |
ICLP (Technical Communications)
|
| 2018 | — | conf |
ILP Up-and-Coming / Short Papers
|
| 2018 | J | jnl |
CoRR
|
| 2018 | J | jnl |
CoRR
|
| 2017 | — | conf |
ARCADE@CADE
|
| 2017 | J | jnl |
CoRR
|
| 2017 | J | jnl |
Theory Pract. Log. Program.
|
| 2017 | J | jnl |
CoRR
|
| 2017 | J | jnl |
CoRR
|
| 2017 | J | jnl |
Theory Pract. Log. Program.
|
| 2016 | J | jnl |
CoRR
|
| 2016 | J | jnl |
Theory Pract. Log. Program.
|
| 2016 | J | jnl |
SIGBED Rev.
|
| 2016 | — | conf |
EMBC
|
| 2016 | J | jnl |
Serv. Oriented Comput. Appl.
|
| 2015 | J | jnl |
Sci. Comput. Program.
|
| 2015 | — | conf |
ICHI
|
| 2014 | J | jnl |
CoRR
|
| 2014 | J | jnl |
Theory Pract. Log. Program.
|
| 2014 | C | ed. |
LOPSTR
|
| 2013 | — | conf |
BIBM
|
| 2013 | — | conf |
TGC
|
| 2012 | Misc | conf |
FLOPS
|
| 2012 | C | conf |
LOPSTR
|
| 2012 | C | conf |
PPDP
|
| 2012 | — | ch. |
Semantic Web Services, Advancement through Evaluation
|
| 2011 | J | jnl |
SIGBED Rev.
|
| 2011 | — | conf |
mHealthSys@SenSys
|
| 2011 | — | conf |
mHealthSys@SenSys
|
| 2011 | B | conf |
CALCO
|
| 2010 | — | conf |
ICLP (Technical Communications)
|
| 2010 | Misc | conf |
FLAIRS
|
| 2010 | C | conf |
LATA
|
| 2010 | C | conf |
SEKE
|
| 2009 | J | jnl |
J. Inf. Process. Syst.
|
| 2009 | — | conf |
PLAS
|
| 2009 | Misc | conf |
FLAIRS
|
| 2009 | C | conf |
LOPSTR
|
| 2009 | J | jnl |
Comput. Lang. Syst. Struct.
|
| 2009 | — | ch. |
The Universal Access Handbook
|
| 2009 | Misc | conf |
AIAI
|
| 2009 | J | jnl |
Int. J. Web Serv. Res.
|
| 2008 | C | conf |
WETICE
|
| 2008 | A | conf |
ICWS
|
| 2008 | J | jnl |
Softw. Pract. Exp.
|
| 2008 | — | conf |
IEEE SCC (2)
|
| 2007 | A | conf |
ICWS
|
| 2007 | A* | conf |
ICALP
|
| 2007 | B | conf |
ICLP
|
| 2007 | J | jnl |
CoRR
|
| 2007 | J | jnl |
Theory Pract. Log. Program.
|
| 2007 | — | conf |
CEC/EEE
|
| 2007 | — | conf |
HCI (7)
|
| 2007 | — | conf |
HCI (7)
|
| 2006 | B | conf |
ICLP
|
| 2006 | J | jnl |
CoRR
|
| 2006 | J | jnl |
J. Parallel Distributed Comput.
|
| 2006 | A | conf |
ASSETS
|
| 2006 | — | conf |
CEC/EEE
|
| 2005 | A | conf |
ICWS
|
| 2005 | C | conf |
LOPSTR
|
| 2005 | B | ed. |
ICLP
|
| 2005 | C | conf |
PPDP
|
| 2005 | Misc | conf |
SAC
|
| 2005 | Misc | conf |
ICDCIT
|
| 2005 | A | conf |
ICWS
|
| 2005 | C | conf |
PADL
|
| 2004 | — | conf |
WLPE
|
| 2004 | C | conf |
ICCHP
|
| 2004 | J | jnl |
CoRR
|
| 2004 | Misc | conf |
ICDCIT
|
| 2004 | C | conf |
ICCHP
|
| 2004 | C | conf |
PADL
|
| 2004 | Misc | conf |
CASES
|
| 2004 | C | conf |
ICCHP
|
| 2004 | A | conf |
ASSETS
|
| 2004 | J | jnl |
ACM SIGACCESS Access. Comput.
|
| 2003 | — | conf |
Euro-Par
|
| 2003 | B | conf |
ICLP
|
| 2003 | — | conf |
DALT
|
| 2003 | C | conf |
LOPSTR
|
| 2003 | — | conf |
HCI (4)
|
| 2003 | — | conf |
SVV@ICLP
|
| 2003 | Misc | conf |
ISWC
|
| 2002 | J | jnl |
Appl. Math. Lett.
|
| 2002 | C | conf |
ICCHP
|
| 2002 | — | conf |
CSB
|
| 2002 | J | jnl |
Univers. Access Inf. Soc.
|
| 2002 | A | conf |
ASSETS
|
| 2002 | C | conf |
PADL
|
| 2002 | — | conf |
Computational Logic: Logic Programming and Beyond
|
| 2002 | — | conf |
WLPE
|
| 2001 | B | conf |
ICLP
|
| 2001 | J | jnl |
IEEE Trans. Parallel Distributed Syst.
|
| 2001 | B | conf |
ICPP
|
| 2001 | C | conf |
PADL
|
| 2001 | J | jnl |
Softw. Pract. Exp.
|
| 2001 | B | conf |
ICLP
|
| 2001 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 2001 | Misc | conf |
HCI
|
| 2000 | A | conf |
ASSETS
|
| 2000 | J | jnl |
Acta Informatica
|
| 2000 | C | conf |
PADL
|
| 2000 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|
| 2000 | — | conf |
HASE
|
| 2000 | J | jnl |
Algorithmica
|
| 1999 | J | jnl |
J. Funct. Log. Program.
|
| 1999 | B | conf |
ICPP
|
| 1999 | J | jnl |
J. Funct. Log. Program.
|
| 1999 | — | ch. |
The Logic Programming Paradigm
|
| 1999 | J | jnl |
New Gener. Comput.
|
| 1999 | — | ed. |
Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP
|
| 1999 | — | conf |
Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP
|
| 1999 | J | jnl |
Behav. Inf. Technol.
|
| 1999 | — | conf |
HCI (2)
|
| 1999 | B | conf |
ICLP
|
| 1998 | B | conf |
ICPP
|
| 1998 | J | jnl |
Inf. Process. Lett.
|
| 1998 | B | conf |
ICPP
|
| 1998 | — | conf |
IJCSLP
|
| 1998 | — | conf |
AAAI/IAAI
|
| 1998 | — | conf |
Implementation Technology for Programming Languages based on Logic
|
| 1998 | C | ed. |
PADL
|
| 1998 | — | conf |
International ACM Conference on Assistive Technologies
|
| 1998 | — | conf |
PLILP/ALP
|
| 1997 | A | conf |
RTSS
|
| 1997 | B | conf |
ICLP
|
| 1997 | — | conf |
PASCO
|
| 1997 | — | conf |
APPIA-GULP-PRODE
|
| 1997 | B | conf |
ICLP
|
| 1997 | — | conf |
FSTTCS
|
| 1997 | — | conf |
IPPS
|
| 1997 | J | jnl |
Ann. Math. Artif. Intell.
|
| 1997 | — | conf |
LPE
|
| 1997 | B | conf |
ICLP
|
| 1997 | B | conf |
ICTAI
|
| 1996 | J | jnl |
J. Log. Program.
|
| 1996 | — | conf |
JICSLP
|
| 1996 | J | jnl |
J. Log. Program.
|
| 1996 | J | jnl |
Comput. Lang.
|
| 1996 | — | conf |
SPDP
|
| 1996 | — | conf |
IPPS
|
| 1995 | — | conf |
IPPS
|
| 1995 | — | conf |
SPDP
|
| 1995 | B | conf |
ICLP
|
| 1995 | — | conf |
Euro-Par
|
| 1995 | B | conf |
ICLP
|
| 1994 | — | conf |
ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs
|
| 1994 | B | conf |
ICLP
|
| 1994 | — | conf |
Workshop on Design and Impl. of Parallel Logic Programming Systems
|
| 1994 | — | conf |
ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs
|
| 1994 | — | conf |
ILPS
|
| 1994 | J | jnl |
Future Gener. Comput. Syst.
|
| 1994 | — | ed. |
Workshop on Design and Impl. of Parallel Logic Programming Systems
|
| 1993 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1993 | J | jnl |
New Gener. Comput.
|
| 1993 | J | jnl |
J. Log. Program.
|
| 1992 | — | conf |
PARLE
|
| 1992 | — | conf |
SPDP
|
| 1992 | J | jnl |
Inf. Process. Lett.
|
| 1992 | — | conf |
IJCSLP Workshop on Concurrent and Parallel Implementations
|
| 1992 | — | conf |
FGCS
|
| 1991 | — | conf |
ICLP Workshop on Parallel Execution of Logic Programs
|
| 1991 | — | conf |
ISLP
|
| 1991 | — | ed. |
ICLP Workshop on Parallel Execution of Logic Programs
|
| 1990 | — | conf |
ICPP (3)
|
| 1990 | — | conf |
NACLP
|
| 1990 | — | conf |
NACLP
|
| 1989 | — | conf |
NACLP
|
| 1989 | J | jnl |
IEEE Trans. Software Eng.
|
| 1988 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 1986 | — | conf |
Graph Reduction
|