LEADER 01618nas 2200505-- 450 001 996205394003316 005 20230321201718.0 011 $a1920-1346 035 $a(CKB)110985822453766 035 $a(CONSER)---74647250- 035 $a(DE-599)ZDB2565433-0 035 $a(EXLCZ)99110985822453766 100 $a20750731b19711980 --- b 101 0 $afre 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aCahier de linguistique 210 $aMontréal$cPresses de l'Université du Québec 215 $a1 online resource 300 $aSome volumes have also a distinctive title. 311 08$aPrint version: Cahier de linguistique. 0315-4025 (DLC) 74647250 (OCoLC)1795759 531 0 $aCah. linguist. 606 $aLinguistics$vPeriodicals 606 $aFrench language$vPeriodicals 606 $aPhilosophie française$vPériodiques 606 $aFrench language$2fast$3(OCoLC)fst00934333 606 $aLinguistics$2fast$3(OCoLC)fst00999202 606 $alinguistique$vpériodique$2rero 608 $aPeriodicals.$2lcgft 608 $a[Périodique].$2rerovoc 608 $aPeriodicals.$2fast 615 0$aLinguistics 615 0$aFrench language 615 6$aPhilosophie française 615 7$aFrench language. 615 7$aLinguistics. 615 7$alinguistique 676 $a410/.5 712 02$aUniversité du Québec à Montréal.$bDépartement de linguistique. 906 $aJOURNAL 912 $a996205394003316 920 $aexl_impl conversion 996 $aCahier de linguistique$92206093 997 $aUNISA LEADER 05497nam 22007455 450 001 9910590059503321 005 20251225203452.0 010 $a9783031157073 010 $a3031157079 024 7 $a10.1007/978-3-031-15707-3 035 $a(MiAaPQ)EBC7078231 035 $a(Au-PeEL)EBL7078231 035 $a(CKB)24750398000041 035 $a(PPN)264191528 035 $a(BIP)85478846 035 $a(BIP)85215917 035 $a(DE-He213)978-3-031-15707-3 035 $a(EXLCZ)9924750398000041 100 $a20220826d2022 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLogic Programming and Nonmonotonic Reasoning $e16th International Conference, LPNMR 2022, Genova, Italy, September 5?9, 2022, Proceedings /$fedited by Georg Gottlob, Daniela Inclezan, Marco Maratea 205 $a1st ed. 2022. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022. 215 $a1 online resource (536 pages) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v13416 311 08$aPrint version: Gottlob, Georg Logic Programming and Nonmonotonic Reasoning Cham : Springer International Publishing AG,c2022 9783031157066 327 $aTechnical Contributions -- Syntactic ASP Forgetting with Forks -- Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds -- Enumeration of minimal models and MUSes in WASP -- Statistical Statements in Probabilistic Logic Programming -- A Comparative Study of Three Neural-Symbolic Approaches to Inductive Logic Programming -- A Definition of Sceptical Semantics in the Constellations Approach -- SHACL: A Description Logic in Disguise -- Tunas - Fishing for diverse Answer Sets: a Multi-Shot Trade up Strategy -- Emotional Reasoning in an Action Language for Emotion-Aware Planning -- Metric Temporal Answer Set Programming over Timed Traces -- Epistemic Logic Programs: a study of some properties -- Deep learning for the generation of heuristics in answer set programming: a case study of graph coloring -- A Qualitative Temporal Extension of Here-and-There Logic -- Representing Abstract Dialectical Frameworks with Binary Decision Diagrams -- Arguing Correctness of ASP Programs with Aggregates -- Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination -- IASCAR: Incremental Answer Set Counting by Anytime Refinement -- Reasoning about actions with EL ontologies and temporal answer sets for DLTL -- Inference to the Stable Explanations -- Semantics for Conditional Literals via the SM Operator -- State Transition in Multi-agent Epistemic Domains using Answer Set Programming -- Towards Provenance in Heterogeneous Knowledge Bases -- Computing Smallest MUSes of Quantified Boolean Formulas -- Pinpointing Axioms in Ontologies via ASP -- Interlinking Logic Programs and Argumentation Frameworks -- Gradient-Based Supported Model Computation in Vector Spaces -- Towards Causality-Based Conflict Resolution in Answer Set Programs -- xASP: An Explanation Generation System for Answer Set Programming -- Systems -- Solving Problems in the Polynomial Hierarchy with ASP(Q) -- A Practical Account into Counting Dung?s Extensions by Dynamic Programming -- clingraph: ASP-based Visualization -- A Machine Learning System to Improve the Performance of ASP -- QMaxSATpb: A Certified MaxSAT Solver -- Applications -- Knowledge-Based Support for Adhesive Selection -- ASP for Flexible Payroll Management -- Analysis of Cyclic Fault Propagation via ASP -- Learning to Rank the Distinctiveness of Behaviour in Serial Offending -- Optimising Business Process Discovery using Answer Set Programming -- DeduDeep: an Extensible Framework for Combining Deep Learning and ASP-based Models. 330 $aChapters ?Statistical Statements in Probabilistic Logic Programming? and ?Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination? are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v13416 606 $aArtificial intelligence 606 $aComputer programming 606 $aCompilers (Computer programs) 606 $aComputer science 606 $aInformation technology$xManagement 606 $aArtificial Intelligence 606 $aProgramming Techniques 606 $aCompilers and Interpreters 606 $aComputer Science Logic and Foundations of Programming 606 $aComputer Application in Administrative Data Processing 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aCompilers (Computer programs) 615 0$aComputer science. 615 0$aInformation technology$xManagement. 615 14$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aCompilers and Interpreters. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aComputer Application in Administrative Data Processing. 676 $a005.115 676 $a005.115 702 $aGottlob$b G$g(Georg), 702 $aInclezan$b Daniela 702 $aMaratea$b Marco 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910590059503321 996 $aLogic Programming and Nonmonotonic Reasoning$9772042 997 $aUNINA