Logic Programming and Nonmonotonic Reasoning 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Gelfond, Michael (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Leone, Nicole (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Pfeifer, Gerald (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
• Έκδοση: 1st ed. 1999.
• Σειρά: Lecture Notes in Artificial Intelligence ; 1730
• Θέματα: Software engineering.; Computers.; Artificial intelligence.; Mathematical logic.; Computer programming.; Software Engineering/Programming and Operating Systems.; Theory of Computation.; Artificial Intelligence.; Mathematical Logic and Formal Languages.; Programming Techniques.

Πίνακας περιεχομένων:

• Contributed Papers
• Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning
• Classifying Semi-Normal Default Logic on the Basis of its Expressive Power
• Locally Determined Logic Programs
• Annotated Revision Programs
• Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning
• An Argumentation Framework for Reasoning about Actions and Change
• Representing Transition Systems by Logic Programs
• Transformations of Logic Programs Related to Causality and Planning
• From Causal Theories to Logic Programs (Sometimes)
• Monotone Expansion of Updates in Logical Databases
• Updating Extended Logic Programs through Abduction
• LUPS - A Language for Updating Logic Programs
• Pushing Goal Derivation in DLP Computations
• Linear Tabulated Resolution for the Well-Founded Semantics
• A Case Study in Using Preference Logic Grammars for Knowledge Representation
• Minimal Founded Semantics for Disjunctive Logic Programming
• On the Role of Negation in Choice Logic Programs
• Default Reasoning via Blocking Sets
• Coherent Well-founded Annotated Logic Programs
• Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
• Extending Disjunctive Logic Programming by T-norms
• Extending the Stable Model Semantics with More Expressive Rules
• Stable Model Semantics of Weight Constraint Rules
• Towards First-Order Nonmonotonic Reasoning
• A Comparison of Sceptical NAF-Free Logic Programming Approaches
• Characterizations of Classes of Programs by Three-Valued Operators
• Invited Talks
• Using LPNMR for Problem Specification and Code Generation
• Answer Set Planning
• World-Modeling vs. World-Axiomatizing
• Practical Nonmonotonic Reasoning: Extending Inheritance Techniques to Solve Real-World Problems.