Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3--6, 2017. Proceedings

DOI10.1007/978-3-319-61660-5MaRDI QIDQ2359449zbMATH OpenOpenAlexFDO

Authors

Publication date 28 June 2017

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-61660-5

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Logic programming and nonmonotonic reasoning. 15th international conference, LPNMR 2019, Philadelphia, PA, USA, June 3--7, 2019. Proceedings
• Logic programming and nonmonotonic reasoning. Proceedings of the 4th international conference, LPNMR '97, held in Dagstuhl, Germany, July 28--31, 1997
• Logic programming and nonmonotonic reasoning. 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6--8, 2004. Proceedings
• Logic programming and nonmonotonic reasoning. 12th international conference, LPNMR 2013, Corunna, Spain, September 15--19, 2013. Proceedings
• Logic programming and nonmonotonic reasoning. 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27--30, 2015. Proceedings
• Logic programming and nonmonotonic reasoning. 16th international conference, LPNMR 2022, Genova, Italy, September 5--9, 2022. Proceedings
• Logic programming and nonmonotonic reasoning. 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15--17, 2007. Proceedings
• Logic programming and nonmonotonic reasoning. 10th international conference, LPNMR 2009, Potsdam, Germany, September 14--18, 2009. Proceedings
• Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16--19, 2011. Proceedings
• Logic programming and nonmonotonic reasoning. Third international conference, LPNMR '95, Lexington, KY, USA, June 26--28, 1995. Proceedings

Cited in

(5)

• Optimal scheduling for exposed datapath architectures with buffered processing units by ASP
• Boosting Answer Set Optimization with Weighted Comparator Networks
• Multi-shot ASP solving with clingo
• Knowledge representation: modalities, conditionals, and nonmonotonic reasoning
• Refining the semantics of epistemic specifications

Describes a project that uses

Uses Software

• lp2normal
• Catnap
• NoHR
• Moviola
• ArgueApply
• plasp
• Harvey

This page was built for publication: Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3--6, 2017. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2359449)