×

Theory and Practice of Logic Programming

Short Title: Theory Pract. Log. Program.
Publisher: Cambridge University Press, Cambridge
ISSN: 1471-0684; 1475-3081/e
Online: https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/all-issues
Comments: Journal
Documents Indexed: 780 Publications (since 2001)
References Indexed: 611 Publications with 20,299 References.
all top 5

Latest Issues

24, No. 3 (2024)
24, No. 2 (2024)
24, No. 1 (2024)
23, No. 6 (2023)
23, No. 5 (2023)
23, No. 4 (2023)
23, No. 3 (2023)
23, No. 2 (2023)
23, No. 1 (2023)
22, No. 6 (2022)
22, No. 5 (2022)
22, No. 4 (2022)
22, No. 3 (2022)
22, No. 2 (2022)
22, No. 1 (2022)
21, No. 6 (2021)
21, No. 5 (2021)
21, No. 4 (2021)
21, No. 3 (2021)
21, No. 2 (2021)
21, No. 1 (2021)
20, No. 6 (2020)
20, No. 5 (2020)
20, No. 4 (2020)
20, No. 3 (2020)
20, No. 2 (2020)
20, No. 1 (2020)
19, No. 5-6 (2019)
19, No. 4 (2019)
19, No. 3 (2019)
19, No. 2 (2019)
19, No. 1 (2019)
18, No. 5-6 (2018)
18, No. 3-4 (2018)
18, No. 2 (2018)
18, No. 1 (2018)
17, No. 5-6 (2017)
17, No. 4 (2017)
17, No. 3 (2017)
17, No. 2 (2017)
17, No. 1 (2017)
16, No. 5-6 (2016)
16, No. 4 (2016)
16, No. 3 (2016)
16, No. 2 (2016)
16, No. 1 (2016)
15, No. 6 (2015)
15, No. 4-5 (2015)
15, No. 3 (2015)
15, No. 2 (2015)
15, No. 1 (2015)
14, No. 6 (2014)
14, No. 4-5 (2014)
14, No. 3 (2014)
14, No. 2 (2014)
14, No. 1 (2014)
13, No. 6 (2013)
13, No. 4-5 (2013)
13, No. 3 (2013)
13, No. 2 (2013)
13, No. 1 (2013)
12, No. 6 (2012)
12, No. 4-5 (2012)
12, No. 3 (2012)
12, No. 1-2 (2012)
11, No. 6 (2011)
11, No. 4-5 (2011)
11, No. 2-3 (2011)
11, No. 1 (2011)
10, No. 4-6 (2010)
10, No. 3 (2010)
10, No. 2 (2010)
10, No. 1 (2010)
9, No. 6 (2009)
9, No. 5 (2009)
9, No. 4 (2009)
9, No. 3 (2009)
9, No. 2 (2009)
9, No. 1 (2009)
8, No. 5-6 (2008)
8, No. 4 (2008)
8, No. 3 (2008)
8, No. 2 (2008)
8, No. 1 (2008)
7, No. 6 (2007)
7, No. 5 (2007)
7, No. 4 (2007)
7, No. 3 (2007)
7, No. 1-2 (2007)
6, No. 6 (2006)
6, No. 5 (2006)
6, No. 4 (2006)
6, No. 3 (2006)
6, No. 1-2 (2006)
5, No. 6 (2005)
5, No. 4-5 (2005)
5, No. 3 (2005)
5, No. 1-2 (2005)
4, No. 5-6 (2004)
4, No. 4 (2004)
...and 16 more Volumes
all top 5

Authors

32 Schaub, Torsten H.
22 Eiter, Thomas
21 Alviano, Mario
19 Lifschitz, Vladimir
19 Ricca, Francesco
18 Dodaro, Carmine
18 Fandinno, Jorge
18 Pontelli, Enrico
17 Cabalar, Pedro
17 Hermenegildo, Manuel V.
17 Leone, Nicola
17 Lierler, Yuliya
16 Faber, Wolfgang
16 Woltran, Stefan
15 Truszczyński, Mirosław
13 Gebser, Martin
13 Rocha, Ricardo
13 Schrijvers, Tom
12 Denecker, Marc
12 Maratea, Marco
11 Bruynooghe, Maurice
11 Erdem, Esra
11 Gupta, Gopal
11 Maher, Michael J.
11 Manna, Marco
11 Riguzzi, Fabrizio
10 Balduccini, Marcello
10 Bogaerts, Bart
10 Carro, Manuel
10 Demoen, Bart
10 Greco, Sergio
10 Kaminski, Roland
10 Lee, Joohyung
10 Morales, Jose Francisco
10 Stuckey, Peter James
9 Dovier, Agostino
9 Frühwirth, Thom
9 Pettorossi, Alberto
9 Proietti, Maurizio
9 Swift, Terrance
9 Tompits, Hans
9 Vennekens, Joost
9 Wielemaker, Jan
9 You, Jia-Huai
8 Santos Costa, Vítor
8 De Raedt, Luc
8 Fink, Michael
8 Formisano, Andrea
8 Janhunen, Tomi
8 King, Andy
8 Son, Tran Cao
8 Trubitsyna, Irina
7 Drabent, Włodzimierz
7 Fioravanti, Fabio
7 Gelfond, Michael
7 Harrison, Amelia
7 Janssens, Gerda
7 Leite, João
7 Perri, Simona
7 Russo, Alessandra M.
7 Zangari, Jessica
7 Zhou, Neng-Fa
6 Albert, Elvira
6 Bagnara, Roberto
6 Calimeri, Francesco
6 Codish, Michael
6 De Angelis, Emanuele
6 De Schreye, Danny
6 Diéguez, Martín
6 Garcia de la Banda, Maria
6 Inclezan, Daniela
6 Lamma, Evelina
6 Mesnard, Fred
6 Oetsch, Johannes
6 Sato, Taisuke
6 Zaniolo, Carlo
5 Alpuente, María
5 Amendola, Giovanni
5 Antoniou, Grigoris
5 Baral, Chitta R.
5 Bellodi, Elena
5 Charalambidis, Angelos
5 Costantini, Stefania
5 Gabbrielli, Maurizio
5 Gallagher, John P.
5 Gavanelli, Marco
5 Giordano, Laura
5 Gottlob, Georg
5 Haemmerlé, Rémy
5 Hill, Patricia M.
5 Kimmig, Angelika
5 Leuschel, Michael
5 López-García, Pedro
5 Morak, Michael
5 Osorio Galindo, Mauricio
5 Ostrowski, Max
5 Peñaloza, Rafael
5 Rodríguez-Artalejo, Mario
5 Schachte, Peter
5 Schekotihin, Konstantin
...and 924 more Authors

Publications by Year

Citations contained in zbMATH Open

558 Publications have been cited 3,709 times in 1,706 Documents Cited by Year
Defeasible logic programming: An argumentative approach. Zbl 1090.68015
García, Alejandro J.; Simari, Guillermo R.
107
2004
Answer sets for consistent query answering in inconsistent databases. Zbl 1079.68026
Arenas, Marcelo; Bertossi, Leopoldo; Chomicki, Jan
75
2003
Multi-shot ASP solving with clingo. Zbl 1486.68027
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten
72
2019
Inference and learning in probabilistic logic programs using weighted Boolean formulas. Zbl 1379.68062
Fierens, Daan; Van den Broeck, Guy; Renkens, Joris; Shterionov, Dimitar; Gutmann, Bernd; Thon, Ingo; Janssens, Gerda; De Raedt, Luc
64
2015
ASP-Core-2 input language format. Zbl 1472.68180
Calimeri, Francesco; Faber, Wolfgang; Gebser, Martin; Ianni, Giovambattista; Kaminski, Roland; Krennwallner, Thomas; Leone, Nicola; Maratea, Marco; Ricca, Francesco; Schaub, Torsten
58
2020
SWI-Prolog. Zbl 1244.68023
Wielemaker, Jan; Schrijvers, Tom; Triska, Markus; Lager, Torbjörn
53
2012
Well-founded and stable semantics of logic programs with aggregates. Zbl 1111.68070
Pelov, Nikolay; Denecker, Marc; Bruynooghe, Maurice
48
2007
Probabilistic reasoning with answer sets. Zbl 1170.68003
Baral, Chitta; Gelfond, Michael; Rushton, Nelson
47
2009
An overview of Ciao and its design philosophy. Zbl 1244.68019
Hermenegildo, M. V.; Bueno, F.; Carro, M.; López-García, P.; Mera, E.; Morales, J. F.; Puebla, G.
44
2012
Strong equivalence made easy: nested expressions and weight constraints. Zbl 1079.68017
Turner, Hudson
42
2003
XSB: extending Prolog with tabled logic programming. Zbl 1244.68021
Swift, Terrance; Warren, David S.
40
2012
Weight constraints as nested expressions. Zbl 1093.68017
Ferraris, Paolo; Lifschitz, Vladimir
38
2005
Tight logic programs. Zbl 1079.68014
Erdem, Esra; Lifschitz, Vladimir
35
2003
Propositional theories are strongly equivalent to logic programs. Zbl 1132.68321
Cabalar, Pedro; Ferraris, Paolo
35
2007
Abstract gringo. Zbl 1379.68031
Gebser, Martin; Harrison, Amelia; Kaminski, Roland; Lifschitz, Vladimir; Schaub, Torsten
34
2015
The PITA system: tabling and answer subsumption for reasoning under uncertainty. Zbl 1218.68169
Riguzzi, Fabrizio; Swift, Terrance
28
2011
A constructive semantic characterization of aggregates in answer set programming. Zbl 1111.68072
Son, Tran Cao; Pontelli, Enrico
28
2007
Justifications for logic programs under answer set semantics. Zbl 1170.68005
Pontelli, Enrico; Son, Tran Cao; Elkhatib, Omar
28
2009
CP-logic: A language of causal probabilistic events and its relation to logic programming. Zbl 1179.68025
Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice
26
2009
On the implementation of the probabilistic logic programming language ProbLog. Zbl 1220.68037
Kimmig, Angelika; Demoen, Bart; De Raedt, Luc; Costa, Vítor Santos; Rocha, Ricardo
26
2011
The YAP prolog system. Zbl 1244.68017
Costa, Vítor Santos; Rocha, Ricardo; Damas, Luís
25
2012
Complex optimization in answer set programming. Zbl 1222.68059
Gebser, Martin; Kaminski, Roland; Schaub, Torsten
23
2011
Diagnostic reasoning with A-prolog. Zbl 1079.68094
Balduccini, Marcello; Gelfond, Michael
23
2003
Team-building with answer set programming in the Gioia-Tauro seaport. Zbl 1250.90050
Ricca, F.; Grasso, G.; Alviano, M.; Manna, M.; Lio, V.; Iiritano, S.; Leone, N.
23
2012
Vicious circle principle and logic programs with aggregates. Zbl 1309.68032
Gelfond, Michael; Zhang, Yuanlin
22
2014
A common view on strong, uniform, and other notions of equivalence in answer-set programming. Zbl 1140.68360
Woltran, Stefan
20
2008
Design and implementation of aggregate functions in the DLV system. Zbl 1156.68010
Faber, Wolfgang; Pfeifer, Gerald; Leone, Nicola; Dell’Armi, Tina; Ielpa, Giuseppe
20
2008
claspfolio 2: advances in algorithm selection for answer set programming. Zbl 1307.68016
Hoos, Holger; Lindauer, Marius; Schaub, Torsten
20
2014
On properties of update sequences based on causal rejection. Zbl 1105.68326
Eiter, Thomas; Fink, Michael; Sabbatini, Giuliana; Tompits, Hans
19
2002
An abductive framework for computing knowledge base updates. Zbl 1085.68545
Sakama, Chiaki; Inoue, Katsumi
18
2003
Catching the Ouroboros: on debugging non-ground answer-set programs. Zbl 1213.68182
Oetsch, Johannes; Pührer, Jörg; Tompits, Hans
17
2010
ASP modulo CSP: the clingcon system. Zbl 1260.68066
Ostrowski, Max; Schaub, Torsten
17
2012
Achieving compositionality of the stable model semantics for SMODELS programs. Zbl 1156.68012
Oikarinen, Emilia; Janhunen, Tomi
17
2008
Detecting inconsistencies in large biological networks with answer set programming. Zbl 1220.68036
Gebser, Martin; Schaub, Torsten; Thiele, Sven; Veber, Philippe
17
2011
Structure learning of probabilistic logic programs by searching the clause space. Zbl 1379.68269
Bellodi, Elena; Riguzzi, Fabrizio
17
2015
Justifying answer sets using argumentation. Zbl 1379.68301
Schulz, Claudia; Toni, Francesca
17
2016
Constraint answer set programming without grounding. Zbl 1451.68063
Arias, Joaquin; Carro, Manuel; Salazar, Elmer; Marple, Kyle; Gupta, Gopal
17
2018
Combining answer set programming and domain heuristics for solving hard industrial problems (application paper). Zbl 1379.68281
Dodaro, Carmine; Gasteiger, Philip; Leone, Nicola; Musitsch, Benjamin; Ricca, Francesco; Shchekotykhin, Kostyantyn
17
2016
Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics. Zbl 1267.68084
Riguzzi, Fabrizio; Swift, Terrance
16
2013
Transformation-based bottom-up computation of the well-founded model. Zbl 1105.68322
Brass, Stefan; Dix, Jürgen; Freitag, Burkhard; Zukowski, Ulrich
16
2001
As time goes by: constraint handling rules. Zbl 1186.68096
Sneyers, Jon; van Weert, Peter; Schrijvers, Tom; de Koninck, Leslie
16
2010
Causal graph justifications of logic programs. Zbl 1309.68028
Cabalar, Pedro; Fandinno, Jorge; Fink, Michael
16
2014
Clingo goes linear constraints over reals and integers. Zbl 1422.68024
Janhunen, Tomi; Kaminski, Roland; Ostrowski, Max; Schellhorn, Sebastian; Wanko, Philipp; Schaub, Torsten
16
2017
Solving Horn clauses on inductive data types without induction. Zbl 1451.68172
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
16
2018
Anytime answer set optimization via unsatisfiable core shrinking. Zbl 1379.68033
Alviano, Mario; Dodaro, Carmine
16
2016
Iterative learning of answer set programs from context dependent examples. Zbl 1379.68074
Law, Mark; Russo, Alessandra; Broda, Krysia
16
2016
Logic programs with monotone abstract constraint atoms. Zbl 1142.68018
Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław
15
2008
Anytime computation of cautious consequences in answer set programming. Zbl 1307.68012
Alviano, Mario; Dodaro, Carmine; Ricca, Francesco
15
2014
An interactive semantics of logic programming. Zbl 1066.68512
Bruni, Roberto; Montanari, Ugo; Rossi, Francesca
15
2001
A framework for compiling preferences in logic programs. Zbl 1105.68323
Delgrande, James P.; Schaub, Torsten; Tompits, Hans
15
2003
Logic program specialisation through partial deduction: Control issues. Zbl 1105.68331
Leuschel, Michael; Bruynooghe, Maurice
15
2002
Set unification. Zbl 1108.68104
Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco
15
2006
The Seventh Answer Set Programming Competition: design and results. Zbl 1472.68026
Gebser, Martin; Maratea, Marco; Ricca, Francesco
15
2020
clingcon: the next generation. Zbl 1379.68040
Banbara, Mutsunori; Kaufmann, Benjamin; Ostrowski, Max; Schaub, Torsten
15
2017
FLUX: a logic programming method for reasoning agents. Zbl 1105.68333
Thielscher, Michael
14
2005
Rewriting recursive aggregates in answer set programming: back to monotonicity. Zbl 1379.68034
Alviano, Mario; Faber, Wolfgang; Gebser, Martin
14
2015
The language features and architecture of B-Prolog. Zbl 1244.68024
Zhou, Neng-Fa
14
2012
Propositional defeasible logic has linear complexity. Zbl 1066.68530
Maher, Michael J.
13
2001
Characterization of strongly equivalent logic programs in intermediate logics. Zbl 1069.68538
de Jongh, Dick H. J.; Hendriks, Lex
13
2003
Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming. Zbl 1120.68101
Tu, Phan Huy; Son, Tran Cao; Baral, Chitta
13
2007
SUNNY: a lazy portfolio approach for constraint solving. Zbl 1307.68077
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
13
2014
Equivalence-checking on infinite-state systems: techniques and results. Zbl 1101.68700
Kučera, Antonín; Jančar, Petr
13
2006
Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3. Zbl 1379.68279
Bruynooghe, Maurice; Blockeel, Hendrik; Bogaerts, Bart; De Cat, Broes; De Pooter, Stef; Jansen, Joachim; Labarre, Anthony; Ramon, Jan; Denecker, Marc; Verwer, Sicco
13
2015
{ASPeRiX}, a first-order forward chaining approach for answer set computing. Zbl 1379.68075
Lefèvre, Claire; Béatrix, Christopher; Stéphan, Igor; Garcia, Laurent
13
2017
\(\text{ECL}^{\text{i}}\text{PS}^{\text{e}}\) – from LP to CLP. Zbl 1244.68020
Schimpf, Joachim; Shen, Kish
13
2012
The magic of logical inference in probabilistic programming. Zbl 1222.68060
Gutmann, Bernd; Thon, Ingo; Kimmig, Angelika; Bruynooghe, Maurice; De Raedt, Luc
12
2011
Answer set programming as a modeling language for course timetabling. Zbl 1286.68040
Banbara, Mutsunori; Soh, Takehide; Tamura, Naoyuki; Inoue, Katsumi; Schaub, Torsten
12
2013
Conflict-driven ASP solving with external sources. Zbl 1260.68060
Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph
12
2012
Specialization of functional logic programs based on needed narrowing. Zbl 1092.68018
Alpuente, María; Lucas, Salvador; Vidal, Germán; Hanus, Michael
12
2005
Bounded LTL model checking with stable models. Zbl 1079.68058
Heljanko, Keijo; Niemelä, Ilkka
12
2003
Epistemic foundation of stable model semantics. Zbl 1110.68070
Loyer, Yann; Straccia, Umberto
12
2006
Planning with preferences using logic programming. Zbl 1122.68030
Son, Tran Cao; Pontelli, Enrico
12
2006
Temporal answer set programming on finite traces. Zbl 1451.68256
Cabalar, Pedro; Kaminski, Roland; Schaub, Torsten; Schuhmann, Anna
12
2018
Answering the “why” in answer set programming – a survey of explanation approaches. Zbl 1486.68026
Fandinno, Jorge; Schulz, Claudia
12
2019
Characterising equilibrium logic and nested logic programs: Reductions and complexity. Zbl 1186.68100
Pearce, David; Tompits, Hans; Woltran, Stefan
11
2009
Minimum model semantics for extensional higher-order logic programming with negation. Zbl 1309.68030
Charalambidis, Angelos; Ésik, Zoltán; Rondogiannis, Panos
11
2014
Abstract answer set solvers with backjumping and learning. Zbl 1220.68038
Lierler, Yuliya
11
2011
Control-flow refinement by partial evaluation, and its application to termination and cost analysis. Zbl 1434.68104
Doménech, Jesús J.; Gallagher, John P.; Genaim, Samir
11
2019
State space computation and analysis of time Petri nets. Zbl 1104.68071
Gardey, Guillaume; Roux, Olivier H.; Roux, Olivier F.
11
2006
Generating explanations for biomedical queries. Zbl 1379.68059
Erdem, Esra; Oztok, Umut
11
2015
A model building framework for answer set programming with external computations. Zbl 1379.68058
Eiter, Thomas; Fink, Michael; Ianni, Giovambattista; Krennwallner, Thomas; Redl, Christoph; Schüller, Peter
11
2016
SICStus Prolog – the first 25 years. Zbl 1244.68016
Carlsson, Mats; Mildner, Per
11
2012
Theory of finite or infinite trees revisited. Zbl 1148.68043
Djelloul, Khalil; Dao, Thi-Bich-Hanh; Frühwirth, Thom
10
2008
Abduction in well-founded semantics and generalized stable models via tabled dual programs. Zbl 1090.68014
Alferes, José Júlio; Pereira, Luíz Moniz; Swift, Terrance
10
2004
Disjunctive logic programs with inheritance. Zbl 1087.68527
Buccafurri, Francesco; Faber, Wolfgang; Leone, Nicola
10
2002
Logic programming with satisfiability. Zbl 1128.68014
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
10
2008
Computing \(\mathrm{LP}^{\mathrm{MLN}}\) using ASP and MLN solvers. Zbl 1422.68026
Lee, Joohyung; Talsania, Samidh; Wang, Yi
10
2017
A probabilistic logic programming event calculus. Zbl 1379.68305
Skarlatidis, Anastasios; Artikis, Alexander; Filippou, Jason; Paliouras, Georgios
10
2015
Learning weak constraints in answer set programming. Zbl 1379.68073
Law, Mark; Russo, Alessandra; Broda, Krysia
10
2015
Exploiting answer set programming with external sources for meta-interpretive learning. Zbl 1451.68064
Kaminski, Tobias; Eiter, Thomas; Inoue, Katsumi
10
2018
Constraint answer set solver {ezcsp} and why integration schemas matter. Zbl 1379.68038
Balduccini, Marcello; Lierler, Yuliya
10
2017
Preferred extensions as stable models. Zbl 1148.68012
Nieves, Juan Carlos; Cortés, Ulises; Osorio, Mauricio
9
2008
SWI-Prolog and the web. Zbl 1139.68012
Wielemaker, Jan; Huang, Zhisheng; van der Meij, Lourens
9
2008
A translational approach to constraint answer set solving. Zbl 1209.68511
Drescher, Christian; Walsh, Toby
9
2010
Resource usage analysis of logic programs via abstract interpretation using sized types. Zbl 1307.68022
Serrano, A.; Lopez-Garcia, P.; Hermenegildo, M. V.
9
2014
Compiling finite domain constraints to SAT with BEE. Zbl 1260.68081
Metodi, Amit; Codish, Michael
9
2012
Inference in probabilistic logic programs with continuous random variables. Zbl 1260.68063
Islam, Muhammad Asiful; Ramakrishnan, C. R.; Ramakrishnan, I. V.
9
2012
ASP with non-Herbrand partial functions: a language and system for practical use. Zbl 1286.68039
Balduccini, Marcello
9
2013
Finding similar/diverse solutions in answer set programming. Zbl 1266.68081
Eiter, Thomas; Erdem, Esra; Erdogan, Halit; Fink, Michael
9
2013
Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications. Zbl 1109.68028
Eiter, Thomas; Polleres, Axel
9
2006
Forgetting in answer set programming – a survey. Zbl 07984735
Gonçalves, Ricardo; Knorr, Matthias; Leite, João
1
2023
External behavior of a logic program and verification of refactoring. Zbl 07984771
Fandinno, Jorge; Hansen, Zachary; Lierler, Yuliya; Lifschitz, Vladimir; Temple, Nathan
1
2023
Analysis and transformation of constrained Horn clauses for program verification. Zbl 1541.68215
De Angelis, Emanuele; Fioravanti, Fabio; Gallagher, John P.; Hermenegildo, Manuel V.; Pettorossi, Alberto; Proietti, Maurizio
4
2022
Efficient knowledge compilation beyond weighted model counting. Zbl 1541.68070
Kiesel, Rafael; Totis, Pietro; Kimmig, Angelika
3
2022
Strong equivalence of logic programs with counting. Zbl 1541.68073
Lifschitz, Vladimir
3
2022
An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases. Zbl 1541.68351
Giordano, Laura; Theseider Dupré, Daniele
3
2022
Problem decomposition and multi-shot ASP solving for job-shop scheduling. Zbl 1541.90146
El-Kholany, Mohammed M. S.; Gebser, Martin; Schekotihin, Konstantin
3
2022
Exploiting database management systems and treewidth for counting. Zbl 1530.68067
Fichte, Johannes K.; Hecher, Markus; Thier, Patrick; Woltran, Stefan
3
2022
Alternating fixpoint operator for hybrid MKNF knowledge bases as an approximator of AFT. Zbl 1530.68253
Liu, Fangfang; You, Jia-Huai
3
2022
Thirty years of epistemic specifications. Zbl 1541.68348
Fandinno, Jorge; Faber, Wolfgang; Gelfond, Michael
3
2022
Verifying catamorphism-based contracts using constrained Horn clauses. Zbl 1541.68103
De Angelis, Emanuele; Proietti, Maurizio; Fioravanti, Fabio; Pettorossi, Alberto
2
2022
On correctness and completeness of an \(n\) queens program. Zbl 1530.68054
Drabent, Włodzimierz
2
2022
Modeling and reasoning in event calculus using goal-directed constraint answer set programming. Zbl 1530.68242
Arias, Joaquín; Carro, Manuel; Chen, Zhuo; Gupta, Gopal
2
2022
Fifty years of Prolog and beyond. Zbl 1541.68071
Körner, Philipp; Leuschel, Michael; Barbosa, João; Santos Costa, Vítor; Dahl, Verónica; Hermenegildo, Manuel V.; Morales, Jose F.; Wielemaker, Jan; Diaz, Daniel; Abreu, Salvador; Ciatto, Giovanni
2
2022
Introduction to the 38th international conference on logic programming special issue. Zbl 1541.68013
1
2022
Analyzing semantics of aggregate answer set programming using approximation fixpoint theory. Zbl 1541.68078
Vanbesien, Linde; Bruynooghe, Maurice; Denecker, Marc
1
2022
On nested justification systems. Zbl 1541.68362
Marynissen, Simon; Heyninck, Jesse; Bogaerts, Bart; Denecker, Marc
1
2022
Strong equivalence of logic programs with ordered disjunction: a logical perspective. Zbl 1541.68066
Charalambidis, Angelos; Nomikos, Christos; Rondogiannis, Panos
1
2022
Efficient TBox reasoning with value restrictions using the \(\mathcal{FL}_0 \mathit{wer}\) reasoner. Zbl 1530.68243
Baader, Franz; Koopmann, Patrick; Michel, Friedrich; Turhan, Anni-Yasmin; Zarriess, Benjamin
1
2022
Temporal minimal-world query answering over sparse ABoxes. Zbl 1530.68250
Borgwardt, Stefan; Forkel, Walter; Kovtunova, Alisa
1
2022
An ASP-based approach to answering natural language questions for texts. Zbl 1530.68258
Pendharkar, Dhruva; Basu, Kinjal; Shakerin, Farhad; Gupta, Gopal
1
2022
Introduction to the collection of papers celebrating the 20th anniversary of TPLP. Zbl 1530.68022
1
2022
Train scheduling with hybrid answer set programming. Zbl 1522.68095
Abels, Dirk; Jordi, Julian; Ostrowski, Max; Schaub, Torsten; Toletti, Ambra; Wanko, Philipp
5
2021
A logical characterization of the preferred models of logic programs with ordered disjunction. Zbl 1522.68106
Charalambidis, Angelos; Rondogiannis, Panos; Troumpoukis, Antonis
4
2021
An asymptotic analysis of probabilistic logic programming, with implications for expressing projective families of distributions. Zbl 1530.68061
Weitkämper, Felix Q.
4
2021
Incremental and modular context-sensitive analysis. Zbl 1472.68035
Garcia-Contreras, Isabel; Morales, José F.; Hermenegildo, Manuel V.
3
2021
Splitting epistemic logic programs. Zbl 1522.68104
Cabalar, Pedro; Fandinno, Jorge; Fariñas del Cerro, Luis
3
2021
Utilizing treewidth for quantitative reasoning on epistemic logic programs. Zbl 1522.68100
Besin, Viktor; Hecher, Markus; Woltran, Stefan
3
2021
Reasoning on multirelational contextual hierarchies via answer set programming with algebraic measures. Zbl 1522.68101
Bozzato, Loris; Eiter, Thomas; Kiesel, Rafael
3
2021
Solution enumeration by optimality in answer set programming. Zbl 1530.68058
Pajunen, Jukka; Janhunen, Tomi
3
2021
Planning with incomplete information in quantified answer set programming. Zbl 1522.68514
Fandinno, Jorge; Laferriere, Francois; Romero, Javier; Schaub, Torsten; Son, Tran Cao
3
2021
Backjumping is exception handling. Zbl 1472.68028
Robbins, Ed; King, Andy; Howe, Jacob M.
2
2021
Omission-based abstraction for answer set programs. Zbl 1472.68029
Saribatur, Zeynep G.; Eiter, Thomas
2
2021
Determining action reversibility in STRIPS using answer set and epistemic logic programming. Zbl 1522.68110
Faber, Wolfgang; Morak, Michael; Chrpa, Lukáš
2
2021
Manipulation of articulated objects using dual-arm robots via answer set programming. Zbl 1522.68595
Bertolucci, Riccardo; Capitanelli, Alessio; Dodaro, Carmine; Leone, Nicola; Maratea, Marco; Mastrogiovanni, Fulvio; Vallati, Mauro
1
2021
Modal logic S5 satisfiability in answer set programming. Zbl 1522.68714
Alviano, Mario; Batsakis, Sotiris; Baryannis, George
1
2021
Optimizing probabilities in probabilistic logic programs. Zbl 1522.68097
Azzolini, Damiano; Riguzzi, Fabrizio
1
2021
Nonground abductive logic programming with probabilistic integrity constraints. Zbl 1522.68099
Bellodi, Elena; Gavanelli, Marco; Zese, Riccardo; Lamma, Evelina; Riguzzi, Fabrizio
1
2021
Exploring the jungle of intuitionistic temporal logics. Zbl 1539.03068
Boudou, Joseph; Diéguez, Martín; Fernández-Duque, David; Kremer, Philip
1
2021
Completing the picture: complexity of graded modal logics with converse. Zbl 1529.68115
Bednarczyk, Bartosz; Kieroński, Emanuel; Witkowski, Piotr
1
2021
Here and there with arithmetic. Zbl 1530.68248
Lifschitz, Vladimir
1
2021
VeriFly: on-the-fly assertion checking via incrementality. Zbl 1530.68059
Sanchez-Ordaz, Miguel A.; Garcia-Contreras, Isabel; Perez, Victor; Morales, José F.; Lopez-Garcia, Pedro; Hermenegildo, Manuel V.
1
2021
ASP-Core-2 input language format. Zbl 1472.68180
Calimeri, Francesco; Faber, Wolfgang; Gebser, Martin; Ianni, Giovambattista; Kaminski, Roland; Krennwallner, Thomas; Leone, Nicola; Maratea, Marco; Ricca, Francesco; Schaub, Torsten
58
2020
The Seventh Answer Set Programming Competition: design and results. Zbl 1472.68026
Gebser, Martin; Maratea, Marco; Ricca, Francesco
15
2020
Verifying tight logic programs with anthem and vampire. Zbl 1468.68127
Fandinno, Jorge; Lifschitz, Vladimir; Lühne, Patrick; Schaub, Torsten
9
2020
Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers. Zbl 1472.68179
Calimeri, Francesco; Dodaro, Carmine; Fuscà, Davide; Perri, Simona; Zangari, Jessica
8
2020
On the semantics of abstract argumentation frameworks: a logic programming approach. Zbl 1468.68211
Alfano, Gianvincenzo; Greco, Sergio; Parisi, Francesco; Trubitsyna, Irina
8
2020
Towards metric temporal answer set programming. Zbl 1468.68052
Cabalar, Pedro; Diéguez, Martín; Schaub, Torsten; Schuhmann, Anna
8
2020
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL. Zbl 1468.68212
Giordano, Laura; Theseider Dupré, Daniele
7
2020
selp: a single-shot epistemic logic program solver. Zbl 1472.68022
Bichler, Manuel; Morak, Michael; Woltran, Stefan
6
2020
The external interface for extending WASP. Zbl 1472.68183
Dodaro, Carmine; Ricca, Francesco
6
2020
Flexible coinductive logic programming. Zbl 1468.68054
Dagnino, Francesco; Ancona, Davide; Zucca, Elena
6
2020
A comparative study of some central notions of \(\mathit{ASPIC}^+\) and DeLP. Zbl 1472.68189
García, Alejandro J.; Prakken, Henry; Simari, Guillermo R.
5
2020
Solving advanced argumentation problems with answer set programming. Zbl 1472.68186
Brewka, Gerhard; Diller, Martin; Heissenberger, Georg; Linsbichler, Thomas; Woltran, Stefan
5
2020
MAP inference for probabilistic logic programming. Zbl 1468.68051
Bellodi, Elena; Alberti, Marco; Riguzzi, Fabrizio; Zese, Riccardo
5
2020
eclingo: a solver for epistemic logic programs. Zbl 1468.68053
Cabalar, Pedro; Fandinno, Jorge; Garea, Javier; Romero, Javier; Schaub, Torsten
5
2020
Modular answer set programming as a formal specification language. Zbl 1468.68119
Cabalar, Pedro; Fandinno, Jorge; Lierler, Yuliya
4
2020
Advancing lazy-grounding ASP solving techniques – restarts, phase saving, heuristics, and more. Zbl 1468.68228
Weinzierl, Antonius; Taupe, Richard; Friedrich, Gerhard
3
2020
Concolic testing in CLP. Zbl 1468.68055
Mesnard, Fred; Payet, Étienne; Vidal, Germán
3
2020
Exploiting game theory for analysing justifications. Zbl 1468.68214
Marynissen, Simon; Bogaerts, Bart; Denecker, Marc
3
2020
Implementing a library for probabilistic programming using non-strict non-determinism. Zbl 1434.68062
Dylus, Sandra; Christiansen, Jan; Teegen, Finn
3
2020
Rethinking defeasible reasoning: a scalable approach. Zbl 1472.68191
Maher, Michael J.; Tachmazidis, Ilias; Antoniou, Grigoris; Wade, Stephen; Cheng, Long
2
2020
Modelling multi-agent epistemic planning in ASP. Zbl 1468.68251
Burigana, Alessandro; Fabiano, Francesco; Dovier, Agostino; Pontelli, Enrico
2
2020
A generalised approach for encoding and reasoning with qualitative theories in answer set programming. Zbl 1468.68218
Baryannis, George; Tachmazidis, Ilias; Batsakis, Sotiris; Antoniou, Grigoris; Alviano, Mario; Papadakis, Emmanuel
2
2020
\(\mathrm{ASP}(\mathcal{AC})\): answer set programming with algebraic constraints. Zbl 1471.68047
Eiter, Thomas; Kiesel, Rafael
2
2020
The new normal: we cannot eliminate cuts in coinductive calculi, but we can explore them. Zbl 1477.03241
Komendantskaya, Ekaterina; Rozplokhas, Dmitry; Basold, Henning
2
2020
Human robot collaborative assembly planning: an answer set programming approach. Zbl 1457.68270
Rizwan, Momina; Patoglu, Volkan; Erdem, Esra
2
2020
In praise of impredicativity: a contribution to the formalization of meta-programming. Zbl 1434.68102
Bry, François
2
2020
A transformational approach to resource analysis with typed-norms inference. Zbl 1472.68033
Albert, Elvira; Genaim, Samir; Gutiérrez, Raúl; Martin-Martin, Enrique
1
2020
Boosting answer set optimization with weighted comparator networks. Zbl 1472.68023
Bomanson, Jori; Janhunen, Tomi
1
2020
Introduction to the 36th international conference on logic programming. Special issue I. Zbl 1468.68018
1
2020
A general framework for stable roommates problems using answer set programming. Zbl 1468.68197
Erdem, Esra; Fidan, Müge; Manlove, David; Prosser, Patrick
1
2020
Reasoning about cardinal directions between 3-dimensional extended objects using answer set programming. Zbl 1468.68224
Izmirlioglu, Yusuf; Erdem, Esra
1
2020
Explanation generation for multi-modal multi-agent path finding with optimal resource utilization using answer set programming. Zbl 1468.68192
Bogatarkan, Aysu; Erdem, Esra
1
2020
A logic framework for P2P deductive databases. Zbl 1434.68140
Caroprese, Luciano; Zumpano, Ester
1
2020
Compositional specification in rewriting logic. Zbl 1434.68301
Martín, Óscar; Verdejo, Alberto; Martí-Oliet, Narciso
1
2020
Multi-shot ASP solving with clingo. Zbl 1486.68027
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten
72
2019
Answering the “why” in answer set programming – a survey of explanation approaches. Zbl 1486.68026
Fandinno, Jorge; Schulz, Claudia
12
2019
Control-flow refinement by partial evaluation, and its application to termination and cost analysis. Zbl 1434.68104
Doménech, Jesús J.; Gallagher, John P.; Genaim, Samir
11
2019
A syntactic operator for forgetting that satisfies strong persistence. Zbl 1434.68561
Berthold, Matti; Gonçalves, Ricardo; Knorr, Matthias; Leite, João
8
2019
Optimizing answer set computation via heuristic-based decomposition. Zbl 1472.68024
Calimeri, Francesco; Perri, Simona; Zangari, Jessica
7
2019
Debugging non-ground ASP programs: technique and graphical tools. Zbl 1486.68025
Dodaro, Carmine; Gasteiger, Philip; Reale, Kristian; Ricca, Francesco; Schekotihin, Konstantin
7
2019
Resource analysis driven by (conditional) termination proofs. Zbl 1434.68101
Albert, Elvira; Bofill, Miquel; Borralleras, Cristina; Martin-Martin, Enrique; Rubio, Albert
6
2019
Founded (auto)epistemic equilibrium logic satisfies epistemic splitting. Zbl 1434.68557
Fandinno, Jorge
5
2019
plasp 3: towards effective ASP planning. Zbl 1472.68182
Dimopoulos, Yannis; Gebser, Martin; Lühne, Patrick; Romero, Javier; Schaub, Torsten
4
2019
About epistemic negation and world views in epistemic logic programs. Zbl 1434.68071
Constantini, Stefania
4
2019
On uniform equivalence of epistemic logic programs. Zbl 1434.68073
Faber, Wolfgang; Morak, Michael; Woltran, Stefan
4
2019
Beyond NP: quantifying over answer sets. Zbl 1434.68068
Amendola, Giovanni; Ricca, Francesco; Truszczynski, Miroslaw
3
2019
Anti-unification in constraint logic programming. Zbl 1434.68076
Yernaux, Gonzague; Vanhoof, Wim
3
2019
Revisiting explicit negation in answer set programming. Zbl 1434.68064
Aguado, Felicidad; Cabalar, Pedro; Fandinno, Jorge; Pearce, David; Péréz, Gilberto; Vidal, Concepción
3
2019
On the equivalence between abstract dialectical frameworks and logic programs. Zbl 1434.68553
Alcântara, João; Sá, Samy; Acosta-Guadarrama, Juan
3
2019
Domain-independent cost-optimal planning in ASP. Zbl 1434.68548
Spies, David; You, Jia-Huai; Hayward, Ryan
3
2019
Relating two dialects of answer set programming. Zbl 1434.68074
Harrison, Amelia; Lifschitz, Vladimir
3
2019
Using SWISH to realize interactive web-based tutorials for logic-based languages. Zbl 1486.68029
Wielemaker, Jan; Riguzzi, Fabrizio; Kowalski, Robert A.; Lager, Torbjörn; Sadri, Fariba; Calejo, Miguel
3
2019
Description, implementation, and evaluation of a generic design for tabled CLP. Zbl 1472.68021
Arias, Joaquín; Carro, Manuel
2
2019
Hybrid ASP-based approach to pattern mining. Zbl 1472.68152
Paramonov, Sergey; Stepanova, Daria; Miettinen, Pauli
2
2019
Enhancing magic sets with an application to ontological reasoning. Zbl 1434.68560
Alviano, Mario; Leone, Nicola; Veltri, Pierfrancesco; Zangari, Jessica
2
2019
Paracoherent answer set semantics meets argumentation frameworks. Zbl 1434.68554
Amendola, Giovanni; Ricca, Francesco
2
2019
Partial compilation of ASP programs. Zbl 1434.68072
Cuteri, Bernardo; Dodaro, Carmine; Ricca, Francesco; Schüller, Peter
2
2019
Inconsistency proofs for ASP: the ASP-DRUPE format. Zbl 1434.68065
Alviano, Mario; Dodaro, Carmine; Fichte, Johannes K.; Hecher, Markus; Philipp, Tobias; Rath, Jakob
2
2019
...and 458 more Documents
all top 5

Cited by 2,099 Authors

45 Schaub, Torsten H.
41 Woltran, Stefan
38 Eiter, Thomas
33 Cabalar, Pedro
29 Alviano, Mario
27 Dodaro, Carmine
27 Fandinno, Jorge
27 Gebser, Martin
27 Ricca, Francesco
27 Riguzzi, Fabrizio
26 Lierler, Yuliya
26 Simari, Guillermo Ricardo
25 Hermenegildo, Manuel V.
24 Lifschitz, Vladimir
21 Maratea, Marco
19 Faber, Wolfgang
18 Denecker, Marc
18 Pontelli, Enrico
17 Bogaerts, Bart
17 De Raedt, Luc
17 Janhunen, Tomi
17 Leone, Nicola
17 Schrijvers, Tom
17 Truszczyński, Mirosław
16 Morales, Jose Francisco
16 Pearce, David
15 Arieli, Ofer
15 Fink, Michael
15 Gupta, Gopal
15 Leite, João
15 Olarte, Carlos
14 Erdem, Esra
14 Greco, Sergio
14 You, Jia-Huai
13 Drabent, Włodzimierz
13 Gallagher, John P.
13 García, Alejandro Javier
13 Inoue, Katsumi
13 Kaminski, Roland
13 Lee, Joohyung
13 Pettorossi, Alberto
13 Proietti, Maurizio
12 De Angelis, Emanuele
12 De Cock, Martine
12 Fichte, Johannes Klaus
12 Fioravanti, Fabio
12 Governatori, Guido
12 Lamma, Evelina
12 López-García, Pedro
12 Nieves, Juan Carlos
12 Schockaert, Steven
11 Amendola, Giovanni
11 Bellodi, Elena
11 Gelfond, Michael
11 Giesl, Jürgen
11 Hunter, Anthony
11 Knorr, Matthias
11 Parisi, Francesco
11 Russo, Alessandra M.
11 Son, Tran Cao
11 Toni, Francesca
11 Vennekens, Joost
10 Alpuente, María
10 Amgoud, Leila
10 Balduccini, Marcello
10 Bertossi, Leopoldo E.
10 Demoen, Bart
10 Diéguez, Martín
10 Gonçalves, Ricardo
10 Hecher, Markus
10 Morak, Michael
10 Stuckey, Peter James
10 Vidal, Germán
10 Zese, Riccardo
9 Bruni, Roberto
9 Bruynooghe, Maurice
9 Calimeri, Francesco
9 Carro, Manuel
9 Fariñas del Cerro, Luis
9 Formisano, Andrea
9 Giordano, Laura
9 Krennwallner, Thomas
9 Law, Mark M.
9 Molinaro, Cristian
9 Romero, Javier
9 Sáenz-Pérez, Fernando
9 Shen, Yidong
9 Tompits, Hans
9 Trubitsyna, Irina
8 Antoniou, Grigoris
8 Baral, Chitta R.
8 Broda, Krysia B.
8 Charalambidis, Angelos
8 Cropper, Andrew
8 Escobar, Santiago
8 Falappa, Marcelo Alejandro
8 Gagliardi Cozman, Fabio
8 Harrison, Amelia
8 Osorio Galindo, Mauricio
8 Pérez, Gilberto
...and 1,999 more Authors
all top 5

Cited in 97 Journals

403 Theory and Practice of Logic Programming
149 Artificial Intelligence
80 Annals of Mathematics and Artificial Intelligence
79 International Journal of Approximate Reasoning
50 Theoretical Computer Science
38 Machine Learning
22 Journal of Applied Logic
21 Constraints
19 Journal of Automated Reasoning
19 Journal of Applied Non-Classical Logics
17 ACM Transactions on Computational Logic
15 Information and Computation
14 Fuzzy Sets and Systems
14 The Journal of Artificial Intelligence Research (JAIR)
11 Journal of Logical and Algebraic Methods in Programming
9 Fundamenta Informaticae
9 Logical Methods in Computer Science
8 Information Sciences
8 Journal of Computer and System Sciences
8 Mathematical Structures in Computer Science
8 Formal Methods in System Design
6 Information Processing Letters
6 Annals of Pure and Applied Logic
6 Formal Aspects of Computing
5 Studia Logica
5 New Generation Computing
5 Computers & Operations Research
5 Theory of Computing Systems
4 Journal of Philosophical Logic
4 Science of Computer Programming
4 Journal of Symbolic Computation
4 Journal of Functional Programming
4 Journal of the ACM
3 Acta Informatica
3 Discrete Mathematics
3 Annals of Operations Research
3 International Journal of Computer Mathematics
3 Top
3 Journal of Combinatorial Optimization
3 Higher-Order and Symbolic Computation
3 RAIRO. Operations Research
3 Computer Languages, Systems & Structures
3 Mathematics in Computer Science
2 Rendiconti dell’Istituto di Matematica dell’Università di Trieste
2 Synthese
2 Facta Universitatis. Series Mathematics and Informatics
2 AI Communications
2 Real-Time Systems
2 European Journal of Operational Research
2 Journal of Logic, Language and Information
2 The Journal of Logic and Algebraic Programming
2 Science in China. Series F
2 Frontiers of Computer Science
1 Computers & Mathematics with Applications
1 Mathematical Methods in the Applied Sciences
1 Mathematics of Computation
1 Bulletin of Mathematical Biology
1 Applied Mathematics and Computation
1 Computing
1 The Journal of Symbolic Logic
1 Journal of Computer Science and Technology
1 Algorithmica
1 International Journal of Intelligent Systems
1 International Journal of Algebra and Computation
1 International Journal of Foundations of Computer Science
1 Journal of Global Optimization
1 Discrete Event Dynamic Systems
1 Archive for Mathematical Logic
1 Indagationes Mathematicae. New Series
1 Applicable Algebra in Engineering, Communication and Computing
1 Computational Optimization and Applications
1 Journal of Computer and Systems Sciences International
1 The Electronic Journal of Combinatorics
1 INFORMS Journal on Computing
1 Mathematical Problems in Engineering
1 Soft Computing
1 Journal of Scheduling
1 Journal of the Royal Statistical Society. Series B. Statistical Methodology
1 Foundations of Science
1 Journal of Machine Learning Research (JMLR)
1 Quantum Information Processing
1 4OR
1 Journal of Multiple-Valued Logic and Soft Computing
1 ACM Journal of Experimental Algorithmics
1 Journal of Discrete Algorithms
1 International Journal of Semantic Computing
1 Nonlinear Analysis. Hybrid Systems
1 International Journal of Information Technology & Decision Making
1 Foundations and Trends in Databases
1 Science China. Information Sciences
1 Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM
1 Statistics and Computing
1 Decision Analysis
1 Journal of Theoretical Biology
1 Electronic Journal of Graph Theory and Applications
1 International Journal of Systems Science. Principles and Applications of Systems and Integration
1 Logicheskie Issledovaniya

Citations by Year