Published in: OASIcs, Volume 94, 10th Symposium on Languages, Applications and Technologies (SLATE 2021)
Filipa Alves dos Santos, Hugo André Coelho Cardoso, João da Cunha e Costa, Válter Ferreira Picas Carvalho, and José Carlos Ramalho. DataGen: JSON/XML Dataset Generator. In 10th Symposium on Languages, Applications and Technologies (SLATE 2021). Open Access Series in Informatics (OASIcs), Volume 94, pp. 6:1-6:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{santos_et_al:OASIcs.SLATE.2021.6, author = {Santos, Filipa Alves dos and Cardoso, Hugo Andr\'{e} Coelho and da Cunha e Costa, Jo\~{a}o and Carvalho, V\'{a}lter Ferreira Picas and Ramalho, Jos\'{e} Carlos}, title = {{DataGen: JSON/XML Dataset Generator}}, booktitle = {10th Symposium on Languages, Applications and Technologies (SLATE 2021)}, pages = {6:1--6:14}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-202-0}, ISSN = {2190-6807}, year = {2021}, volume = {94}, editor = {Queir\'{o}s, Ricardo and Pinto, M\'{a}rio and Sim\~{o}es, Alberto and Portela, Filipe and Pereira, Maria Jo\~{a}o}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2021.6}, URN = {urn:nbn:de:0030-drops-144239}, doi = {10.4230/OASIcs.SLATE.2021.6}, annote = {Keywords: JSON, XML, Data Generation, Open Source, REST API, Strapi, JavaScript, Node.js, Vue.js, Scalability, Fault Tolerance, Dataset, DSL, PEG.js, MongoDB} }
Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)
Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@Proceedings{dovier_et_al:LIPIcs.ICLP.2012, title = {{LIPIcs, Volume 17, ICLP'12, Complete Volume}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2013}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012}, URN = {urn:nbn:de:0030-drops-41110}, doi = {10.4230/LIPIcs.ICLP.2012}, annote = {Keywords: Logic Programming, Software Engineering, Mathematical Logic, Knowledge Representation Formalisms and Methods, Problem Solving, Control Methods} }
Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)
Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. i-xvi, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{dovier_et_al:LIPIcs.ICLP.2012.i, author = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, title = {{Frontmatter, Table of Contents, List of Authors}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {i--xvi}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.i}, URN = {urn:nbn:de:0030-drops-36033}, doi = {10.4230/LIPIcs.ICLP.2012.i}, annote = {Keywords: Frontmatter, Table of Contents, List of Authors} }
Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)
Agostino Dovier and Vítor Santos Costa. Introduction to the Technical Communications of the 28th International Conference on Logic Programming Special Issue. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 17-21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{dovier_et_al:LIPIcs.ICLP.2012.xvii, author = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, title = {{Introduction to the Technical Communications of the 28th International Conference on Logic Programming Special Issue}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {17--21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.xvii}, URN = {urn:nbn:de:0030-drops-36053}, doi = {10.4230/LIPIcs.ICLP.2012.xvii}, annote = {Keywords: Logic Programming, Organization Details} }
Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)
François Bry and Sebastian Schaffert. Simulation Unification: Beyond Querying Semistructured Data (Invited Talk). In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{bry_et_al:LIPIcs.ICLP.2012.1, author = {Bry, Fran\c{c}ois and Schaffert, Sebastian}, title = {{Simulation Unification: Beyond Querying Semistructured Data}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {1--13}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.1}, URN = {urn:nbn:de:0030-drops-36060}, doi = {10.4230/LIPIcs.ICLP.2012.1}, annote = {Keywords: Simulation Unification, (Semantic) Web Querying} }
Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)
Hendrik Blockeel, Bart Bogaerts, Maurice Bruynooghe, Broes De Cat, Stef De Pooter, Marc Denecker, Anthony Labarre, Jan Ramon, and Sicco Verwer. Modeling Machine Learning and Data Mining Problems with FO(·). In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 14-25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{blockeel_et_al:LIPIcs.ICLP.2012.14, author = {Blockeel, Hendrik and Bogaerts, Bart and Bruynooghe, Maurice and De Cat, Broes and De Pooter, Stef and Denecker, Marc and Labarre, Anthony and Ramon, Jan and Verwer, Sicco}, title = {{Modeling Machine Learning and Data Mining Problems with FO(·)}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {14--25}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.14}, URN = {urn:nbn:de:0030-drops-36049}, doi = {10.4230/LIPIcs.ICLP.2012.14}, annote = {Keywords: Knowledge representation and reasoning, declarative modeling, logic programming, knowledge base systems, FO(·), IDP framework, stemmatology, phylogene} }
Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)
Chitta Baral, Nguyen Ha Vo, and Shanshan Liang. Answering Why and How questions with respect to a frame-based knowledge base: a preliminary report. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 26-36, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{baral_et_al:LIPIcs.ICLP.2012.26, author = {Baral, Chitta and Ha Vo, Nguyen and Liang, Shanshan}, title = {{Answering Why and How questions with respect to a frame-based knowledge base: a preliminary report}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {26--36}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.26}, URN = {urn:nbn:de:0030-drops-36078}, doi = {10.4230/LIPIcs.ICLP.2012.26}, annote = {Keywords: answer set programming, frame based knowledge representation, question answering.} }
Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)
Marco Maratea, Luca Pulina, and Francesco Ricca. Applying Machine Learning Techniques to ASP Solving. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 37-48, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{maratea_et_al:LIPIcs.ICLP.2012.37, author = {Maratea, Marco and Pulina, Luca and Ricca, Francesco}, title = {{Applying Machine Learning Techniques to ASP Solving}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {37--48}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.37}, URN = {urn:nbn:de:0030-drops-36080}, doi = {10.4230/LIPIcs.ICLP.2012.37}, annote = {Keywords: Answer Set Programming, Automated Algorithm Selection, Multi-Engine solvers} }
Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)
Marcello Balduccini. An Answer Set Solver for non-Herbrand Programs: Progress Report. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 49-60, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{balduccini:LIPIcs.ICLP.2012.49, author = {Balduccini, Marcello}, title = {{An Answer Set Solver for non-Herbrand Programs: Progress Report}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {49--60}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.49}, URN = {urn:nbn:de:0030-drops-36099}, doi = {10.4230/LIPIcs.ICLP.2012.49}, annote = {Keywords: Answer Set Programming, non-Herbrand Functions, Answer Set Solving, Knowledge Representation and Reasoning} }
Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)
Joohyung Lee and Yunsong Meng. Stable Models of Formulas with Generalized Quantifiers (Preliminary Report). In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 61-71, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{lee_et_al:LIPIcs.ICLP.2012.61, author = {Lee, Joohyung and Meng, Yunsong}, title = {{Stable Models of Formulas with Generalized Quantifiers}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {61--71}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.61}, URN = {urn:nbn:de:0030-drops-36105}, doi = {10.4230/LIPIcs.ICLP.2012.61}, annote = {Keywords: answer set programming, stable model semantics, generalized quantifiers} }
Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)
Florian Schanda and Martin Brain. Using Answer Set Programming in the Development of Verified Software. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 72-85, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{schanda_et_al:LIPIcs.ICLP.2012.72, author = {Schanda, Florian and Brain, Martin}, title = {{Using Answer Set Programming in the Development of Verified Software}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {72--85}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.72}, URN = {urn:nbn:de:0030-drops-36114}, doi = {10.4230/LIPIcs.ICLP.2012.72}, annote = {Keywords: Answer Set Programming, verification, SPARK, Ada, contract based verification, safety critical} }
Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)
Mutsunori Banbara, Naoyuki Tamura, and Katsumi Inoue. Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 86-97, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{banbara_et_al:LIPIcs.ICLP.2012.86, author = {Banbara, Mutsunori and Tamura, Naoyuki and Inoue, Katsumi}, title = {{Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {86--97}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.86}, URN = {urn:nbn:de:0030-drops-36127}, doi = {10.4230/LIPIcs.ICLP.2012.86}, annote = {Keywords: Event-Sequence Testing, Answer Set Programming, Matrix Model, Constraint Programming, Propositional Satisfiability (SAT)} }
Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)
Elvira Albert, Puri Arenas, and Miguel Gómez-Zamalloa. Towards Testing Concurrent Objects in CLP. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 98-108, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{albert_et_al:LIPIcs.ICLP.2012.98, author = {Albert, Elvira and Arenas, Puri and G\'{o}mez-Zamalloa, Miguel}, title = {{Towards Testing Concurrent Objects in CLP}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {98--108}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.98}, URN = {urn:nbn:de:0030-drops-36134}, doi = {10.4230/LIPIcs.ICLP.2012.98}, annote = {Keywords: Testing, Glass-box Test Data Generation, Active Objects, Symbolic Execution} }
Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)
Slim Abdennadher and Nada Sharaf. Visualization of CHR through Source-to-Source Transformation. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 109-118, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{abdennadher_et_al:LIPIcs.ICLP.2012.109, author = {Abdennadher, Slim and Sharaf, Nada}, title = {{Visualization of CHR through Source-to-Source Transformation}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {109--118}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.109}, URN = {urn:nbn:de:0030-drops-36148}, doi = {10.4230/LIPIcs.ICLP.2012.109}, annote = {Keywords: Source-to-Source Transformation, Constraint Handling Rules, Visualization} }
Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)
Zsolt Zombori, János Csorba, and Péter Szeredi. Static Type Inference for the Q language using Constraint Logic Programming. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 119-129, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{zombori_et_al:LIPIcs.ICLP.2012.119, author = {Zombori, Zsolt and Csorba, J\'{a}nos and Szeredi, P\'{e}ter}, title = {{Static Type Inference for the Q language using Constraint Logic Programming}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {119--129}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.119}, URN = {urn:nbn:de:0030-drops-36150}, doi = {10.4230/LIPIcs.ICLP.2012.119}, annote = {Keywords: logic programming, types, static type checking, CSP, CHR, Q language} }
Feedback for Dagstuhl Publishing