000 05366nam a22006255i 4500
001 978-3-540-31827-9
003 DE-He213
005 20240730184629.0
007 cr nn 008mamaa
008 100315s2005 gw | s |||| 0|eng d
020 _a9783540318279
_9978-3-540-31827-9
024 7 _a10.1007/11546207
_2doi
050 4 _aQ334-342
050 4 _aTA347.A78
072 7 _aUYQ
_2bicssc
072 7 _aCOM004000
_2bisacsh
072 7 _aUYQ
_2thema
082 0 4 _a006.3
_223
245 1 0 _aLogic Programming and Nonmonotonic Reasoning
_h[electronic resource] :
_b8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings /
_cedited by Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina.
250 _a1st ed. 2005.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2005.
300 _aXIV, 462 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v3662
505 0 _aInvited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming -- Halo I: A Controlled Experiment for Large Scale Knowledge Base Development -- ASP Foundations -- Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates -- Loops: Relevant or Redundant? -- Approximating Answer Sets of Unitary Lifschitz-Woo Programs -- On Modular Translations and Strong Equivalence -- ASP Extensions -- Guarded Open Answer Set Programming -- External Sources of Computation for Answer Set Solvers -- Answer Sets for Propositional Theories -- Applications -- An ID-Logic Formalization of the Composition of Autonomous Databases -- On the Local Closed-World Assumption of Data-Sources -- Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming -- Actions and Causations -- An Approximation of Action Theories of and Its Application to Conformant Planning -- Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theories -- Some Logical Properties of Nonmonotonic Causal Theories -- odular-?: An Elaboration Tolerant Approach to the Ramification and Qualification Problems -- Algorithms and Computation -- Platypus: A Platform for Distributed Answer Set Solving -- Solving Hard ASP Programs Efficiently -- Mode-Directed Fixed Point Computation -- Lookahead in Smodels Compared to Local Consistencies in CSP -- Foundations -- Nested Epistemic Logic Programs -- An Algebraic Account of Modularity in ID-Logic -- Default Reasoning with Preference Within Only Knowing Logic -- Semantics -- A Social Semantics for Multi-agent Systems -- Revisiting the Semantics of Interval Probabilistic Logic Programs -- Routley Semantics for Answer Sets -- The Well Supported Semantics for Multidimensional Dynamic Logic Programs -- Application Track -- Application ofSmodels in Quartet Based Phylogeny Construction -- Using Answer Set Programming for a Decision Support System -- Data Integration: a Challenging ASP Application -- Abduction and Preferences in Linguistics -- Inference of Gene Relations from Microarray Data by Abduction -- System Track -- nomore: A System for Computing Preferred Answer Sets -- Integrating an Answer Set Solver into Prolog: - -- circ2dlp - Translating Circumscription into Disjunctive Logic Programming -- Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers -- KMonitor- A Tool for Monitoring Plan Execution in Action Theories -- The nomore++ System -- Smodels A - A System for Computing Answer Sets of Logic Programs with Aggregates -- A DLP System with Object-Oriented Features -- Testing Strong Equivalence of Datalog Programs - Implementation and Examples -- SELP - A System for Studying Strong Equivalence Between Logic Programs -- cmodels - SAT-Based Disjunctive Answer Set Solver.
650 0 _aArtificial intelligence.
_93407
650 0 _aComputer science.
_99832
650 0 _aSoftware engineering.
_94138
650 0 _aMachine theory.
_9136115
650 0 _aComputer programming.
_94169
650 1 4 _aArtificial Intelligence.
_93407
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aFormal Languages and Automata Theory.
_9136116
650 2 4 _aProgramming Techniques.
_9136117
700 1 _aBaral, Chitta.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9136118
700 1 _aGreco, Gianluigi.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9136119
700 1 _aLeone, Nicola.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9136120
700 1 _aTerracina, Giorgio.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9136121
710 2 _aSpringerLink (Online service)
_9136122
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540285380
776 0 8 _iPrinted edition:
_z9783540814825
830 0 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v3662
_9136123
856 4 0 _uhttps://doi.org/10.1007/11546207
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c92403
_d92403