Logic programming and nonmonotonic reasoning :7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings

• 其他作者: Lifschitz, Vladimir. , Niemelä, Ilkka,
• 出版: Berlin ;New York : Springer ©2004.
• 稽核項: 1 online resource (ix, 364 pages) :illustrations.
• 叢書名: Lecture notes in computer science ;2923.Lecture notes in artificial intelligence
• 標題: Nonmonotonic reasoning. , COMPUTERS Programming -- Open Source. , Electronic books. , Nonmonotonic reasoning , COMPUTERS , Conference papers and proceedings. , Logic programming , Nonmonotonic reasoning Congresses. , ProgrammingOpen Source. , COMPUTERS Software Development & Engineering -- Tools. , Software Development & EngineeringGeneral. , Logic programming Congresses. , COMPUTERS Software Development & Engineering -- General. , Software Development & EngineeringTools. , Logic programming.
• ISBN: 3540246096 , 9783540246091
• ISBN: 354020721X , 9783540207214
• 試查全文@TNUA:
  
• 附註: Includes bibliographical references and index. Invited Papers -- Constraints and Probabilistic Networks: A Look At The Interface -- Toward A Universal Inference Engine -- Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative -- Regular Papers -- Semantics for Dynamic Logic Programming: A Principle-Based Approach -- Probabilistic Reasoning With Answer Sets -- Answer Sets: From Constraint Programming Towards Qualitative Optimization -- A Logic of Non-monotone Inductive Definitions and Its Modularity Properties -- Reasoning About Actions and Change in Answer Set Programming -- Almost Definite Causal Theories -- Simplifying Logic Programs Under Uniform and Strong Equivalence -- Towards Automated Integration of Guess and Check Programs in Answer Set Programming -- Towards Automated Integration of Guess and Check Programs in Answer Set Programming -- Graphs and Colorings for Answer Set Programming: Abridged Report -- Nondefinite vs. Definite Causal Theories -- Logic Programs With Monotone Cardinality Atoms -- Set Constraints in Logic Programming -- Verifying the Equivalence of Logic Programs in the Disjunctive Case -- Uniform Equivalence for Equilibrium Logic and Logic Programs -- Partial Stable Models for Logic Programs with Aggregates -- Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs -- Using Criticalities as a Heuristic for Answer Set Programming -- Planning with Preferences Using Logic Programming -- Planning with Sensing Actions and Incomplete Information Using Logic Programming -- Deduction in Ontologies via ASP -- Strong Equivalence for Causal Theories -- Answer Set Programming with Clause Learning -- Properties of Iterated Multiple Belief Revision -- System Descriptions -- System Description: DLV with Aggregates -- GNT -- A Solver for Disjunctive Logic Programs -- LPEQ and DLPEQ -- Translators for Automated Equivalence Testing of Logic Programs -- DLV DB : Bridging the Gap between ASP Systems and DBMSs -- Cmodels-2: SAT-based
• 摘要: This book constitutes the refereed proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2004, held in Fort Lauderdale, Florida, USA in January 2004. The 24 revised full papers presented together with 8 system descriptions were carefully reviewed and selected for presentation. Among the topics addressed are declarative logic programming, nonmonotonic reasoning, knowledge representation, combinatorial search, answer set programming, constraint programming, deduction in ontologies, and planning.
• 電子資源: https://dbs.tnua.edu.tw/login?url=https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=127800
• 系統號: 005315087
• 資料類型: 電子書
• 讀者標籤: 需登入
• 引用網址: 複製連結
• 目前引用數