Logic Programming and Nonmonotonic Reasoning: 5th International Conference, Lpnmr '99, Ei Paso, Texas, Usa, December 2-4, 1999, Proceedings,9783540667490

Logic Programming and Nonmonotonic Reasoning: 5th International Conference, Lpnmr '99, Ei Paso, Texas, Usa, December 2-4, 1999, Proceedings

by ; ; ; ;
ISBN13: 9783540667490
ISBN10: 3540667490
Format: Paperback
Pub. Date: 1999-12-01
Publisher(s): Springer Verlag
List Price: $119.00

Rent Textbook

Select for Price
Add to Cart
There was a problem. Please try again later.

New Textbook

We're Sorry
Sold Out

Used Textbook

We're Sorry
Sold Out

eTextbook

We're Sorry
Not Available

Buy from our Marketplace starting at $56.82

How Marketplace Works:

  • This item is offered by an independent seller and not shipped from our warehouse
  • Item details like edition and cover design may differ from our description; see seller's comments before ordering.
  • Sellers much confirm and ship within two business days; otherwise, the order will be cancelled and refunded.
  • Marketplace purchases cannot be returned to eCampus.com. Contact the seller directly for inquiries; if no response within two days, contact customer service.
  • Additional shipping costs apply to Marketplace purchases. Review shipping costs at checkout.

Summary

Grundlage für ein erfolgreiches Studium der Naturwissenschaften, insbesondere der Physik, ist die Beherrschung grundlegender mathematischer Methoden. Der Heidelberger Vorkurs beginnt mit einfachen physikalischen Experimenten, deren Analyse zu den mathematischen Werkzeugen führt. Fragen, Hilfen und Antworten sind selbsterklärend. Der Grundkurs Mathematik umfaßt, angefangen von den Zahlen über Funktionen und deren Eigenschaften, Differenzien, Integrien und Räume. Der Chat Server verbindet Nutzer online untereinander. Alle nötige Software ist auf der CD-ROM. Netzwerklizenz erhältlich.

Table of Contents

Contributed Papers
Fixed Parameter Complexity in AI and Nonmonotonic Reasoning
1(18)
G. Gottlob
F. Scarcello
M. Sideri
Classifying Semi-Normal Default Logic on the Basis of its Expressive Power
19(15)
T. Janhunen
Locally Determined Logic Programs
34(15)
D. Cenzer
J. B. Remmel
A. Vanderbilt
Annotated Revision Programs
49(14)
V. Marek
I. Pivkina
M. Truszczynski
Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning
63(15)
J. Sefranek
An Argumentation Framework for Reasoning about Actions and Changes
78(14)
A. Kakas
R. Miller
F. Toni
Representing Transition Systems by Logic Programs
92(15)
V. Lifschitz
H. Turner
Transformations of Logic Programs Related to Causality and Planning
107(10)
E. Erdem
V. Lifschitz
From Causal Theories to Logic Programs (Sometimes)
117(15)
F. Lin
K. Wang
Monotone Expansion of Updates in Logical Databases
132(15)
M. Dekhtyar
A. Dikovsky
S. Dudakov
N. Spyratos
Updating Extended Logic Programs through Abduction
147(15)
C. Sakama
K. Inoue
LUPS -- A Language for Updating Logic Programs
162(15)
J. J. Alferes
L. M. Pereira
H. Przymusinska
T. Przymusinski
Pushing Goal Derivation in DLP Computations
W. Faber
177(15)
N. Leone
G. Pfeifer
Linear Tabulated Resolution for Well Founded Semantics
192(14)
Y. Shen
L. Yuan
J. You
N. Zhou
A Case Study in Using Preference Logic Grammars for Knowledge Representation
206(15)
B. Cui
T. Swift
D. S. Warren
Minimal Founded Semantics for Disjunctive Logic Programming
221(15)
S. Greco
On the Role of Negation in Choice Logic Programs
236(11)
M. De Vos
D. Vermeir
Approximating Reiter's Default Logic
247(15)
T. Linke
T. Schaub
Coherent Well-founded Annotated Logic Programs
262(15)
C. V. Damasio
L. M. Pereira
T. Swift
Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
277(13)
T. Lukasiewicz
Extending Disjunctive Logic Programming by T-norms
290(15)
C. Mateis
Extending the Stable Model Semantics with More Expressive Rules
305(12)
P. Simons
Stable Model Semantics for Weight Constraint Rules
317(15)
I. Niemela
P. Simons
T. Soininen
Towards First-Order Nonmonotonic Reasoning
332(15)
R. Rosati
Comparison of Sceptical NAF-Free Logic Programming Approaches
347(10)
G. Antoniou
M.J. Maher
Billington
G. Governatori
Characterizations of Classes of Programs by Three-Valued Operators
357(15)
P. Hitzler
A. K. Seda
Invited Talks
Using LPNMR for Problem Specification and Code Generation (Abstract)
372(1)
M. Cadoli
Answer Set Planning (Abstract)
373(2)
V. Lifschitz
World-Modeling vs. World-Axiomatizing
375(14)
D. McAllester
Practical Nonmonotonic Reasoning: Extended Inheritance Techniques to Solve Real-World Problems
389(2)
L. Morgenstern
Author Index 391

An electronic version of this book is available through VitalSource.

This book is viewable on PC, Mac, iPhone, iPad, iPod Touch, and most smartphones.

By purchasing, you will be able to view this book online, as well as download it, for the chosen number of days.

Digital License

You are licensing a digital product for a set duration. Durations are set forth in the product description, with "Lifetime" typically meaning five (5) years of online access and permanent download to a supported device. All licenses are non-transferable.

More details can be found here.

A downloadable version of this book is available through the eCampus Reader or compatible Adobe readers.

Applications are available on iOS, Android, PC, Mac, and Windows Mobile platforms.

Please view the compatibility matrix prior to purchase.