This book constitutes the refereed proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '99, held in El Paso, Texas, USA, in December 1999. The volume presents 26 contributed papers and four invited talks, three appearing as extended abstracts and one as a full paper. Topics covered include logic programming, non-monotonic reasoning, knowledge representation, semantics, complexity, expressive power, and implementation and applicatons.
FREE Two-Day Shipping for students on millions of items. Learn more |
Book Description
Special Offers and Product Promotions
- Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
Key Phrases - Statistically Improbable Phrases (SIPs):
(learn more)
propositionally consistent extension, certainty degree interval, choice logic program, complete answer sets, definite logic programming, explicit negation operator, abductive program, level extension property, abducible rules, consistent answer set, loop subgoals, feedback width, persistent update commands, answer iteration, inconsistency removal, degree preserving correspondence, computing answer sets, extended abduction, annotated semantics, tabulated resolution, stable model semantics, circumscriptive inference, defeasible logic, generalized logic programs, tabled answers Key Phrases - Capitalized Phrases (CAPs): (learn more)
Morgan Kaufmann, Springer-Verlag Berlin Heidelberg, Theoretical Computer Science, Lecture Notes, Vladimir Lifschitz, New Generation Computing, Hudson Turner, Springer Verlag, Int'l Conf, Nicola Leone, Helsinki University of Technology, Principles of Database Systems, Technical Report, University of Texas, Fundamenta Informaticae, New York, Year Perspective, Research Report, Van Gelder, European Conf, Gerald Pfeifer, Los Altos, Academy of Finland, Austin Austin, Closed Closed New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Back Cover | Surprise Me!
propositionally consistent extension, certainty degree interval, choice logic program, complete answer sets, definite logic programming, explicit negation operator, abductive program, level extension property, abducible rules, consistent answer set, loop subgoals, feedback width, persistent update commands, answer iteration, inconsistency removal, degree preserving correspondence, computing answer sets, extended abduction, annotated semantics, tabulated resolution, stable model semantics, circumscriptive inference, defeasible logic, generalized logic programs, tabled answers Key Phrases - Capitalized Phrases (CAPs): (learn more)
Morgan Kaufmann, Springer-Verlag Berlin Heidelberg, Theoretical Computer Science, Lecture Notes, Vladimir Lifschitz, New Generation Computing, Hudson Turner, Springer Verlag, Int'l Conf, Nicola Leone, Helsinki University of Technology, Principles of Database Systems, Technical Report, University of Texas, Fundamenta Informaticae, New York, Year Perspective, Research Report, Van Gelder, European Conf, Gerald Pfeifer, Los Altos, Academy of Finland, Austin Austin, Closed Closed New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Back Cover | Surprise Me!
Citations (learn more)
This book cites 34
books:
See all 34 books this book cites
- Foundations of Logic Programming (Symbolic Computation : Artificial Intelligence) by John Wylie Lloyd on 6 pages
- Foundations of Deductive Databases and Logic Programming by Jack Minker on 5 pages
- Foundations of Disjunctive Logic Programming by Jorge Lobo on page 289, and page 302
- Artificl Intell Instructrs Manual Tx by Author Unknown on page 289, and page 303
- Reasoning with Incomplete Information (Research Notes in Artificial Intelligence) by David W Etherington on page 33, and page 260
See all 34 books this book cites
Books on Related Topics
(learn more)
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Computer Science > Artificial Intelligence > Theory of Computing
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Object-Oriented Design
- Books > Computers & Technology > Software
- Books > Medical Books
- Books > New & Used Textbooks > Computer Science
- Books > Science & Math > Mathematics
