×

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
Documents Indexed: 662 Publications (since 2001)
References Indexed: 501 Publications with 14,707 References.
all top 5

Latest Issues

21, No. 5 (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 (2018)
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)
2, No. 3 (2002)
2, No. 2 (2002)
2, No. 1 (2002)
1, No. 6 (2001)
1, No. 5 (2001)
1, No. 4 (2001)
1, No. 3 (2001)
1, No. 2 (2001)
all top 5

Authors

26 Schaub, Torsten H.
18 Alviano, Mario
17 Eiter, Thomas
17 Ricca, Francesco
16 Leone, Nicola
15 Cabalar, Pedro
15 Woltran, Stefan
14 Dodaro, Carmine
14 Lifschitz, Vladimir
13 Fandinno, Jorge
13 Hermenegildo, Manuel V.
13 Pontelli, Enrico
13 Truszczyński, Mirosław
12 Faber, Wolfgang
12 Rocha, Ricardo
11 Erdem, Esra
11 Schrijvers, Tom
10 Bruynooghe, Maurice
10 Demoen, Bart
10 Gebser, Martin
10 Lee, Joohyung
10 Lierler, Yuliya
10 Manna, Marco
10 Riguzzi, Fabrizio
9 Carro, Manuel
9 Denecker, Marc
9 Frühwirth, Thom
9 Greco, Sergio
9 Stuckey, Peter James
9 Swift, Terrance
9 Tompits, Hans
8 Balduccini, Marcello
8 Dovier, Agostino
8 Fink, Michael
8 Kaminski, Roland
8 King, Andy
8 Maratea, Marco
8 Son, Tran Cao
8 Wielemaker, Jan
8 You, Jia-Huai
8 Zangari, Jessica
7 Santos Costa, Vítor
7 Harrison, Amelia
7 Janssens, Gerda
7 Maher, Michael J.
7 Perri, Simona
7 Pettorossi, Alberto
7 Proietti, Maurizio
7 Trubitsyna, Irina
7 Vidal, Germán
7 Zhou, Neng-Fa
6 Albert, Elvira
6 Bagnara, Roberto
6 Bogaerts, Bart
6 Calimeri, Francesco
6 Codish, Michael
6 De Schreye, Danny
6 Garcia de la Banda, Maria
6 Gupta, Gopal K.
6 Janhunen, Tomi
6 Lamma, Evelina
6 Mesnard, Fred
6 Morales, Jose Francisco
6 Russo, Alessandra M.
6 Sato, Taisuke
6 Zaniolo, Carlo
5 Amendola, Giovanni
5 Antoniou, Grigoris
5 Baral, Chitta R.
5 Bellodi, Elena
5 Drabent, Włodzimierz
5 Fioravanti, Fabio
5 Formisano, Andrea
5 Gabbrielli, Maurizio
5 Gelfond, Michael
5 Haemmerlé, Rémy
5 Hill, Patricia M.
5 Leite, João
5 Morak, Michael
5 Osorio, Mauricio A.
5 Ostrowski, Max
5 Rodríguez-Artalejo, Mario
5 Rondogiannis, Panos
5 Serebrenik, Alexander
5 Shen, Yidong
5 Vennekens, Joost
4 Alpuente, María
4 Charalambidis, Angelos
4 De Angelis, Emanuele
4 de Cat, Broes
4 De Cock, Martine
4 De Raedt, Luc
4 Duck, Gregory J.
4 Gallagher, John P.
4 Gavanelli, Marco
4 Genaim, Samir
4 Giordano, Laura
4 Howe, Jacob M.
4 Ianni, Giovambattista
4 Inclezan, Daniela
...and 798 more Authors

Publications by Year

Citations contained in zbMATH Open

458 Publications have been cited 2,387 times in 1,224 Documents Cited by Year
Defeasible logic programming: An argumentative approach. Zbl 1090.68015
García, Alejandro J.; Simari, Guillermo R.
81
2004
Answer sets for consistent query answering in inconsistent databases. Zbl 1079.68026
Arenas, Marcelo; Bertossi, Leopoldo; Chomicki, Jan
71
2003
Strong equivalence made easy: nested expressions and weight constraints. Zbl 1079.68017
Turner, Hudson
36
2003
SWI-Prolog. Zbl 1244.68023
Wielemaker, Jan; Schrijvers, Tom; Triska, Markus; Lager, Torbjörn
35
2012
Well-founded and stable semantics of logic programs with aggregates. Zbl 1111.68070
Pelov, Nikolay; Denecker, Marc; Bruynooghe, Maurice
33
2007
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
33
2015
XSB: extending Prolog with tabled logic programming. Zbl 1244.68021
Swift, Terrance; Warren, David S.
30
2012
Weight constraints as nested expressions. Zbl 1093.68017
Ferraris, Paolo; Lifschitz, Vladimir
30
2005
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.
29
2012
Probabilistic reasoning with answer sets. Zbl 1170.68003
Baral, Chitta; Gelfond, Michael; Rushton, Nelson
27
2009
Multi-shot ASP solving with clingo. Zbl 07107408
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten
26
2018
A constructive semantic characterization of aggregates in answer set programming. Zbl 1111.68072
Son, Tran Cao; Pontelli, Enrico
25
2007
Propositional theories are strongly equivalent to logic programs. Zbl 1132.68321
Cabalar, Pedro; Ferraris, Paolo
24
2007
Tight logic programs. Zbl 1079.68014
Erdem, Esra; Lifschitz, Vladimir
22
2003
The PITA system: tabling and answer subsumption for reasoning under uncertainty. Zbl 1218.68169
Riguzzi, Fabrizio; Swift, Terrance
21
2011
Diagnostic reasoning with A-prolog. Zbl 1079.68094
Balduccini, Marcello; Gelfond, Michael
21
2003
Vicious circle principle and logic programs with aggregates. Zbl 1309.68032
Gelfond, Michael; Zhang, Yuanlin
20
2014
The YAP prolog system. Zbl 1244.68017
Costa, Vítor Santos; Rocha, Ricardo; Damas, Luís
20
2012
Justifications for logic programs under answer set semantics. Zbl 1170.68005
Pontelli, Enrico; Son, Tran Cao; Elkhatib, Omar
20
2009
Abstract gringo. Zbl 1379.68031
Gebser, Martin; Harrison, Amelia; Kaminski, Roland; Lifschitz, Vladimir; Schaub, Torsten
20
2015
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
18
2011
A common view on strong, uniform, and other notions of equivalence in answer-set programming. Zbl 1140.68360
Woltran, Stefan
18
2008
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.
17
2012
An abductive framework for computing knowledge base updates. Zbl 1085.68545
Sakama, Chiaki; Inoue, Katsumi
16
2003
CP-logic: A language of causal probabilistic events and its relation to logic programming. Zbl 1179.68025
Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice
16
2009
Structure learning of probabilistic logic programs by searching the clause space. Zbl 1379.68269
Bellodi, Elena; Riguzzi, Fabrizio
15
2015
Complex optimization in answer set programming. Zbl 1222.68059
Gebser, Martin; Kaminski, Roland; Schaub, Torsten
14
2011
Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics. Zbl 1267.68084
Riguzzi, Fabrizio; Swift, Terrance
14
2013
Logic programs with monotone abstract constraint atoms. Zbl 1142.68018
Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław
14
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
14
2008
As time goes by: constraint handling rules. Zbl 1186.68096
Sneyers, Jon; van Weert, Peter; Schrijvers, Tom; de Koninck, Leslie
14
2010
Detecting inconsistencies in large biological networks with answer set programming. Zbl 1220.68036
Gebser, Martin; Schaub, Torsten; Thiele, Sven; Veber, Philippe
13
2011
On properties of update sequences based on causal rejection. Zbl 1105.68326
Eiter, Thomas; Fink, Michael; Sabbatini, Giuliana; Tompits, Hans
13
2002
An interactive semantics of logic programming. Zbl 1066.68512
Bruni, Roberto; Montanari, Ugo; Rossi, Francesca
13
2001
FLUX: a logic programming method for reasoning agents. Zbl 1105.68333
Thielscher, Michael
13
2005
Achieving compositionality of the stable model semantics for SMODELS programs. Zbl 1156.68012
Oikarinen, Emilia; Janhunen, Tomi
13
2008
Anytime answer set optimization via unsatisfiable core shrinking. Zbl 1379.68033
Alviano, Mario; Dodaro, Carmine
13
2016
claspfolio 2: advances in algorithm selection for answer set programming. Zbl 1307.68016
Hoos, Holger; Lindauer, Marius; Schaub, Torsten
12
2014
A framework for compiling preferences in logic programs. Zbl 1105.68323
Delgrande, James P.; Schaub, Torsten; Tompits, Hans
12
2003
Transformation-based bottom-up computation of the well-founded model. Zbl 1105.68322
Brass, Stefan; Dix, Jürgen; Freitag, Burkhard; Zukowski, Ulrich
12
2001
Justifying answer sets using argumentation. Zbl 1379.68301
Schulz, Claudia; Toni, Francesca
12
2016
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
11
2007
SUNNY: a lazy portfolio approach for constraint solving. Zbl 1307.68077
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
11
2014
Abstract answer set solvers with backjumping and learning. Zbl 1220.68038
Lierler, Yuliya
11
2011
ASP modulo CSP: the clingcon system. Zbl 1260.68066
Ostrowski, Max; Schaub, Torsten
11
2012
Logic program specialisation through partial deduction: Control issues. Zbl 1105.68331
Leuschel, Michael; Bruynooghe, Maurice
11
2002
Epistemic foundation of stable model semantics. Zbl 1110.68070
Loyer, Yann; Straccia, Umberto
11
2006
{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
11
2017
Catching the Ouroboros: on debugging non-ground answer-set programs. Zbl 1213.68182
Oetsch, Johannes; Pührer, Jörg; Tompits, Hans
10
2010
Causal graph justifications of logic programs. Zbl 1309.68028
Cabalar, Pedro; Fandinno, Jorge; Fink, Michael
10
2014
The language features and architecture of B-Prolog. Zbl 1244.68024
Zhou, Neng-Fa
10
2012
Answer set programming as a modeling language for course timetabling. Zbl 1286.68040
Banbara, Mutsunori; Soh, Takehide; Tamura, Naoyuki; Inoue, Katsumi; Schaub, Torsten
10
2013
Characterization of strongly equivalent logic programs in intermediate logics. Zbl 1069.68538
de Jongh, Dick H. J.; Hendriks, Lex
10
2003
Bounded LTL model checking with stable models. Zbl 1079.68058
Heljanko, Keijo; Niemelä, Ilkka
10
2003
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
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
10
2016
Iterative learning of answer set programs from context dependent examples. Zbl 1379.68074
Law, Mark; Russo, Alessandra; Broda, Krysia
10
2016
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
10
2020
Anytime computation of cautious consequences in answer set programming. Zbl 1307.68012
Alviano, Mario; Dodaro, Carmine; Ricca, Francesco
9
2014
Functional answer set programming. Zbl 1220.68033
Cabalar, Pedro
9
2011
\(\text{ECL}^{\text{i}}\text{PS}^{\text{e}}\) – from LP to CLP. Zbl 1244.68020
Schimpf, Joachim; Shen, Kish
9
2012
Propositional defeasible logic has linear complexity. Zbl 1066.68530
Maher, Michael J.
9
2001
Specialization of functional logic programs based on needed narrowing. Zbl 1092.68018
Alpuente, María; Lucas, Salvador; Vidal, Germán; Hanus, Michael
9
2005
Generating explanations for biomedical queries. Zbl 1379.68059
Erdem, Esra; Oztok, Umut
9
2015
Rewriting recursive aggregates in answer set programming: back to monotonicity. Zbl 1379.68034
Alviano, Mario; Faber, Wolfgang; Gebser, Martin
9
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
9
2015
Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications. Zbl 1109.68028
Eiter, Thomas; Polleres, Axel
8
2006
Automated termination analysis for logic programs with cut. Zbl 1209.68098
Schneider-Kamp, Peter; Giesl, Jürgen; Ströder, Thomas; Serebrenik, Alexander; Thiemann, René
8
2010
Logic programming with satisfiability. Zbl 1128.68014
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
8
2008
Minimum model semantics for extensional higher-order logic programming with negation. Zbl 1309.68030
Charalambidis, Angelos; Ésik, Zoltán; Rondogiannis, Panos
8
2014
Abstract diagnosis for timed concurrent constraint programs. Zbl 1222.68053
Comini, Marco; Titolo, Laura; Villanueva, Alicia
8
2011
The magic of logical inference in probabilistic programming. Zbl 1222.68060
Gutmann, Bernd; Thon, Ingo; Kimmig, Angelika; Bruynooghe, Maurice; De Raedt, Luc
8
2011
Conflict-driven ASP solving with external sources. Zbl 1260.68060
Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph
8
2012
SWI-Prolog and the web. Zbl 1139.68012
Wielemaker, Jan; Huang, Zhisheng; van der Meij, Lourens
8
2008
Automatic verification of timed concurrent constraint programs. Zbl 1101.68679
Falaschi, Moreno; Villanueva, Alicia
8
2006
On finitely recursive programs. Zbl 1166.68311
Baselice, Sabrina; Bonatti, Piero A.; Criscuolo, Giovanni
8
2009
Set unification. Zbl 1108.68104
Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco
8
2006
Ticker: a system for incremental ASP-based stream reasoning. Zbl 1422.68218
Beck, Harald; Eiter, Thomas; Folie, Christian
8
2017
Optimizing phylogenetic supertrees using answer set programming. Zbl 1379.92038
Koponen, Laura; Oikarinen, Emilia; Janhunen, Tomi; Säilä, Laura
8
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
8
2016
clingcon: the next generation. Zbl 1379.68040
Banbara, Mutsunori; Kaufmann, Benjamin; Ostrowski, Max; Schaub, Torsten
8
2017
Constraint answer set programming without grounding. Zbl 1451.68063
Arias, Joaquin; Carro, Manuel; Salazar, Elmer; Marple, Kyle; Gupta, Gopal
8
2018
Disjunctive ASP with functions: decidable queries and effective computation. Zbl 1209.68086
Alviano, Mario; Faber, Wolfgang; Leone, Nicola
7
2010
Dynamic consistency checking in goal-directed answer set programming. Zbl 1307.68020
Marple, Kyle; Gupta, Gopal
7
2014
Observational equivalences for linear logic concurrent constraint languages. Zbl 1222.68061
Haemmerlé, Rémy
7
2011
SICStus Prolog – the first 25 years. Zbl 1244.68016
Carlsson, Mats; Mildner, Per
7
2012
Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs. Zbl 1242.68052
Truszczyński, Mirosław
7
2011
Disjunctive logic programs with inheritance. Zbl 1087.68527
Buccafurri, Francesco; Faber, Wolfgang; Leone, Nicola
7
2002
CLAIRE: Combining sets, search and rules to better express algorithms. Zbl 1105.68339
Caseau, Yves; Josset, François-Xavier; Laburthe, François
7
2002
Computing preferred answer sets by meta-interpretation in answer set programming. Zbl 1079.68096
Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald
7
2003
Planning with preferences using logic programming. Zbl 1122.68030
Son, Tran Cao; Pontelli, Enrico
7
2006
cTI: a constraint-based termination inference tool for ISO-PROLOG. Zbl 1093.68559
Mesnard, Fred; Bagnara, Roberto
7
2005
Preferred extensions as stable models. Zbl 1148.68012
Nieves, Juan Carlos; Cortés, Ulises; Osorio, Mauricio
7
2008
State space computation and analysis of time Petri nets. Zbl 1104.68071
Gardey, Guillaume; Roux, Olivier H.; Roux, Olivier F.
7
2006
Clingo goes linear constraints over reals and integers. Zbl 1422.68024
Janhunen, Tomi; Kaminski, Roland; Ostrowski, Max; Schellhorn, Sebastian; Wanko, Philipp; Schaub, Torsten
7
2017
Improved answer-set programming encodings for abstract argumentation. Zbl 1379.68292
Gaggl, Sarah A.; Manthey, Norbert; Ronca, Alessandro; Wallner, Johannes P.; Woltran, Stefan
7
2015
Learning weak constraints in answer set programming. Zbl 1379.68073
Law, Mark; Russo, Alessandra; Broda, Krysia
7
2015
Proving correctness of imperative programs by linearizing constrained Horn clauses. Zbl 1379.68093
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
7
2015
Exploiting answer set programming with external sources for meta-interpretive learning. Zbl 1451.68064
Kaminski, Tobias; Eiter, Thomas; Inoue, Katsumi
7
2018
Graphs and colorings for answer set programming. Zbl 1109.68081
Konczak, Kathrin; Linke, Thomas; Schaub, Torsten
6
2006
Omission-based abstraction for answer set programs. Zbl 1472.68029
Saribatur, Zeynep G.; Eiter, Thomas
1
2021
Nonground abductive logic programming with probabilistic integrity constraints. Zbl 07454769
Bellodi, Elena; Gavanelli, Marco; Zese, Riccardo; Lamma, Evelina; Riguzzi, Fabrizio
1
2021
Utilizing treewidth for quantitative reasoning on epistemic logic programs. Zbl 07454770
Besin, Viktor; Hecher, Markus; Woltran, Stefan
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
10
2020
The Seventh Answer Set Programming Competition: design and results. Zbl 1472.68026
Gebser, Martin; Maratea, Marco; Ricca, Francesco
3
2020
MAP inference for probabilistic logic programming. Zbl 1468.68051
Bellodi, Elena; Alberti, Marco; Riguzzi, Fabrizio; Zese, Riccardo
2
2020
Verifying tight logic programs with anthem and vampire. Zbl 1468.68127
Fandinno, Jorge; Lifschitz, Vladimir; Lühne, Patrick; Schaub, Torsten
2
2020
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL. Zbl 1468.68212
Giordano, Laura; Theseider Dupré, Daniele
2
2020
eclingo: a solver for epistemic logic programs. Zbl 1468.68053
Cabalar, Pedro; Fandinno, Jorge; Garea, Javier; Romero, Javier; Schaub, Torsten
2
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
2
2020
selp: a single-shot epistemic logic program solver. Zbl 1472.68022
Bichler, Manuel; Morak, Michael; Woltran, Stefan
2
2020
In praise of impredicativity: a contribution to the formalization of meta-programming. Zbl 1434.68102
Bry, François
1
2020
Implementing a library for probabilistic programming using non-strict non-determinism. Zbl 1434.68062
Dylus, Sandra; Christiansen, Jan; Teegen, Finn
1
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
1
2020
On the semantics of abstract argumentation frameworks: a logic programming approach. Zbl 1468.68211
Alfano, Gianvincenzo; Greco, Sergio; Parisi, Francesco; Trubitsyna, Irina
1
2020
Incremental maintenance of overgrounded logic programs with tailored simplifications. Zbl 1468.68223
Ianni, Giovambattista; Pacenza, Francesco; Zangari, Jessica
1
2020
Towards metric temporal answer set programming. Zbl 1468.68052
Cabalar, Pedro; Diéguez, Martín; Schaub, Torsten; Schuhmann, Anna
1
2020
Flexible coinductive logic programming. Zbl 1468.68054
Dagnino, Francesco; Ancona, Davide; Zucca, Elena
1
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
1
2020
The external interface for extending WASP. Zbl 1472.68183
Dodaro, Carmine; Ricca, Francesco
1
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.
1
2020
Incremental answer set programming with overgrounding. Zbl 1434.68555
Calimeri, Francesco; Ianni, Giovambattista; Pacenza, Francesco; Perri, Simona; Zangari, Jessica
4
2019
Answering the “why” in answer set programming – a survey of explanation approaches. Zbl 07107411
Fandinno, Jorge; Schulz, Claudia
4
2019
Founded (auto)epistemic equilibrium logic satisfies epistemic splitting. Zbl 1434.68557
Fandinno, Jorge
3
2019
A distributed approach to LARS stream reasoning (system paper). Zbl 1434.68546
Eiter, Thomas; Ogris, Paul; Schekotihin, Konstantin
3
2019
Resource analysis driven by (conditional) termination proofs. Zbl 1434.68101
Albert, Elvira; Bofill, Miquel; Borralleras, Cristina; Martin-Martin, Enrique; Rubio, Albert
2
2019
On uniform equivalence of epistemic logic programs. Zbl 1434.68073
Faber, Wolfgang; Morak, Michael; Woltran, Stefan
2
2019
Partial compilation of ASP programs. Zbl 1434.68072
Cuteri, Bernardo; Dodaro, Carmine; Ricca, Francesco; Schüller, Peter
2
2019
A syntactic operator for forgetting that satisfies strong persistence. Zbl 1434.68561
Berthold, Matti; Gonçalves, Ricardo; Knorr, Matthias; Leite, João
2
2019
Debugging non-ground ASP programs: technique and graphical tools. Zbl 07107415
Dodaro, Carmine; Gasteiger, Philip; Reale, Kristian; Ricca, Francesco; Schekotihin, Konstantin
2
2019
plasp 3: towards effective ASP planning. Zbl 1472.68182
Dimopoulos, Yannis; Gebser, Martin; Lühne, Patrick; Romero, Javier; Schaub, Torsten
2
2019
Optimizing answer set computation via heuristic-based decomposition. Zbl 1472.68024
Calimeri, Francesco; Perri, Simona; Zangari, Jessica
2
2019
Enhancing magic sets with an application to ontological reasoning. Zbl 1434.68560
Alviano, Mario; Leone, Nicola; Veltri, Pierfrancesco; Zangari, Jessica
1
2019
Paracoherent answer set semantics meets argumentation frameworks. Zbl 1434.68554
Amendola, Giovanni; Ricca, Francesco
1
2019
Beyond NP: quantifying over answer sets. Zbl 1434.68068
Amendola, Giovanni; Ricca, Francesco; Truszczynski, Miroslaw
1
2019
About epistemic negation and world views in epistemic logic programs. Zbl 1434.68071
Constantini, Stefania
1
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
1
2019
On the equivalence between abstract dialectical frameworks and logic programs. Zbl 1434.68553
Alcântara, João; Sá, Samy; Acosta-Guadarrama, Juan
1
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
1
2019
Relating two dialects of answer set programming. Zbl 1434.68074
Harrison, Amelia; Lifschitz, Vladimir
1
2019
A case for stale synchronous distributed model for declarative recursive computation. Zbl 1434.68142
Das, Ariyam; Zaniolo, Carlo
1
2019
Domain-independent cost-optimal planning in ASP. Zbl 1434.68548
Spies, David; You, Jia-Huai; Hayward, Ryan
1
2019
Multi-shot ASP solving with clingo. Zbl 07107408
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten
26
2018
Constraint answer set programming without grounding. Zbl 1451.68063
Arias, Joaquin; Carro, Manuel; Salazar, Elmer; Marple, Kyle; Gupta, Gopal
8
2018
Exploiting answer set programming with external sources for meta-interpretive learning. Zbl 1451.68064
Kaminski, Tobias; Eiter, Thomas; Inoue, Katsumi
7
2018
Solving Horn clauses on inductive data types without induction. Zbl 1451.68172
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
6
2018
Shared aggregate sets in answer set programming. Zbl 1451.68062
Alviano, Mario; Dodaro, Carmine; Maratea, Marco
4
2018
Cautious reasoning in ASP via minimal models and unsatisfiable cores. Zbl 1451.68267
Alviano, Mario; Dodaro, Carmine; Järvisalo, Matti; Maratea, Marco; Previti, Alessandro
4
2018
A trajectory calculus for qualitative spatial reasoning using answer set programming. Zbl 1451.68252
Baryannis, George; Tachmazidis, Ilias; Batsakis, Sotiris; Antoniou, Grigoris; Alviano, Mario; Sellis, Timos; Tsai, Pei-Wei
4
2018
Functional ASP with intensional sets: application to Gelfond-Zhang aggregates. Zbl 1451.68255
Cabalar, Pedro; Fandinno, Jorge; Fariñas del Cerro, Luis; Pearce, David
4
2018
An iterative approach to precondition inference using constrained Horn clauses. Zbl 1451.68075
Kafle, Bishoksan; Gallagher, John P.; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.
4
2018
Temporal answer set programming on finite traces. Zbl 1451.68256
Cabalar, Pedro; Kaminski, Roland; Schaub, Torsten; Schuhmann, Anna
3
2018
Scaling-up reasoning and advanced analytics on BigData. Zbl 1452.68064
Condie, Tyson; Das, Ariyam; Interlandi, Matteo; Shkapsky, Alexander; Yang, Mohan; Zaniolo, Carlo
3
2018
Random generation of closed simply typed \(\lambda\)-terms: a synergy between logic programming and Boltzmann samplers. Zbl 1425.68054
Bendkowski, Maciej; Grygiel, Katarzyna; Tarau, Paul
3
2018
A concurrent constraint programming interpretation of access permissions. Zbl 1478.68056
Olarte, Carlos; Pimentel, Elaine; Rueda, Camilo
3
2018
A probabilistic extension of action language \(\mathcal{BC}+\). Zbl 1451.68263
Lee, Joohyung; Wang, Yi
2
2018
Constraint-based inference in probabilistic logic programs. Zbl 1451.68264
Nampally, Arun; Zhang, Timothy; Ramakrishnan, C. R.
2
2018
Stepwise debugging of answer-set programs. Zbl 1425.68053
Oetsch, Johannes; Pührer, Jörg; Tompits, Hans
2
2018
Predicate pairing for program verification. Zbl 1478.68153
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
2
2018
Tree dimension in verification of constrained Horn clauses. Zbl 1478.68165
Kafle, Bishoksan; Gallagher, John P.; Ganty, Pierre
2
2018
Approximation fixpoint theory and the well-founded semantics of higher-order logic programs. Zbl 1452.68037
Charalambidis, Angelos; Rondogiannis, Panos; Symeonidou, Ioanna
1
2018
Proof-relevant Horn clauses for dependent type inference and term synthesis. Zbl 1451.68323
Farka, František; Komendantskya, Ekaterina; Hammond, Kevin
1
2018
An ASP methodology for understanding narratives about stereotypical activities. Zbl 1451.68294
Inclezan, Daniela; Zhang, Qinglin; Balduccini, Marcello; Israney, Ankush
1
2018
Translating LPOD and CR-\(\mathrm{Prolog}_2\) into standard answer set programs. Zbl 1451.68065
Lee, Joohyung; Yang, Zhun
1
2018
Incremental and iterative learning of answer set programs from mutually distinct examples. Zbl 1451.68066
Mitra, Arindam; Baral, Chitta
1
2018
First-order answer set programming as constructive proof search. Zbl 1451.68067
Schubert, Aleksy; Urzyczyn, Paweł
1
2018
A review of literature on parallel constraint solving. Zbl 1452.68177
Gent, Ian P.; Miguel, Ian; Nightingale, Peter; McCreesh, Ciaran; Prosser, Patrick; Moore, Neil C. A.; Unsworth, Chris
1
2018
A Datalog-based computational model for coordination-free, data-parallel systems. Zbl 1452.68078
Interlandi, Matteo; Tanca, Letizia
1
2018
Performing fully parallel constraint logic programming on a quantum annealer. Zbl 1452.68039
Pakin, Scott
1
2018
Logic + control: on program construction and verification. Zbl 1425.68051
Drabent, Włodzimierz
1
2018
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.
1
2018
{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
11
2017
Ticker: a system for incremental ASP-based stream reasoning. Zbl 1422.68218
Beck, Harald; Eiter, Thomas; Folie, Christian
8
2017
clingcon: the next generation. Zbl 1379.68040
Banbara, Mutsunori; Kaufmann, Benjamin; Ostrowski, Max; Schaub, Torsten
8
2017
Clingo goes linear constraints over reals and integers. Zbl 1422.68024
Janhunen, Tomi; Kaminski, Roland; Ostrowski, Max; Schellhorn, Sebastian; Wanko, Philipp; Schaub, Torsten
7
2017
Constraint answer set solver {ezcsp} and why integration schemas matter. Zbl 1379.68038
Balduccini, Marcello; Lierler, Yuliya
6
2017
Productive corecursion in logic programming. Zbl 1422.68025
Komendantskaya, Ekaterina; Li, Yue
5
2017
Computing \(\mathrm{LP}^{\mathrm{MLN}}\) using ASP and MLN solvers. Zbl 1422.68026
Lee, Joohyung; Talsania, Samidh; Wang, Yi
5
2017
When you must forget: beyond strong persistence when forgetting in answer set programming. Zbl 1422.68022
Gonçalves, Ricardo; Knorr, Matthias; Leite, João; Woltran, Stefan
4
2017
Fixpoint semantics and optimization of recursive Datalog programs with aggregates. Zbl 1422.68162
Zaniolo, Carlo; Yang, Mohan; Das, Ariyam; Shkapsky, Alexander; Condie, Tyson; Interlandi, Matteo
4
2017
Non-monotonic spatial reasoning with answer set programming modulo theories. Zbl 1379.68303
Wałęga, Przemysław Andrzej; Schultz, Carl; Bhatt, Mehul
4
2017
\(\alpha\mathrm{Check}\): a mechanized metatheory model checker. Zbl 1379.68236
Cheney, James; Momigliano, Alberto
4
2017
Model enumeration in propositional circumscription via unsatisfiable core analysis. Zbl 1422.68217
Alviano, Mario
3
2017
Achievements in answer set programming. Zbl 1422.68027
Lifschitz, Vladimir
3
2017
A new algorithm to automate inductive learning of default theories. Zbl 1422.68029
Shakerin, Farhad; Salazar, Elmer; Gupta, Gopal
3
2017
Program completion in the input language of GRINGO. Zbl 1422.68023
Harrison, Amelia; Lifschitz, Vladimir; Raju, Dhananjay
2
2017
The intricacies of three-valued extensional semantics for higher-order logic programs. Zbl 1422.68028
Rondogiannis, Panos; Symeonidou, Ioanna
2
2017
Hybrid conditional planning using answer set programming. Zbl 1422.68216
Yalciner, Ibrahim Faruk; Nouman, Ahmed; Patoglu, Volkan; Erdem, Esra
2
2017
Range-based argumentation semantics as two-valued models. Zbl 1379.68299
Osorio, Mauricio; Nieves, Juan Carlos
2
2017
A linear algebraic approach to Datalog evaluation. Zbl 1379.68082
Sato, Taisuke
2
2017
On relation between constraint answer set programming and satisfiability modulo theories. Zbl 1379.68285
Lierler, Yuliya; Susman, Benjamin
2
2017
Annotated defeasible logic. Zbl 1422.68219
Governatori, Guido; Maher, Michael J.
1
2017
Representing hybrid automata by action language modulo theories. Zbl 1422.68154
Lee, Joohyung; Loney, Nikhil; Meng, Yunsong
1
2017
Enablers and inhibitors in causal justifications of logic programs. Zbl 1379.68049
Cabalar, Pedro; Fandinno, Jorge
1
2017
The KB paradigm and its application to interactive configuration. Zbl 1379.68306
Van Hertum, Pieter; Dasseville, Ingmar; Janssens, Gerda; Denecker, Marc
1
2017
Consistency and trust in peer data exchange systems. Zbl 1379.68021
Bertossi, Leopoldo; Bravo, Loreto
1
2017
Temporal logic programs with variables. Zbl 1379.68288
Aguado, Felicidad; Cabalar, Pedro; Pérez, Gilberto; Vidal, Concepción; Diéguez, Martín
1
2017
CASP solutions for planning in hybrid domains. Zbl 1379.68039
Balduccini, Marcello; Magazzeni, Daniele; Maratea, Marco; Leblanc, Emily C.
1
2017
Anytime answer set optimization via unsatisfiable core shrinking. Zbl 1379.68033
Alviano, Mario; Dodaro, Carmine
13
2016
Justifying answer sets using argumentation. Zbl 1379.68301
Schulz, Claudia; Toni, Francesca
12
2016
...and 358 more Documents
all top 5

Cited by 1,584 Authors

31 Woltran, Stefan
29 Eiter, Thomas
24 Schaub, Torsten H.
21 Cabalar, Pedro
21 Riguzzi, Fabrizio
21 Simari, Guillermo Ricardo
18 Alviano, Mario
17 Fandinno, Jorge
17 Truszczyński, Mirosław
16 Dodaro, Carmine
16 Hermenegildo, Manuel V.
16 Lierler, Yuliya
16 Lifschitz, Vladimir
16 Ricca, Francesco
14 Faber, Wolfgang
14 Fink, Michael
14 Gebser, Martin
14 Leone, Nicola
14 Maratea, Marco
14 Olarte, Carlos
14 Pontelli, Enrico
13 Arieli, Ofer
13 Schrijvers, Tom
12 Leite, João
11 De Cock, Martine
11 Erdem, Esra
11 Janhunen, Tomi
11 Lee, Joohyung
11 Nieves, Juan Carlos
11 Schockaert, Steven
11 Son, Tran Cao
10 Amendola, Giovanni
10 Bellodi, Elena
10 De Raedt, Luc
10 Denecker, Marc
10 Gallagher, John P.
10 Lamma, Evelina
10 Rondogiannis, Panos
10 Stuckey, Peter James
10 You, Jia-Huai
9 Calimeri, Francesco
9 Demoen, Bart
9 García, Alejandro Javier
9 Gelfond, Michael
9 Greco, Sergio
9 Kaminski, Roland
9 Krennwallner, Thomas
9 Pettorossi, Alberto
9 Proietti, Maurizio
9 Shen, Yidong
9 Vidal, Germán
8 Alpuente, María
8 Amgoud, Leila
8 Antoniou, Grigoris
8 Baral, Chitta R.
8 Bogaerts, Bart
8 Carro, Manuel
8 Fioravanti, Fabio
8 Gonçalves, Ricardo
8 Governatori, Guido
8 Hunter, Anthony
8 Inoue, Katsumi
8 López-García, Pedro
8 Molinaro, Cristian
8 Morak, Michael
8 Morales, Jose Francisco
8 Osorio, Mauricio A.
8 Pimentel, Elaine
8 Sakama, Chiaki
8 Tompits, Hans
8 Toni, Francesca
8 Vermeir, Dirk
8 Zangari, Jessica
8 Zese, Riccardo
7 Balduccini, Marcello
7 De Angelis, Emanuele
7 De Schreye, Danny
7 del Vado Vírseda, Rafael
7 Falappa, Marcelo Alejandro
7 Fariñas del Cerro, Luis
7 Gabbrielli, Maurizio
7 Gagliardi Cozman, Fabio
7 Harrison, Amelia
7 Ianni, Giovambattista
7 Knorr, Matthias
7 Manna, Marco
7 Mauá, Denis Deratani
7 Parisi, Francesco
7 Russo, Alessandra M.
7 Sáenz-Pérez, Fernando
7 Sato, Taisuke
7 Schüller, Peter
7 Søndergaard, Harald
7 Swift, Terrance
7 Vennekens, Joost
7 Wielemaker, Jan
7 Zhang, Yan
6 Albert, Elvira
6 Amato, Gianluca
6 Belle, Vaishak
...and 1,484 more Authors
all top 5

Cited in 82 Journals

314 Theory and Practice of Logic Programming
120 Artificial Intelligence
74 Annals of Mathematics and Artificial Intelligence
62 International Journal of Approximate Reasoning
45 Theoretical Computer Science
27 Machine Learning
22 Journal of Applied Logic
17 Constraints
16 Journal of Automated Reasoning
15 Journal of Applied Non-Classical Logics
13 Information and Computation
12 Fuzzy Sets and Systems
12 ACM Transactions on Computational Logic
10 Fundamenta Informaticae
9 Journal of Logical and Algebraic Methods in Programming
8 Journal of Computer and System Sciences
7 Formal Methods in System Design
6 Formal Aspects of Computing
6 Logical Methods in Computer Science
5 Information Processing Letters
5 Information Sciences
5 Studia Logica
5 Annals of Pure and Applied Logic
5 New Generation Computing
5 MSCS. Mathematical Structures in Computer Science
5 Theory of Computing Systems
4 Journal of Philosophical Logic
4 Science of Computer Programming
4 Journal of Symbolic Computation
4 Computers & Operations Research
4 International Journal of Computer Mathematics
3 Acta Informatica
3 Top
3 The Journal of Artificial Intelligence Research (JAIR)
3 Higher-Order and Symbolic Computation
3 RAIRO. Operations Research
3 Computer Languages, Systems & Structures
3 Mathematics in Computer Science
2 Discrete Mathematics
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 Functional Programming
2 Journal of the ACM
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 Applied Mathematics and Computation
1 Computing
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 Indagationes Mathematicae. New Series
1 Applicable Algebra in Engineering, Communication and Computing
1 Computational Optimization and Applications
1 Journal of Logic, Language and Information
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 Combinatorial Optimization
1 Journal of the Royal Statistical Society. Series B. Statistical Methodology
1 Foundations of Science
1 Journal of Machine Learning Research (JMLR)
1 4OR
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 Science China. Information Sciences
1 Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM
1 Decision Analysis
1 International Journal of Systems Science. Principles and Applications of Systems and Integration

Citations by Year