×

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: 708 Publications (since 2001)
References Indexed: 543 Publications with 17,233 References.
all top 5

Latest Issues

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)
4, No. 3 (2004)
4, No. 1-2 (2004)
3, No. 6 (2003)
3, No. 4-5 (2003)
3, No. 3 (2003)
3, No. 2 (2003)
3, No. 1 (2003)
2, No. 6 (2002)
2, No. 4-5 (2002)
...and 7 more Volumes
all top 5

Authors

26 Schaub, Torsten H.
19 Eiter, Thomas
18 Alviano, Mario
17 Hermenegildo, Manuel V.
17 Ricca, Francesco
16 Leone, Nicola
16 Lifschitz, Vladimir
16 Woltran, Stefan
15 Cabalar, Pedro
15 Pontelli, Enrico
14 Dodaro, Carmine
14 Fandinno, Jorge
14 Truszczyński, Mirosław
13 Faber, Wolfgang
13 Lierler, Yuliya
13 Rocha, Ricardo
12 Gebser, Martin
11 Bruynooghe, Maurice
11 Denecker, Marc
11 Erdem, Esra
11 Schrijvers, Tom
10 Carro, Manuel
10 Demoen, Bart
10 Gupta, Gopal
10 Lee, Joohyung
10 Manna, Marco
10 Morales, Jose Francisco
10 Riguzzi, Fabrizio
10 Stuckey, Peter James
9 Dovier, Agostino
9 Frühwirth, Thom
9 Greco, Sergio
9 Maher, Michael J.
9 Pettorossi, Alberto
9 Proietti, Maurizio
9 Swift, Terrance
9 Tompits, Hans
9 Wielemaker, Jan
9 You, Jia-Huai
8 Balduccini, Marcello
8 Santos Costa, Vítor
8 Fink, Michael
8 Kaminski, Roland
8 King, Andy
8 Maratea, Marco
8 Son, Tran Cao
7 Bogaerts, Bart
7 Fioravanti, Fabio
7 Formisano, Andrea
7 Harrison, Amelia
7 Janhunen, Tomi
7 Janssens, Gerda
7 Perri, Simona
7 Trubitsyna, Irina
7 Vennekens, Joost
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 Raedt, Luc
6 De Schreye, Danny
6 Drabent, Włodzimierz
6 Garcia de la Banda, Maria
6 Gelfond, Michael
6 Lamma, Evelina
6 Mesnard, Fred
6 Russo, Alessandra M.
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 Gabbrielli, Maurizio
5 Gallagher, John P.
5 Giordano, Laura
5 Haemmerlé, Rémy
5 Hill, Patricia M.
5 Leite, João
5 Leuschel, Michael
5 López-García, Pedro
5 Morak, Michael
5 Osorio, Mauricio A.
5 Ostrowski, Max
5 Rodríguez-Artalejo, Mario
5 Schachte, Peter
5 Schekotihin, Konstantin
5 Serebrenik, Alexander
5 Shen, Yidong
5 Søndergaard, Harald
5 Tarau, Paul
5 Theseider Dupré, Daniele
5 Vidal, Germán
4 Arias, Joaquin
4 de Cat, Broes
...and 836 more Authors

Publications by Year

Citations contained in zbMATH Open

542 Publications have been cited 3,381 times in 1,618 Documents Cited by Year
Defeasible logic programming: An argumentative approach. Zbl 1090.68015
García, Alejandro J.; Simari, Guillermo R.
109
2004
Answer sets for consistent query answering in inconsistent databases. Zbl 1079.68026
Arenas, Marcelo; Bertossi, Leopoldo; Chomicki, Jan
90
2003
Multi-shot ASP solving with clingo. Zbl 1486.68027
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten
64
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
58
2015
SWI-Prolog. Zbl 1244.68023
Wielemaker, Jan; Schrijvers, Tom; Triska, Markus; Lager, Torbjörn
49
2012
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
45
2020
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
Probabilistic reasoning with answer sets. Zbl 1170.68003
Baral, Chitta; Gelfond, Michael; Rushton, Nelson
44
2009
Well-founded and stable semantics of logic programs with aggregates. Zbl 1111.68070
Pelov, Nikolay; Denecker, Marc; Bruynooghe, Maurice
43
2007
Strong equivalence made easy: nested expressions and weight constraints. Zbl 1079.68017
Turner, Hudson
41
2003
XSB: extending Prolog with tabled logic programming. Zbl 1244.68021
Swift, Terrance; Warren, David S.
36
2012
Weight constraints as nested expressions. Zbl 1093.68017
Ferraris, Paolo; Lifschitz, Vladimir
35
2005
Tight logic programs. Zbl 1079.68014
Erdem, Esra; Lifschitz, Vladimir
33
2003
Propositional theories are strongly equivalent to logic programs. Zbl 1132.68321
Cabalar, Pedro; Ferraris, Paolo
32
2007
Abstract gringo. Zbl 1379.68031
Gebser, Martin; Harrison, Amelia; Kaminski, Roland; Lifschitz, Vladimir; Schaub, Torsten
28
2015
Justifications for logic programs under answer set semantics. Zbl 1170.68005
Pontelli, Enrico; Son, Tran Cao; Elkhatib, Omar
28
2009
A constructive semantic characterization of aggregates in answer set programming. Zbl 1111.68072
Son, Tran Cao; Pontelli, Enrico
27
2007
The PITA system: tabling and answer subsumption for reasoning under uncertainty. Zbl 1218.68169
Riguzzi, Fabrizio; Swift, Terrance
26
2011
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
25
2011
Vicious circle principle and logic programs with aggregates. Zbl 1309.68032
Gelfond, Michael; Zhang, Yuanlin
24
2014
The YAP prolog system. Zbl 1244.68017
Costa, Vítor Santos; Rocha, Ricardo; Damas, Luís
23
2012
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
Diagnostic reasoning with A-prolog. Zbl 1079.68094
Balduccini, Marcello; Gelfond, Michael
23
2003
CP-logic: A language of causal probabilistic events and its relation to logic programming. Zbl 1179.68025
Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice
23
2009
Structure learning of probabilistic logic programs by searching the clause space. Zbl 1379.68269
Bellodi, Elena; Riguzzi, Fabrizio
22
2015
Complex optimization in answer set programming. Zbl 1222.68059
Gebser, Martin; Kaminski, Roland; Schaub, Torsten
20
2011
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
19
2008
As time goes by: constraint handling rules. Zbl 1186.68096
Sneyers, Jon; van Weert, Peter; Schrijvers, Tom; de Koninck, Leslie
17
2010
Detecting inconsistencies in large biological networks with answer set programming. Zbl 1220.68036
Gebser, Martin; Schaub, Torsten; Thiele, Sven; Veber, Philippe
17
2011
Justifying answer sets using argumentation. Zbl 1379.68301
Schulz, Claudia; Toni, Francesca
17
2016
Anytime answer set optimization via unsatisfiable core shrinking. Zbl 1379.68033
Alviano, Mario; Dodaro, Carmine
17
2016
On properties of update sequences based on causal rejection. Zbl 1105.68326
Eiter, Thomas; Fink, Michael; Sabbatini, Giuliana; Tompits, Hans
17
2002
Catching the Ouroboros: on debugging non-ground answer-set programs. Zbl 1213.68182
Oetsch, Johannes; Pührer, Jörg; Tompits, Hans
16
2010
claspfolio 2: advances in algorithm selection for answer set programming. Zbl 1307.68016
Hoos, Holger; Lindauer, Marius; Schaub, Torsten
16
2014
An abductive framework for computing knowledge base updates. Zbl 1085.68545
Sakama, Chiaki; Inoue, Katsumi
16
2003
Constraint answer set programming without grounding. Zbl 1451.68063
Arias, Joaquin; Carro, Manuel; Salazar, Elmer; Marple, Kyle; Gupta, Gopal
16
2018
Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics. Zbl 1267.68084
Riguzzi, Fabrizio; Swift, Terrance
15
2013
FLUX: a logic programming method for reasoning agents. Zbl 1105.68333
Thielscher, Michael
15
2005
SUNNY: a lazy portfolio approach for constraint solving. Zbl 1307.68077
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
15
2014
Causal graph justifications of logic programs. Zbl 1309.68028
Cabalar, Pedro; Fandinno, Jorge; Fink, Michael
15
2014
Anytime computation of cautious consequences in answer set programming. Zbl 1307.68012
Alviano, Mario; Dodaro, Carmine; Ricca, Francesco
15
2014
Achieving compositionality of the stable model semantics for SMODELS programs. Zbl 1156.68012
Oikarinen, Emilia; Janhunen, Tomi
15
2008
Iterative learning of answer set programs from context dependent examples. Zbl 1379.68074
Law, Mark; Russo, Alessandra; Broda, Krysia
15
2016
Logic program specialisation through partial deduction: Control issues. Zbl 1105.68331
Leuschel, Michael; Bruynooghe, Maurice
15
2002
Transformation-based bottom-up computation of the well-founded model. Zbl 1105.68322
Brass, Stefan; Dix, Jürgen; Freitag, Burkhard; Zukowski, Ulrich
15
2001
An interactive semantics of logic programming. Zbl 1066.68512
Bruni, Roberto; Montanari, Ugo; Rossi, Francesca
15
2001
ASP modulo CSP: the clingcon system. Zbl 1260.68066
Ostrowski, Max; Schaub, Torsten
14
2012
The language features and architecture of B-Prolog. Zbl 1244.68024
Zhou, Neng-Fa
14
2012
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
14
2016
Logic programs with monotone abstract constraint atoms. Zbl 1142.68018
Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław
14
2008
Solving Horn clauses on inductive data types without induction. Zbl 1451.68172
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
14
2018
Specialization of functional logic programs based on needed narrowing. Zbl 1092.68018
Alpuente, María; Lucas, Salvador; Vidal, Germán; Hanus, Michael
13
2005
\(\text{ECL}^{\text{i}}\text{PS}^{\text{e}}\) – from LP to CLP. Zbl 1244.68020
Schimpf, Joachim; Shen, Kish
13
2012
Set unification. Zbl 1108.68104
Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco
13
2006
Characterization of strongly equivalent logic programs in intermediate logics. Zbl 1069.68538
de Jongh, Dick H. J.; Hendriks, Lex
13
2003
A framework for compiling preferences in logic programs. Zbl 1105.68323
Delgrande, James P.; Schaub, Torsten; Tompits, Hans
13
2003
Propositional defeasible logic has linear complexity. Zbl 1066.68530
Maher, Michael J.
13
2001
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
13
2004
The magic of logical inference in probabilistic programming. Zbl 1222.68060
Gutmann, Bernd; Thon, Ingo; Kimmig, Angelika; Bruynooghe, Maurice; De Raedt, Luc
12
2011
Abstract answer set solvers with backjumping and learning. Zbl 1220.68038
Lierler, Yuliya
12
2011
Conflict-driven ASP solving with external sources. Zbl 1260.68060
Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph
12
2012
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
The Seventh Answer Set Programming Competition: design and results. Zbl 1472.68026
Gebser, Martin; Maratea, Marco; Ricca, Francesco
12
2020
{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
12
2017
Rewriting recursive aggregates in answer set programming: back to monotonicity. Zbl 1379.68034
Alviano, Mario; Faber, Wolfgang; Gebser, Martin
12
2015
Epistemic foundation of stable model semantics. Zbl 1110.68070
Loyer, Yann; Straccia, Umberto
12
2006
Equivalence-checking on infinite-state systems: techniques and results. Zbl 1101.68700
Kučera, Antonín; Jančar, Petr
12
2006
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
12
2007
Minimum model semantics for extensional higher-order logic programming with negation. Zbl 1309.68030
Charalambidis, Angelos; Ésik, Zoltán; Rondogiannis, Panos
11
2014
Generating explanations for biomedical queries. Zbl 1379.68059
Erdem, Esra; Oztok, Umut
11
2015
Bounded LTL model checking with stable models. Zbl 1079.68058
Heljanko, Keijo; Niemelä, Ilkka
11
2003
State space computation and analysis of time Petri nets. Zbl 1104.68071
Gardey, Guillaume; Roux, Olivier H.; Roux, Olivier F.
11
2006
Planning with preferences using logic programming. Zbl 1122.68030
Son, Tran Cao; Pontelli, Enrico
11
2006
Compiling finite domain constraints to SAT with BEE. Zbl 1260.68081
Metodi, Amit; Codish, Michael
10
2012
SICStus Prolog – the first 25 years. Zbl 1244.68016
Carlsson, Mats; Mildner, Per
10
2012
Automated termination analysis for logic programs with cut. Zbl 1209.68098
Schneider-Kamp, Peter; Giesl, Jürgen; Ströder, Thomas; Serebrenik, Alexander; Thiemann, René
10
2010
Characterising equilibrium logic and nested logic programs: Reductions and complexity. Zbl 1186.68100
Pearce, David; Tompits, Hans; Woltran, Stefan
10
2009
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
10
2016
Clingo goes linear constraints over reals and integers. Zbl 1422.68024
Janhunen, Tomi; Kaminski, Roland; Ostrowski, Max; Schellhorn, Sebastian; Wanko, Philipp; Schaub, Torsten
10
2017
A probabilistic logic programming event calculus. Zbl 1379.68305
Skarlatidis, Anastasios; Artikis, Alexander; Filippou, Jason; Paliouras, Georgios
10
2015
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
10
2015
Exploiting answer set programming with external sources for meta-interpretive learning. Zbl 1451.68064
Kaminski, Tobias; Eiter, Thomas; Inoue, Katsumi
10
2018
Logic programming with satisfiability. Zbl 1128.68014
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
10
2008
Automatic verification of timed concurrent constraint programs. Zbl 1101.68679
Falaschi, Moreno; Villanueva, Alicia
10
2006
Answering the “why” in answer set programming – a survey of explanation approaches. Zbl 1486.68026
Fandinno, Jorge; Schulz, Claudia
10
2019
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
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption. Zbl 1478.68170
Lopez-Garcia, P.; Darmawan, L.; Klemen, M.; Liqat, U.; Bueno, F.; Hermenegildo, M. V.
9
2018
Learning weak constraints in answer set programming. Zbl 1379.68073
Law, Mark; Russo, Alessandra; Broda, Krysia
9
2015
Disjunctive logic programs with inheritance. Zbl 1087.68527
Buccafurri, Francesco; Faber, Wolfgang; Leone, Nicola
9
2002
SWI-Prolog and the web. Zbl 1139.68012
Wielemaker, Jan; Huang, Zhisheng; van der Meij, Lourens
9
2008
Theory of finite or infinite trees revisited. Zbl 1148.68043
Djelloul, Khalil; Dao, Thi-Bich-Hanh; Frühwirth, Thom
9
2008
Preferred extensions as stable models. Zbl 1148.68012
Nieves, Juan Carlos; Cortés, Ulises; Osorio, Mauricio
9
2008
Temporal answer set programming on finite traces. Zbl 1451.68256
Cabalar, Pedro; Kaminski, Roland; Schaub, Torsten; Schuhmann, Anna
9
2018
Abstract diagnosis for timed concurrent constraint programs. Zbl 1222.68053
Comini, Marco; Titolo, Laura; Villanueva, Alicia
8
2011
Polytool: polynomial interpretations as a basis for termination analysis of logic programs. Zbl 1222.68064
Nguyen, Manh Thang; De Schreye, Danny; Giesl, Jürgen; Schneider-Kamp, Peter
8
2011
Functional answer set programming. Zbl 1220.68033
Cabalar, Pedro
8
2011
A translational approach to constraint answer set solving. Zbl 1209.68511
Drescher, Christian; Walsh, Toby
8
2010
Dynamic consistency checking in goal-directed answer set programming. Zbl 1307.68020
Marple, Kyle; Gupta, Gopal
8
2014
On applying or-parallelism and tabling to logic programs. Zbl 1093.68021
Rocha, Ricardo; Silva, Fernando; Costa, Vítor Santos
8
2005
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
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
Alternating fixpoint operator for hybrid MKNF knowledge bases as an approximator of AFT. Zbl 1530.68253
Liu, Fangfang; You, Jia-Huai
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
Exploiting database management systems and treewidth for counting. Zbl 1530.68067
Fichte, Johannes K.; Hecher, Markus; Thier, Patrick; Woltran, Stefan
2
2022
Thirty years of epistemic specifications. Zbl 1541.68348
Fandinno, Jorge; Faber, Wolfgang; Gelfond, Michael
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
Strong equivalence of logic programs with counting. Zbl 1541.68073
Lifschitz, Vladimir
1
2022
Problem decomposition and multi-shot ASP solving for job-shop scheduling. Zbl 1541.90146
El-Kholany, Mohammed M. S.; Gebser, Martin; Schekotihin, Konstantin
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
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
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
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
1
2022
Train scheduling with hybrid answer set programming. Zbl 1522.68095
Abels, Dirk; Jordi, Julian; Ostrowski, Max; Schaub, Torsten; Toletti, Ambra; Wanko, Philipp
4
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
Incremental and modular context-sensitive analysis. Zbl 1472.68035
Garcia-Contreras, Isabel; Morales, José F.; Hermenegildo, Manuel V.
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
An asymptotic analysis of probabilistic logic programming, with implications for expressing projective families of distributions. Zbl 1530.68061
Weitkämper, Felix Q.
3
2021
Splitting epistemic logic programs. Zbl 1522.68104
Cabalar, Pedro; Fandinno, Jorge; Fariñas del Cerro, Luis
2
2021
Utilizing treewidth for quantitative reasoning on epistemic logic programs. Zbl 1522.68100
Besin, Viktor; Hecher, Markus; Woltran, Stefan
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
Solution enumeration by optimality in answer set programming. Zbl 1530.68058
Pajunen, Jukka; Janhunen, Tomi
2
2021
Omission-based abstraction for answer set programs. Zbl 1472.68029
Saribatur, Zeynep G.; Eiter, Thomas
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
Planning with incomplete information in quantified answer set programming. Zbl 1522.68514
Fandinno, Jorge; Laferriere, Francois; Romero, Javier; Schaub, Torsten; Son, Tran Cao
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
45
2020
The Seventh Answer Set Programming Competition: design and results. Zbl 1472.68026
Gebser, Martin; Maratea, Marco; Ricca, Francesco
12
2020
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL. Zbl 1468.68212
Giordano, Laura; Theseider Dupré, Daniele
8
2020
Flexible coinductive logic programming. Zbl 1468.68054
Dagnino, Francesco; Ancona, Davide; Zucca, Elena
7
2020
selp: a single-shot epistemic logic program solver. Zbl 1472.68022
Bichler, Manuel; Morak, Michael; Woltran, Stefan
6
2020
On the semantics of abstract argumentation frameworks: a logic programming approach. Zbl 1468.68211
Alfano, Gianvincenzo; Greco, Sergio; Parisi, Francesco; Trubitsyna, Irina
6
2020
Verifying tight logic programs with anthem and vampire. Zbl 1468.68127
Fandinno, Jorge; Lifschitz, Vladimir; Lühne, Patrick; Schaub, Torsten
6
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
5
2020
MAP inference for probabilistic logic programming. Zbl 1468.68051
Bellodi, Elena; Alberti, Marco; Riguzzi, Fabrizio; Zese, Riccardo
5
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.
4
2020
Solving advanced argumentation problems with answer set programming. Zbl 1472.68186
Brewka, Gerhard; Diller, Martin; Heissenberger, Georg; Linsbichler, Thomas; Woltran, Stefan
4
2020
Towards metric temporal answer set programming. Zbl 1468.68052
Cabalar, Pedro; Diéguez, Martín; Schaub, Torsten; Schuhmann, Anna
4
2020
eclingo: a solver for epistemic logic programs. Zbl 1468.68053
Cabalar, Pedro; Fandinno, Jorge; Garea, Javier; Romero, Javier; Schaub, Torsten
4
2020
Exploiting game theory for analysing justifications. Zbl 1468.68214
Marynissen, Simon; Bogaerts, Bart; Denecker, Marc
4
2020
The external interface for extending WASP. Zbl 1472.68183
Dodaro, Carmine; Ricca, Francesco
3
2020
Modular answer set programming as a formal specification language. Zbl 1468.68119
Cabalar, Pedro; Fandinno, Jorge; Lierler, Yuliya
3
2020
Concolic testing in CLP. Zbl 1468.68055
Mesnard, Fred; Payet, Étienne; Vidal, Germán
3
2020
Implementing a library for probabilistic programming using non-strict non-determinism. Zbl 1434.68062
Dylus, Sandra; Christiansen, Jan; Teegen, Finn
3
2020
A logic framework for P2P deductive databases. Zbl 1434.68140
Caroprese, Luciano; Zumpano, Ester
2
2020
In praise of impredicativity: a contribution to the formalization of meta-programming. Zbl 1434.68102
Bry, François
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
Reasoning about cardinal directions between 3-dimensional extended objects using answer set programming. Zbl 1468.68224
Izmirlioglu, Yusuf; Erdem, Esra
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
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
Rethinking defeasible reasoning: a scalable approach. Zbl 1472.68191
Maher, Michael J.; Tachmazidis, Ilias; Antoniou, Grigoris; Wade, Stephen; Cheng, Long
1
2020
Introduction to the 36th international conference on logic programming. Special issue I. Zbl 1468.68018
1
2020
Modelling multi-agent epistemic planning in ASP. Zbl 1468.68251
Burigana, Alessandro; Fabiano, Francesco; Dovier, Agostino; Pontelli, Enrico
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
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
Human robot collaborative assembly planning: an answer set programming approach. Zbl 1457.68270
Rizwan, Momina; Patoglu, Volkan; Erdem, Esra
1
2020
Multi-shot ASP solving with clingo. Zbl 1486.68027
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten
64
2019
Answering the “why” in answer set programming – a survey of explanation approaches. Zbl 1486.68026
Fandinno, Jorge; Schulz, Claudia
10
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
7
2019
Optimizing answer set computation via heuristic-based decomposition. Zbl 1472.68024
Calimeri, Francesco; Perri, Simona; Zangari, Jessica
6
2019
Debugging non-ground ASP programs: technique and graphical tools. Zbl 1486.68025
Dodaro, Carmine; Gasteiger, Philip; Reale, Kristian; Ricca, Francesco; Schekotihin, Konstantin
6
2019
A syntactic operator for forgetting that satisfies strong persistence. Zbl 1434.68561
Berthold, Matti; Gonçalves, Ricardo; Knorr, Matthias; Leite, João
6
2019
Founded (auto)epistemic equilibrium logic satisfies epistemic splitting. Zbl 1434.68557
Fandinno, Jorge
5
2019
Resource analysis driven by (conditional) termination proofs. Zbl 1434.68101
Albert, Elvira; Bofill, Miquel; Borralleras, Cristina; Martin-Martin, Enrique; Rubio, Albert
4
2019
On uniform equivalence of epistemic logic programs. Zbl 1434.68073
Faber, Wolfgang; Morak, Michael; Woltran, Stefan
4
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
About epistemic negation and world views in epistemic logic programs. Zbl 1434.68071
Constantini, Stefania
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
Description, implementation, and evaluation of a generic design for tabled CLP. Zbl 1472.68021
Arias, Joaquín; Carro, Manuel
2
2019
plasp 3: towards effective ASP planning. Zbl 1472.68182
Dimopoulos, Yannis; Gebser, Martin; Lühne, Patrick; Romero, Javier; Schaub, Torsten
2
2019
Domain-independent cost-optimal planning in ASP. Zbl 1434.68548
Spies, David; You, Jia-Huai; Hayward, Ryan
2
2019
Enhancing magic sets with an application to ontological reasoning. Zbl 1434.68560
Alviano, Mario; Leone, Nicola; Veltri, Pierfrancesco; Zangari, Jessica
2
2019
Beyond NP: quantifying over answer sets. Zbl 1434.68068
Amendola, Giovanni; Ricca, Francesco; Truszczynski, Miroslaw
2
2019
Anti-unification in constraint logic programming. Zbl 1434.68076
Yernaux, Gonzague; Vanhoof, Wim
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
Incremental answer set programming with overgrounding. Zbl 1434.68555
Calimeri, Francesco; Ianni, Giovambattista; Pacenza, Francesco; Perri, Simona; Zangari, Jessica
2
2019
A distributed approach to LARS stream reasoning (system paper). Zbl 1434.68546
Eiter, Thomas; Ogris, Paul; Schekotihin, Konstantin
2
2019
Relating two dialects of answer set programming. Zbl 1434.68074
Harrison, Amelia; Lifschitz, Vladimir
2
2019
A case for stale synchronous distributed model for declarative recursive computation. Zbl 1434.68142
Das, Ariyam; Zaniolo, Carlo
2
2019
Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach. Zbl 1472.68194
Zese, Riccardo; Cota, Giuseppe; Lamma, Evelina; Bellodi, Elena; Riguzzi, Fabrizio
1
2019
Paracoherent answer set semantics meets argumentation frameworks. Zbl 1434.68554
Amendola, Giovanni; Ricca, Francesco
1
2019
Abstract solvers for computing cautious consequences of ASP programs. Zbl 1434.68066
Amendola, Giovanni; Dodaro, Carmine; Maratea, Marco
1
2019
Applying constraint logic programming to SQL semantic analysis. Zbl 1434.68075
Sáenz-Pérez, Fernando
1
2019
Symbolic analysis of Maude theories with Narval. Zbl 1434.68214
Alpuente, María; Escobar, Santiago; Sapina, Julia; Ballis, Demis
1
2019
Bridging commonsense reasoning and probabilistic planning via a probabilistic action language. Zbl 1434.68551
Wang, Yi; Zhang, Shiqi; Lee, Joohyung
1
2019
Constraint answer set programming without grounding. Zbl 1451.68063
Arias, Joaquin; Carro, Manuel; Salazar, Elmer; Marple, Kyle; Gupta, Gopal
16
2018
...and 442 more Documents
all top 5

Cited by 2,022 Authors

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

Cited in 96 Journals

348 Theory and Practice of Logic Programming
145 Artificial Intelligence
79 International Journal of Approximate Reasoning
79 Annals of Mathematics and Artificial Intelligence
50 Theoretical Computer Science
38 Machine Learning
22 Journal of Applied Logic
19 Journal of Applied Non-Classical Logics
19 Constraints
17 Journal of Automated Reasoning
17 ACM Transactions on Computational Logic
15 Information and Computation
14 Fuzzy Sets and Systems
14 The Journal of Artificial Intelligence Research (JAIR)
10 Journal of Logical and Algebraic Methods in Programming
9 Fundamenta Informaticae
8 Information Sciences
8 Journal of Computer and System Sciences
8 Mathematical Structures in Computer Science
8 Formal Methods in System Design
7 Logical Methods in Computer Science
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 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 Annals of Operations Research
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 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