×

Lparse

swMATH ID: 4633
Software Authors: Tommi Syrjänen
Description: Lparse Smodels works with variable-free programs that are quite cumbersome to generate by hand. Lparse is a front-end that adds variables (and a lot of other stuff) to the accepted language and generates a variable-free simple logic program that can be given to smodels. Lparse also implements several other semantics (classical negation, partial stable models) by translating them into normal logic programs.
Homepage: http://www.tcs.hut.fi/Software/smodels/
Programming Languages: C++
Operating Systems: Windows 95/98
Dependencies: Borland C++ version 5.5
Keywords: smodel
Related Software: Gringo; ASSAT; MiniSat; Smodels; Cmodels; clasp; Clingo; Potassco; WASP; Clingcon; Chaff; NoMoRe; DLV; OntoDLV; spock; IDP3; ROSoClingo; SATzilla; oClingo; DLV-EX
Cited in: 42 Publications
Further Publications: http://www.tcs.hut.fi/Software/smodels/index.html#publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
Lparse programs revisited: Semantics and representation of aggregates. Zbl 1185.68167
Liu, Guohua; You, Jia-Huai
2008
all top 5

Cited by 74 Authors

12 Schaub, Torsten H.
10 Gebser, Martin
7 You, Jia-Huai
4 Kaminski, Roland
4 Kaufmann, Benjamin
4 Perri, Simona
4 Shen, Yidong
3 Faber, Wolfgang
3 Leone, Nicola
3 Wang, Yisong
3 Yuan, Li Yan
2 Brain, Martin
2 Calimeri, Francesco
2 De Vos, Marina
2 Dodaro, Carmine
2 Fichte, Johannes Klaus
2 Fitch, John
2 Lierler, Yuliya
2 Liu, Guohua
2 Sabuncu, Orkunt
2 Thiele, Sven
2 Truszczyński, Mirosław
2 Veber, Philippe
2 Woltran, Stefan
2 Zhang, Mingyi
1 Akman, Varol
1 Alpaslan, Ferda Nur
1 Alviano, Mario
1 Anger, Christian
1 Bisiani, Roberto
1 Boenn, Georg
1 Bogaerts, Bart
1 Catalano, Gelsomina
1 Crick, Tom
1 De Angelis, Emanuele
1 De Wulf, Wolf
1 Dell’Armi, Tina
1 Drescher, Christian
1 Dworschak, Steve
1 Eiter, Thomas
1 Fink, Michael
1 Fuscà, Davide
1 Grell, Susanne
1 Hecher, Markus
1 Ielpa, Giuseppe
1 Janhunen, Tomi
1 Konczak, Kathrin
1 Kronegger, Martin
1 Linke, Thomas
1 Maratea, Marco
1 Marek, V. Wiktor
1 Merico, Davide
1 Mileo, Alessandra
1 Mitchell, David G. M.
1 Niemelä, Ilkka N. F.
1 Nikiforova, Victoria J.
1 Oikarinen, Emilia
1 Ostrowski, Max
1 Pettorossi, Alberto
1 Pfeifer, Gerald
1 Philipp, Tobias
1 Proietti, Maurizio
1 Rath, Jakob
1 Ricca, Francesco
1 Scarcello, Francesco
1 Schneider, Marius Thomas
1 Schwitter, Rolf
1 Selbig, Joachim
1 Ternovska, Eugenia
1 Usadel, Björn
1 Wang, Kewen
1 Wang, Shujing
1 Zangari, Jessica
1 Zhang, Yan
all top 5

Cited in 10 Serials

10 Theory and Practice of Logic Programming
4 Annals of Mathematics and Artificial Intelligence
3 Constraints
2 AI Communications
2 Fundamenta Informaticae
1 Artificial Intelligence
1 Theoretical Computer Science
1 Journal of Algorithms
1 The Journal of Artificial Intelligence Research (JAIR)
1 ACM Transactions on Computational Logic
all top 5

Cited in 6 Fields

41 Computer science (68-XX)
1 General and overarching topics; collections (00-XX)
1 Mathematical logic and foundations (03-XX)
1 Operations research, mathematical programming (90-XX)
1 Biology and other natural sciences (92-XX)
1 Information and communication theory, circuits (94-XX)

Citations by Year