Logic Programming and Nonmonotonic Reasoning : 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 Proceedings / edited by Michael Gelfond, Nicole Leone, Gerald Pfeifer.

Format:

Book

Contributor:

Gelfond, Michael, editor.

Leone, Nicole, editor.

Pfeifer, Gerald, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

Lecture notes in computer science. Lecture notes in artificial intelligence ; 1730.

Lecture Notes in Artificial Intelligence ; 1730

Language:

English

Subjects (All):

Software engineering.

Computers.

Artificial intelligence.

Logic, Symbolic and mathematical.

Computer programming.

Software Engineering/Programming and Operating Systems.

Theory of Computation.

Artificial Intelligence.

Mathematical Logic and Formal Languages.

Programming Techniques.

Local Subjects:

Software Engineering/Programming and Operating Systems.

Theory of Computation.

Artificial Intelligence.

Mathematical Logic and Formal Languages.

Programming Techniques.

Physical Description:

1 online resource (XII, 396 pages).

Edition:

First edition 1999.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.

System Details:

text file PDF

Contents:

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.

Other Format:

Printed edition:

ISBN:

978-3-540-46767-0

9783540467670

Access Restriction:

Restricted for use by site license.