000			05272nam a22006255i 4500
001			978-3-540-31827-9
003			DE-He213
005			20240423125718.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.
650		0	_aComputer science.
650		0	_aSoftware engineering.
650		0	_aMachine theory.
650		0	_aComputer programming.
650	1	4	_aArtificial Intelligence.
650	2	4	_aComputer Science Logic and Foundations of Programming.
650	2	4	_aSoftware Engineering.
650	2	4	_aFormal Languages and Automata Theory.
650	2	4	_aProgramming Techniques.
700	1		_aBaral, Chitta. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aGreco, Gianluigi. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aLeone, Nicola. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aTerracina, Giorgio. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink (Online service)
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
856	4	0	_uhttps://doi.org/10.1007/11546207
912			_aZDB-2-SCS
912			_aZDB-2-SXCS
912			_aZDB-2-LNC
942			_cSPRINGER
999			_c180918 _d180918