×

zbMATH — the first resource for mathematics

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: 656 Publications (since 2001)
References Indexed: 496 Publications with 14,622 References.
all top 5

Latest Issues

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)
1, No. 1 (2001)
all top 5

Authors

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

Publications by Year

Citations contained in zbMATH Open

415 Publications have been cited 2,066 times in 1,081 Documents Cited by Year
Defeasible logic programming: An argumentative approach. Zbl 1090.68015
García, Alejandro J.; Simari, Guillermo R.
73
2004
Answer sets for consistent query answering in inconsistent databases. Zbl 1079.68026
Arenas, Marcelo; Bertossi, Leopoldo; Chomicki, Jan
68
2003
Strong equivalence made easy: nested expressions and weight constraints. Zbl 1079.68017
Turner, Hudson
32
2003
Well-founded and stable semantics of logic programs with aggregates. Zbl 1111.68070
Pelov, Nikolay; Denecker, Marc; Bruynooghe, Maurice
32
2007
Weight constraints as nested expressions. Zbl 1093.68017
Ferraris, Paolo; Lifschitz, Vladimir
30
2005
SWI-Prolog. Zbl 1244.68023
Wielemaker, Jan; Schrijvers, Tom; Triska, Markus; Lager, Torbjörn
28
2012
XSB: extending Prolog with tabled logic programming. Zbl 1244.68021
Swift, Terrance; Warren, David S.
26
2012
Probabilistic reasoning with answer sets. Zbl 1170.68003
Baral, Chitta; Gelfond, Michael; Rushton, Nelson
26
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.
25
2012
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
24
2015
A constructive semantic characterization of aggregates in answer set programming. Zbl 1111.68072
Son, Tran Cao; Pontelli, Enrico
24
2007
Propositional theories are strongly equivalent to logic programs. Zbl 1132.68321
Cabalar, Pedro; Ferraris, Paolo
22
2007
Tight logic programs. Zbl 1079.68014
Erdem, Esra; Lifschitz, Vladimir
21
2003
Vicious circle principle and logic programs with aggregates. Zbl 1309.68032
Gelfond, Michael; Zhang, Yuanlin
19
2014
The PITA system: tabling and answer subsumption for reasoning under uncertainty. Zbl 1218.68169
Riguzzi, Fabrizio; Swift, Terrance
19
2011
The YAP prolog system. Zbl 1244.68017
Costa, Vítor Santos; Rocha, Ricardo; Damas, Luís
19
2012
Diagnostic reasoning with A-prolog. Zbl 1079.68094
Balduccini, Marcello; Gelfond, Michael
18
2003
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
Abstract gringo. Zbl 1379.68031
Gebser, Martin; Harrison, Amelia; Kaminski, Roland; Lifschitz, Vladimir; Schaub, Torsten
17
2015
An abductive framework for computing knowledge base updates. Zbl 1085.68545
Sakama, Chiaki; Inoue, Katsumi
16
2003
A common view on strong, uniform, and other notions of equivalence in answer-set programming. Zbl 1140.68360
Woltran, Stefan
16
2008
Justifications for logic programs under answer set semantics. Zbl 1170.68005
Pontelli, Enrico; Son, Tran Cao; Elkhatib, Omar
16
2009
Multi-shot ASP solving with clingo. Zbl 07107408
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten
15
2018
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.
14
2012
As time goes by: constraint handling rules. Zbl 1186.68096
Sneyers, Jon; van Weert, Peter; Schrijvers, Tom; de Koninck, Leslie
14
2010
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
CP-logic: A language of causal probabilistic events and its relation to logic programming. Zbl 1179.68025
Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice
14
2009
FLUX: a logic programming method for reasoning agents. Zbl 1105.68333
Thielscher, Michael
13
2005
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
Logic programs with monotone abstract constraint atoms. Zbl 1142.68018
Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław
13
2008
Anytime answer set optimization via unsatisfiable core shrinking. Zbl 1379.68033
Alviano, Mario; Dodaro, Carmine
12
2016
Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics. Zbl 1267.68084
Riguzzi, Fabrizio; Swift, Terrance
12
2013
Detecting inconsistencies in large biological networks with answer set programming. Zbl 1220.68036
Gebser, Martin; Schaub, Torsten; Thiele, Sven; Veber, Philippe
12
2011
Complex optimization in answer set programming. Zbl 1222.68059
Gebser, Martin; Kaminski, Roland; Schaub, Torsten
12
2011
A framework for compiling preferences in logic programs. Zbl 1105.68323
Delgrande, James P.; Schaub, Torsten; Tompits, Hans
11
2003
Logic program specialisation through partial deduction: Control issues. Zbl 1105.68331
Leuschel, Michael; Bruynooghe, Maurice
11
2002
Transformation-based bottom-up computation of the well-founded model. Zbl 1105.68322
Brass, Stefan; Dix, Jürgen; Freitag, Burkhard; Zukowski, Ulrich
11
2001
ASP modulo CSP: the clingcon system. Zbl 1260.68066
Ostrowski, Max; Schaub, Torsten
11
2012
Epistemic foundation of stable model semantics. Zbl 1110.68070
Loyer, Yann; Straccia, Umberto
11
2006
Achieving compositionality of the stable model semantics for SMODELS programs. Zbl 1156.68012
Oikarinen, Emilia; Janhunen, Tomi
11
2008
Structure learning of probabilistic logic programs by searching the clause space. Zbl 1379.68269
Bellodi, Elena; Riguzzi, Fabrizio
10
2015
Justifying answer sets using argumentation. Zbl 1379.68301
Schulz, Claudia; Toni, Francesca
10
2016
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
SUNNY: a lazy portfolio approach for constraint solving. Zbl 1307.68077
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
10
2014
Abstract answer set solvers with backjumping and learning. Zbl 1220.68038
Lierler, Yuliya
10
2011
The language features and architecture of B-Prolog. Zbl 1244.68024
Zhou, Neng-Fa
10
2012
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
{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
9
2017
Propositional defeasible logic has linear complexity. Zbl 1066.68530
Maher, Michael J.
9
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
9
2004
Answer set programming as a modeling language for course timetabling. Zbl 1286.68040
Banbara, Mutsunori; Soh, Takehide; Tamura, Naoyuki; Inoue, Katsumi; Schaub, Torsten
9
2013
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
9
2007
Catching the Ouroboros: on debugging non-ground answer-set programs. Zbl 1213.68182
Oetsch, Johannes; Pührer, Jörg; Tompits, Hans
9
2010
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
8
2015
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
8
2016
Conflict-driven ASP solving with external sources. Zbl 1260.68060
Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph
8
2012
Anytime computation of cautious consequences in answer set programming. Zbl 1307.68012
Alviano, Mario; Dodaro, Carmine; Ricca, Francesco
8
2014
Automatic verification of timed concurrent constraint programs. Zbl 1101.68679
Falaschi, Moreno; Villanueva, Alicia
8
2006
Logic programming with satisfiability. Zbl 1128.68014
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
8
2008
Functional answer set programming. Zbl 1220.68033
Cabalar, Pedro
8
2011
Abstract diagnosis for timed concurrent constraint programs. Zbl 1222.68053
Comini, Marco; Titolo, Laura; Villanueva, Alicia
8
2011
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
On finitely recursive programs. Zbl 1166.68311
Baselice, Sabrina; Bonatti, Piero A.; Criscuolo, Giovanni
8
2009
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
Specialization of functional logic programs based on needed narrowing. Zbl 1092.68018
Alpuente, María; Lucas, Salvador; Vidal, Germán; Hanus, Michael
8
2005
Optimizing phylogenetic supertrees using answer set programming. Zbl 1379.92038
Koponen, Laura; Oikarinen, Emilia; Janhunen, Tomi; Säilä, Laura
7
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
7
2016
CLAIRE: Combining sets, search and rules to better express algorithms. Zbl 1105.68339
Caseau, Yves; Josset, François-Xavier; Laburthe, François
7
2002
cTI: a constraint-based termination inference tool for ISO-PROLOG. Zbl 1093.68559
Mesnard, Fred; Bagnara, Roberto
7
2005
Causal graph justifications of logic programs. Zbl 1309.68028
Cabalar, Pedro; Fandinno, Jorge; Fink, Michael
7
2014
Minimum model semantics for extensional higher-order logic programming with negation. Zbl 1309.68030
Charalambidis, Angelos; Ésik, Zoltán; Rondogiannis, Panos
7
2014
SWI-Prolog and the web. Zbl 1139.68012
Wielemaker, Jan; Huang, Zhisheng; van der Meij, Lourens
7
2008
The magic of logical inference in probabilistic programming. Zbl 1222.68060
Gutmann, Bernd; Thon, Ingo; Kimmig, Angelika; Bruynooghe, Maurice; De Raedt, Luc
7
2011
SICStus Prolog – the first 25 years. Zbl 1244.68016
Carlsson, Mats; Mildner, Per
7
2012
\(\text{ECL}^{\text{i}}\text{PS}^{\text{e}}\) – from LP to CLP. Zbl 1244.68020
Schimpf, Joachim; Shen, Kish
7
2012
Preferred extensions as stable models. Zbl 1148.68012
Nieves, Juan Carlos; Cortés, Ulises; Osorio, Mauricio
7
2008
A probabilistic logic programming event calculus. Zbl 1379.68305
Skarlatidis, Anastasios; Artikis, Alexander; Filippou, Jason; Paliouras, Georgios
6
2015
Improved answer-set programming encodings for abstract argumentation. Zbl 1379.68292
Gaggl, Sarah A.; Manthey, Norbert; Ronca, Alessandro; Wallner, Johannes P.; Woltran, Stefan
6
2015
Learning weak constraints in answer set programming. Zbl 1379.68073
Law, Mark; Russo, Alessandra; Broda, Krysia
6
2015
Iterative learning of answer set programs from context dependent examples. Zbl 1379.68074
Law, Mark; Russo, Alessandra; Broda, Krysia
6
2016
CHR grammars. Zbl 1104.68055
Christiansen, Henning
6
2005
Disjunctive logic programs with inheritance. Zbl 1087.68527
Buccafurri, Francesco; Faber, Wolfgang; Leone, Nicola
6
2002
Computing preferred answer sets by meta-interpretation in answer set programming. Zbl 1079.68096
Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald
6
2003
Compiling finite domain constraints to SAT with BEE. Zbl 1260.68081
Metodi, Amit; Codish, Michael
6
2012
claspfolio 2: advances in algorithm selection for answer set programming. Zbl 1307.68016
Hoos, Holger; Lindauer, Marius; Schaub, Torsten
6
2014
Equivalence-checking on infinite-state systems: techniques and results. Zbl 1101.68700
Kučera, Antonín; Jančar, Petr
6
2006
State space computation and analysis of time Petri nets. Zbl 1104.68071
Gardey, Guillaume; Roux, Olivier H.; Roux, Olivier F.
6
2006
Temporal phylogenetic networks and logic programming. Zbl 1122.68026
Erdem, Esra; Lifschitz, Vladimir; Ringe, Don
6
2006
Planning with preferences using logic programming. Zbl 1122.68030
Son, Tran Cao; Pontelli, Enrico
6
2006
Computing minimal models, stable models and answer sets. Zbl 1110.68022
Lonc, Zbigniew; Truszczyński, Mirosław
6
2006
Linear tabling strategies and optimizations. Zbl 1128.68018
Zhou, Neng-Fa; Sato, Taisuke; Shen, Yi-Dong
6
2008
Observational equivalences for linear logic concurrent constraint languages. Zbl 1222.68061
Haemmerlé, Rémy
6
2011
Transition systems for model generators – a unifying approach. Zbl 1222.68063
Lierler, Yuliya; Truszczynski, Miroslaw
6
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
6
2011
Optimal union-find in constraint handling rules. Zbl 1109.68029
Schrijvers, Tom; Frühwirth, Thom
6
2006
Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs. Zbl 1242.68052
Truszczyński, Mirosław
6
2011
Disjunctive ASP with functions: decidable queries and effective computation. Zbl 1209.68086
Alviano, Mario; Faber, Wolfgang; Leone, Nicola
6
2010
The new normal: we cannot eliminate cuts in coinductive calculi, but we can explore them. Zbl 07284984
Komendantskaya, Ekaterina; Rozplokhas, Dmitry; Basold, Henning
1
2020
Founded (auto)epistemic equilibrium logic satisfies epistemic splitting. Zbl 1434.68557
Fandinno, Jorge
3
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
Enhancing magic sets with an application to ontological reasoning. Zbl 1434.68560
Alviano, Mario; Leone, Nicola; Veltri, Pierfrancesco; Zangari, Jessica
1
2019
On uniform equivalence of epistemic logic programs. Zbl 1434.68073
Faber, Wolfgang; Morak, Michael; Woltran, Stefan
1
2019
Partial compilation of ASP programs. Zbl 1434.68072
Cuteri, Bernardo; Dodaro, Carmine; Ricca, Francesco; Schüller, Peter
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
Relating two dialects of answer set programming. Zbl 1434.68074
Harrison, Amelia; Lifschitz, Vladimir
1
2019
A syntactic operator for forgetting that satisfies strong persistence. Zbl 1434.68561
Berthold, Matti; Gonçalves, Ricardo; Knorr, Matthias; Leite, João
1
2019
Answering the “why” in answer set programming – a survey of explanation approaches. Zbl 07107411
Fandinno, Jorge; Schulz, Claudia
1
2019
Debugging non-ground ASP programs: technique and graphical tools. Zbl 07107415
Dodaro, Carmine; Gasteiger, Philip; Reale, Kristian; Ricca, Francesco; Schekotihin, Konstantin
1
2019
Multi-shot ASP solving with clingo. Zbl 07107408
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten
15
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
3
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
3
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.
3
2018
Exploiting answer set programming with external sources for meta-interpretive learning. Zbl 1451.68064
Kaminski, Tobias; Eiter, Thomas; Inoue, Katsumi
3
2018
Stepwise debugging of answer-set programs. Zbl 1425.68053
Oetsch, Johannes; Pührer, Jörg; Tompits, Hans
2
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
2
2018
Constraint answer set programming without grounding. Zbl 1451.68063
Arias, Joaquin; Carro, Manuel; Salazar, Elmer; Marple, Kyle; Gupta, Gopal
2
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
2
2018
Temporal answer set programming on finite traces. Zbl 1451.68256
Cabalar, Pedro; Kaminski, Roland; Schaub, Torsten; Schuhmann, Anna
2
2018
Solving Horn clauses on inductive data types without induction. Zbl 1451.68172
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
2
2018
An ASP methodology for understanding narratives about stereotypical activities. Zbl 1451.68294
Inclezan, Daniela; Zhang, Qinglin; Balduccini, Marcello; Israney, Ankush
2
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
Scaling-up reasoning and advanced analytics on BigData. Zbl 1452.68064
Condie, Tyson; Das, Ariyam; Interlandi, Matteo; Shkapsky, Alexander; Yang, Mohan; Zaniolo, Carlo
2
2018
A concurrent constraint programming interpretation of access permissions. Zbl 06877191
Olarte, Carlos; Pimentel, Elaine; Rueda, Camilo
2
2018
Logic + control: on program construction and verification. Zbl 1425.68051
Drabent, Włodzimierz
1
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
Translating LPOD and CR-\(\mathrm{Prolog}_2\) into standard answer set programs. Zbl 1451.68065
Lee, Joohyung; Yang, Zhun
1
2018
First-order answer set programming as constructive proof search. Zbl 1451.68067
Schubert, Aleksy; Urzyczyn, Paweł
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
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption. Zbl 06877189
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
9
2017
Ticker: a system for incremental ASP-based stream reasoning. Zbl 1422.68218
Beck, Harald; Eiter, Thomas; Folie, Christian
5
2017
Clingo goes linear constraints over reals and integers. Zbl 1422.68024
Janhunen, Tomi; Kaminski, Roland; Ostrowski, Max; Schellhorn, Sebastian; Wanko, Philipp; Schaub, Torsten
5
2017
clingcon: the next generation. Zbl 1379.68040
Banbara, Mutsunori; Kaufmann, Benjamin; Ostrowski, Max; Schaub, Torsten
5
2017
Constraint answer set solver {ezcsp} and why integration schemas matter. Zbl 1379.68038
Balduccini, Marcello; Lierler, Yuliya
5
2017
Productive corecursion in logic programming. Zbl 1422.68025
Komendantskaya, Ekaterina; Li, Yue
4
2017
Model enumeration in propositional circumscription via unsatisfiable core analysis. Zbl 1422.68217
Alviano, Mario
3
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
3
2017
Computing \(\mathrm{LP}^{\mathrm{MLN}}\) using ASP and MLN solvers. Zbl 1422.68026
Lee, Joohyung; Talsania, Samidh; Wang, Yi
3
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
3
2017
\(\alpha\mathrm{Check}\): a mechanized metatheory model checker. Zbl 1379.68236
Cheney, James; Momigliano, Alberto
3
2017
Program completion in the input language of GRINGO. Zbl 1422.68023
Harrison, Amelia; Lifschitz, Vladimir; Raju, Dhananjay
2
2017
Achievements in answer set programming. Zbl 1422.68027
Lifschitz, Vladimir
2
2017
The intricacies of three-valued extensional semantics for higher-order logic programs. Zbl 1422.68028
Rondogiannis, Panos; Symeonidou, Ioanna
2
2017
Non-monotonic spatial reasoning with answer set programming modulo theories. Zbl 1379.68303
Wałęga, Przemysław Andrzej; Schultz, Carl; Bhatt, Mehul
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
A new algorithm to automate inductive learning of default theories. Zbl 1422.68029
Shakerin, Farhad; Salazar, Elmer; Gupta, Gopal
1
2017
Hybrid conditional planning using answer set programming. Zbl 1422.68216
Yalciner, Ibrahim Faruk; Nouman, Ahmed; Patoglu, Volkan; Erdem, Esra
1
2017
Enablers and inhibitors in causal justifications of logic programs. Zbl 1379.68049
Cabalar, Pedro; Fandinno, Jorge
1
2017
Range-based argumentation semantics as two-valued models. Zbl 1379.68299
Osorio, Mauricio; Nieves, Juan Carlos
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
12
2016
Justifying answer sets using argumentation. Zbl 1379.68301
Schulz, Claudia; Toni, Francesca
10
2016
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
8
2016
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
7
2016
Iterative learning of answer set programs from context dependent examples. Zbl 1379.68074
Law, Mark; Russo, Alessandra; Broda, Krysia
6
2016
Stable-unstable semantics: beyond NP with normal logic programs. Zbl 1379.68044
Bogaerts, Bart; Janhunen, Tomi; Tasharrofi, Shahab
5
2016
Programming in logic without logic programming. Zbl 1379.68095
Kowalski, Robert; Sadri, Fariba
4
2016
The power of non-ground rules in answer set programming. Zbl 1379.68042
Bichler, Manuel; Morak, Michael; Woltran, Stefan
4
2016
On definite program answers and least Herbrand models. Zbl 1379.68056
Drabent, Włodzimierz
3
2016
ASP for minimal entailment in a rational extension of SROEL. Zbl 1379.68294
Giordano, Laura; Dupré, Daniele Theseider
3
2016
Online learning of event definitions. Zbl 1379.68072
Katzouris, Nikos; Artikis, Alexander; Paliouras, Georgios
3
2016
The {dlvhex} system for knowledge representation: recent advances (system description). Zbl 1379.68304
Redl, Christoph
3
2016
Modular action language \(\mathcal{ALM}\). Zbl 1379.68297
Inclezan, Daniela; Gelfond, Michael
2
2016
The rationale behind the concept of goal. Zbl 1379.68295
Governatori, Guido; Olivieri, Francesco; Scannapieco, Simone; Rotolo, Antonino; Cristani, Matteo
2
2016
Assertion-based analysis via slicing with \(\mathsf{ABETS}\) (system description). Zbl 1379.68088
Alpuente, M.; Frechina, F.; Sapiña, J.; Ballis, D.
2
2016
Justifications for programs with disjunctive and causal-choice rules. Zbl 1379.68048
Cabalar, Pedro; Fandinno, Jorge
2
2016
Query answering in resource-based answer set semantics. Zbl 1379.68052
Costantini, Stefania; Formisano, Andrea
2
2016
Characterization of logic program revision as an extension of propositional revision. Zbl 1379.68302
Schwind, Nicolas; Inoue, Katsumi
1
2016
CLP(\(\mathsf{H}\)): constraint logic programming for hedges. Zbl 1379.68057
Dundua, Besik; Florido, Mário; Kutsia, Temur; Marin, Mircea
1
2016
AC-KBO revisited. Zbl 1379.68277
Yamada, Akihisa; Winkler, Sarah; Hirokawa, Nao; Middeldorp, Aart
1
2016
Deriving conclusions from non-monotonic cause-effect relations. Zbl 1379.68291
Fandinno, Jorge
1
2016
Paraconsistency and word puzzles. Zbl 1379.68293
Gao, Tiantian; Fodor, Paul; Kifer, Michael
1
2016
First-order modular logic programs and their conservative extensions. Zbl 1379.68067
Harrison, Amelia; Lierler, Yuliya
1
2016
Proving infinitary formulas. Zbl 1379.68069
Harrison, Amelia; Lifschitz, Vladimir; Michael, Julian
1
2016
{CoreALMlib}: an \(\mathcal{ALM}\) library translated from the {Component Library}. Zbl 1379.68296
Inclezan, Daniela
1
2016
A general framework for static profiling of parametric resource usage. Zbl 1379.68097
Lopez-Garcia, P.; Klemen, M.; Liqat, U.; Hermenegildo, M. V.
1
2016
Efficient algebraic effect handlers for Prolog. Zbl 1379.68080
Saleh, Amr Hany; Schrijvers, Tom
1
2016
Lock-free atom garbage collection for multithreaded Prolog. Zbl 1379.68086
Wielemaker, Jan; Harris, Keri
1
2016
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
24
2015
Abstract gringo. Zbl 1379.68031
Gebser, Martin; Harrison, Amelia; Kaminski, Roland; Lifschitz, Vladimir; Schaub, Torsten
17
2015
Structure learning of probabilistic logic programs by searching the clause space. Zbl 1379.68269
Bellodi, Elena; Riguzzi, Fabrizio
10
2015
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
8
2015
Optimizing phylogenetic supertrees using answer set programming. Zbl 1379.92038
Koponen, Laura; Oikarinen, Emilia; Janhunen, Tomi; Säilä, Laura
7
2015
A probabilistic logic programming event calculus. Zbl 1379.68305
Skarlatidis, Anastasios; Artikis, Alexander; Filippou, Jason; Paliouras, Georgios
6
2015
Improved answer-set programming encodings for abstract argumentation. Zbl 1379.68292
Gaggl, Sarah A.; Manthey, Norbert; Ronca, Alessandro; Wallner, Johannes P.; Woltran, Stefan
6
2015
Learning weak constraints in answer set programming. Zbl 1379.68073
Law, Mark; Russo, Alessandra; Broda, Krysia
6
2015
Complexity and compilation of GZ-aggregates in answer set programming. Zbl 1379.68035
Alviano, Mario; Leone, Nicola
5
2015
...and 315 more Documents
all top 5

Cited by 1,419 Authors

30 Woltran, Stefan
27 Eiter, Thomas
23 Schaub, Torsten H.
19 Cabalar, Pedro
19 Simari, Guillermo Ricardo
17 Alviano, Mario
15 Dodaro, Carmine
15 Hermenegildo, Manuel V.
15 Lifschitz, Vladimir
15 Truszczyński, Mirosław
14 Fandinno, Jorge
14 Fink, Michael
14 Gebser, Martin
14 Leone, Nicola
14 Maratea, Marco
14 Ricca, Francesco
14 Riguzzi, Fabrizio
13 Arieli, Ofer
13 Olarte, Carlos
13 Pontelli, Enrico
12 Faber, Wolfgang
12 Lierler, Yuliya
12 Schrijvers, Tom
11 De Cock, Martine
11 Lee, Joohyung
11 Schockaert, Steven
10 Denecker, Marc
10 Erdem, Esra
10 Janhunen, Tomi
10 Leite, João
10 Nieves, Juan Carlos
9 De Raedt, Luc
9 Demoen, Bart
9 García, Alejandro Javier
9 Gelfond, Michael
9 Kaminski, Roland
9 Krennwallner, Thomas
9 Shen, Yidong
9 Son, Tran Cao
9 Stuckey, Peter James
9 Vidal, Germán
9 You, Jia-Huai
8 Antoniou, Grigoris
8 Greco, Sergio
8 Hunter, Anthony
8 Molinaro, Cristian
8 Pimentel, Elaine
8 Rondogiannis, Panos
8 Tompits, Hans
8 Vermeir, Dirk
7 Alpuente, María
7 Amendola, Giovanni
7 Amgoud, Leila
7 Balduccini, Marcello
7 Baral, Chitta R.
7 Bellodi, Elena
7 Calimeri, Francesco
7 Carro, Manuel
7 De Schreye, Danny
7 del Vado Vírseda, Rafael
7 Fariñas del Cerro, Luis
7 Gabbrielli, Maurizio
7 Gallagher, John P.
7 Governatori, Guido
7 Harrison, Amelia
7 Ianni, Giovambattista
7 López-García, Pedro
7 Mauá, Denis Deratani
7 Osorio, Mauricio A.
7 Russo, Alessandra M.
7 Swift, Terrance
7 Vennekens, Joost
7 Zhang, Yan
6 Albert, Elvira
6 Bertossi, Leopoldo E.
6 Bogaerts, Bart
6 Bruni, Roberto
6 Chesñevar, Carlos Iván
6 Dovier, Agostino
6 Falappa, Marcelo Alejandro
6 Fichte, Johannes Klaus
6 Gagliardi Cozman, Fabio
6 Gonçalves, Ricardo
6 Inoue, Katsumi
6 Janssens, Gerda
6 Lin, Fangzhen
6 Manna, Marco
6 Meseguer Guaita, José
6 Morak, Michael
6 Morales, Jose Francisco
6 Papini, Odile
6 Pettorossi, Alberto
6 Proietti, Maurizio
6 Pührer, Jörg
6 Rocha, Ricardo
6 Sáenz-Pérez, Fernando
6 Sakama, Chiaki
6 Sato, Taisuke
6 Schneider-Kamp, Peter
6 Søndergaard, Harald
...and 1,319 more Authors
all top 5

Cited in 81 Journals

307 Theory and Practice of Logic Programming
99 Artificial Intelligence
70 Annals of Mathematics and Artificial Intelligence
58 International Journal of Approximate Reasoning
45 Theoretical Computer Science
22 Journal of Applied Logic
20 Machine Learning
17 Constraints
15 Journal of Applied Non-Classical Logics
14 Journal of Automated Reasoning
12 Fuzzy Sets and Systems
12 ACM Transactions on Computational Logic
11 Information and Computation
8 Journal of Computer and System Sciences
8 Fundamenta Informaticae
8 Journal of Logical and Algebraic Methods in Programming
6 Formal Aspects of Computing
6 Formal Methods in System Design
5 Information Processing Letters
5 Studia Logica
5 Annals of Pure and Applied Logic
5 New Generation Computing
5 Theory of Computing Systems
5 Logical Methods in Computer Science
4 Information Sciences
4 Journal of Philosophical Logic
4 Science of Computer Programming
4 Journal of Symbolic Computation
4 Computers & Operations Research
4 MSCS. Mathematical Structures in Computer Science
4 International Journal of Computer Mathematics
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 Acta Informatica
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 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 European Journal of Operational Research
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 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