東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Logic programming and nonmonotonic r...

LPNMR (Conference) (2024 :)

Linked to FindBook

Google Book

Amazon

博客來

Logic programming and nonmonotonic reasoning = 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Logic programming and nonmonotonic reasoning/ edited by Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez.
Reminder of title:	17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024 : proceedings /
remainder title:	LPNMR 20204
other author:	Dodaro, Carmine.
corporate name:	LPNMR (Conference)
Published:	Cham :Springer Nature Switzerland : : 2025.,
Description:	xvii, 408 p. :ill. (some col.), digital ;24 cm.
[NT 15003449]:	Deductive Systems for Logic Programs with Counting: Preliminary Report. -- Compiling Metric Temporal Answer Set Programming. -- A Sequent Calculus for Generalized Inductive Definitions. -- tExplain: Information Extraction with Explanations. -- ASP-based Large Neighborhood Prioritized Search for Course Timetabling. -- Towards Industrial-scale Product Configuration. -- An ILASP-Based Approach to Repair Petri Nets. -- Abstract Dialectical Frameworks are Boolean Networks. -- Using Learning from Answer Sets for robust question answering with LLM. -- Multi-paradigm Logic Programming in the ErgoAI System. -- An ASP-based approach to water distribution system reconstruction. -Consequence Operators of Characterization Logics - The Case of Abstract Argumentation. -- Efficiently grounding FOL using bit vectors. -- Integrating MiniZinc with ASP Chef: Browser-Based Constraint Programming for Education and Prototyping. -- Answer Set Explanations via Preferred Unit-Provable Unsatisfiable Subsets. -- Towards Mass Spectrum Analysis with ASP. -- Monitoring and Scheduling of Semiconductor Failure Analysis Labs. -- Approach to Abstraction in Answer Set Programming and Assumption-based Argumentation. -- On Forgetting in Assumption-Based Argumentation. -- Towards Explainable Weather Forecasting Through FastLAS. -- Semantic-based Arguments using Logic Programming Rewriting Systems. -Modelling Dialogues in a Concurrent Language for Argumentation. -- A Fixpoint Characterisation of Temporal Equilibrium Logic. -- A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory. -- A Multi-Agent Simulation for Supply Chains Contract Execution. -- Reasoning and Explanation Generation in Ad hoc Collaboration between Humans and Embodied AI. -- Policies, Penalties, and Autonomous Agents. -- LTLf2ASP: LTLf Bounded Satisfiability in ASP. -- Integrating Structured Declarative Language (SDL) into ASP Chef. -- A Generalisation of Epistemic Splitting Property.
Contained By:	Springer Nature eBook
Subject:	Logic programming - Congresses. -
Online resource:	https://doi.org/10.1007/978-3-031-74209-5
ISBN:	9783031742095

Logic programming and nonmonotonic reasoning = 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024 : proceedings /
Logic programming and nonmonotonic reasoning17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024 : proceedings /[electronic resource] :LPNMR 20204edited by Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez. - Cham :Springer Nature Switzerland :2025. - xvii, 408 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,152451611-3349 ;. - Lecture notes in computer science ;15245..

Deductive Systems for Logic Programs with Counting: Preliminary Report. -- Compiling Metric Temporal Answer Set Programming. -- A Sequent Calculus for Generalized Inductive Definitions. -- tExplain: Information Extraction with Explanations. -- ASP-based Large Neighborhood Prioritized Search for Course Timetabling. -- Towards Industrial-scale Product Configuration. -- An ILASP-Based Approach to Repair Petri Nets. -- Abstract Dialectical Frameworks are Boolean Networks. -- Using Learning from Answer Sets for robust question answering with LLM. -- Multi-paradigm Logic Programming in the ErgoAI System. -- An ASP-based approach to water distribution system reconstruction. -Consequence Operators of Characterization Logics - The Case of Abstract Argumentation. -- Efficiently grounding FOL using bit vectors. -- Integrating MiniZinc with ASP Chef: Browser-Based Constraint Programming for Education and Prototyping. -- Answer Set Explanations via Preferred Unit-Provable Unsatisfiable Subsets. -- Towards Mass Spectrum Analysis with ASP. -- Monitoring and Scheduling of Semiconductor Failure Analysis Labs. -- Approach to Abstraction in Answer Set Programming and Assumption-based Argumentation. -- On Forgetting in Assumption-Based Argumentation. -- Towards Explainable Weather Forecasting Through FastLAS. -- Semantic-based Arguments using Logic Programming Rewriting Systems. -Modelling Dialogues in a Concurrent Language for Argumentation. -- A Fixpoint Characterisation of Temporal Equilibrium Logic. -- A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory. -- A Multi-Agent Simulation for Supply Chains Contract Execution. -- Reasoning and Explanation Generation in Ad hoc Collaboration between Humans and Embodied AI. -- Policies, Penalties, and Autonomous Agents. -- LTLf2ASP: LTLf Bounded Satisfiability in ASP. -- Integrating Structured Declarative Language (SDL) into ASP Chef. -- A Generalisation of Epistemic Splitting Property.

This book constitutes the refereed proceedings of the 17th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2024, held in Dallas, TX, USA, during October 11-14, 2024. The 27 full papers and 3 short papers included in this book were carefully reviewed and selected from 48 submissions. They deal with declarative logic programming, non-monotonic reasoning, and knowledge representation, focusing on the design and implementation of logic-based programming languages and database systems.

ISBN: 9783031742095

Standard No.: 10.1007/978-3-031-74209-5doiSubjects--Topical Terms:

840448
Logic programming
--Congresses.

LC Class. No.: QA76.63 / .L64 2024

Dewey Class. No.: 005.115

Logic programming and nonmonotonic reasoning = 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024 : proceedings /
LDR:03760nmm a2200361 a 4500 001 2407843
003 DE-He213
005 20241011125732.0
006 m d
007 cr nn 008maaau
008 260204s2025 sz s 0 eng d
020 $a 9783031742095 $q (electronic bk.)
020 $a 9783031742088 $q (paper)
024 7 $a 10.1007/978-3-031-74209-5 $2 doi
035 $a 978-3-031-74209-5
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.63 $b .L64 2024
072 7 $a UYQ $2 bicssc
072 7 $a COM004000 $2 bisacsh
072 7 $a UYQ $2 thema
082 0 4 $a 005.115 $2 23
090 $a QA76.63 $b .L925 2024
111 2 $a LPNMR (Conference) $n (17th : $d 2024 : $c Dallas, Tex.) $3 3779947
245 1 0 $a Logic programming and nonmonotonic reasoning $h [electronic resource] : $b 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024 : proceedings / $c edited by Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez.
246 3 $a LPNMR 20204
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2025.
300 $a xvii, 408 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 1611-3349 ; $v 15245
490 1 $a Lecture notes in artificial intelligence
505 0 $a Deductive Systems for Logic Programs with Counting: Preliminary Report. -- Compiling Metric Temporal Answer Set Programming. -- A Sequent Calculus for Generalized Inductive Definitions. -- tExplain: Information Extraction with Explanations. -- ASP-based Large Neighborhood Prioritized Search for Course Timetabling. -- Towards Industrial-scale Product Configuration. -- An ILASP-Based Approach to Repair Petri Nets. -- Abstract Dialectical Frameworks are Boolean Networks. -- Using Learning from Answer Sets for robust question answering with LLM. -- Multi-paradigm Logic Programming in the ErgoAI System. -- An ASP-based approach to water distribution system reconstruction. -Consequence Operators of Characterization Logics - The Case of Abstract Argumentation. -- Efficiently grounding FOL using bit vectors. -- Integrating MiniZinc with ASP Chef: Browser-Based Constraint Programming for Education and Prototyping. -- Answer Set Explanations via Preferred Unit-Provable Unsatisfiable Subsets. -- Towards Mass Spectrum Analysis with ASP. -- Monitoring and Scheduling of Semiconductor Failure Analysis Labs. -- Approach to Abstraction in Answer Set Programming and Assumption-based Argumentation. -- On Forgetting in Assumption-Based Argumentation. -- Towards Explainable Weather Forecasting Through FastLAS. -- Semantic-based Arguments using Logic Programming Rewriting Systems. -Modelling Dialogues in a Concurrent Language for Argumentation. -- A Fixpoint Characterisation of Temporal Equilibrium Logic. -- A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory. -- A Multi-Agent Simulation for Supply Chains Contract Execution. -- Reasoning and Explanation Generation in Ad hoc Collaboration between Humans and Embodied AI. -- Policies, Penalties, and Autonomous Agents. -- LTLf2ASP: LTLf Bounded Satisfiability in ASP. -- Integrating Structured Declarative Language (SDL) into ASP Chef. -- A Generalisation of Epistemic Splitting Property.
520 $a This book constitutes the refereed proceedings of the 17th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2024, held in Dallas, TX, USA, during October 11-14, 2024. The 27 full papers and 3 short papers included in this book were carefully reviewed and selected from 48 submissions. They deal with declarative logic programming, non-monotonic reasoning, and knowledge representation, focusing on the design and implementation of logic-based programming languages and database systems.
650 0 $a Logic programming $v Congresses. $3 840448
650 0 $a Nonmonotonic reasoning $v Congresses. $3 849537
650 1 4 $a Artificial Intelligence. $3 769149
650 2 4 $a Programming Techniques. $3 892496
650 2 4 $a Compilers and Interpreters. $3 3592044
650 2 4 $a Computer Application in Administrative Data Processing. $3 3594379
700 1 $a Dodaro, Carmine. $3 3779948
700 1 $a Gupta, Gopal. $3 893509
700 1 $a Martinez, Maria Vanina. $3 3666218
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 15245. $3 3779949
830 0 $a Lecture notes in artificial intelligence. $3 3382562
856 4 0 $u https://doi.org/10.1007/978-3-031-74209-5
950 $a Computer Science (SpringerNature-11645)