Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 927)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Conference series link(s): NMELP: International Workshop on Non-monotonic Extensions of Logic Programming
Conference proceedings info: NMELP 1994.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (11 papers)
-
Front Matter
-
Back Matter
About this book
Logic programs rely on a nonmonotonic operator often referred to as negation by failure or negation by default. The nonmonoticity of this operator allows to apply results from the area of nonmonotonic theories to the investigation of logic programs (and vice versa). This volume is devoted to the interdependence of nonmonotonic formalisms and logic programming.
Bibliographic Information
Book Title: Non-Monotonic Extensions of Logic Programming
Book Subtitle: ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers
Editors: Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/BFb0030655
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1995
Softcover ISBN: 978-3-540-59467-3Published: 20 June 1995
eBook ISBN: 978-3-540-49272-6Published: 01 December 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 236
Topics: Artificial Intelligence, Computer System Implementation, Software Engineering/Programming and Operating Systems, Theory of Computation