会议文集


文集名Logic Programming and Nonmonotonic Reasoning
会议名17th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2024)
中译名《第十七届国际逻辑编程与非单调推理会议》
机构Assocation of Logic Programming (ALP)
会议日期October 11-14, 2024
会议地点Dallas, TX, USA
出版年2025
馆藏号355103


题名作者出版年
Deductive Systems for Logic Programs with Counting: Preliminary ReportJorge Fandinno; Vladimir Lifschitz2025
Compiling Metric Temporal Answer Set ProgrammingA. Becker; P. Cabalar; M. Dieguez; S. Hahn; J. Romero; T. Schaub2025
A Sequent Calculus for Generalized Inductive DefinitionsRobbe Van den Eede; Robbe Van Biervliet; Marc Denecker2025
TExplain: Information Extraction with ExplanationsPedro Cabalar; Adrian Dorsey; Jorge Fandinno; Yuliya Lierler; Brais Muniz; Joel Sare2025
ASP-Based Large Neighborhood Prioritized Search for Course TimetablingIrumi Sugimori; Katsumi Inoue; Hidetomo Nabeshima; Torsten Schaub; Takehide Soh; Naoyuki Tamura; Mutsunori Banbara2025
Towards Industrial-Scale Product ConfigurationJoachim Baumeister; Konstantin Herud; Max Ostrowski; Jochen Reutelshofer; Nicolas Ruhling; Torsten Schaub; Philipp Wanko2025
An ILASP-Based Approach to Repair Petri NetsFrancesco Chiariello; Antonio Ielo; Alice Tarzariol2025
Abstract Dialectical Frameworks are Boolean NetworksJesse Heyninck; Matthias Knorr; Joao Leite2025
Using Learning from Answer Sets for Robust Question Answering with LLMIrfan Kareem; Katie Gallagher; Manuel Borroto; Francesco Ricca; Alessandra Russo2025
Multi-paradigm Logic Programming in the εrgoAI SystemTheresa Swift; Michael Kifer2025
An ASP-Based Approach to Water Distribution System ReconstructionAntonio Ielo; Salvatore Falco; Salvatore Iiritano; Patrizia Piro; Ada Polizzi; Francesco Ricca2025
Consequence Operators of Characterization Logics - The Case of Abstract ArgumentationRingo Baumann; Hannes Strass2025
Efficiently Grounding FOL Using Bit VectorsLucas Van Laer; Simon Vandevelde; Joost Vennekens2025
Integrating MiniZinc with ASP Chef: Browser-Based Constraint Programming for Education and PrototypingMario Alviano; Luis Angel Rodriguez Reiners2025
Answer Set Explanations via Preferred Unit-Provable Unsatisfiable SubsetsMario Alviano; Susana Hahn; Orkunt Sabuncu; Hannes Weichelt2025
Towards Mass Spectrum Analysis with ASPNils Kuchenmeister; Alex Ivliev; Markus Krotzsch2025
Monitoring and Scheduling of Semiconductor Failure Analysis LabsElena Mastria; Domenico Pagliaro; Francesco Calimeri; Simona Perri; Martin Pleschberger; Konstantin Schekotihin2025
A Semantical Approach to Abstraction in Answer Set Programming and Assumption-Based ArgumentationIosif Apostolakis; Zeynep G. Saribatur; Johannes P. Wallner2025
On Forgetting in Assumption-Based ArgumentationMatti Berthold; Markus Ulbricht2025
Towards Explainable Weather Forecasting Through FastLASTalissa Dreossi; Agostino Dovier; Andrea Formisano; Mark Law; Agostino Manzato; Alessandra Russo; Matthew Tait2025
12



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  京公网安备11010202008970号  机械工业信息研究院 2018-2024