Opening book details…
Can I read Logic Programming and Nonmonotonic Reasoning: 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings (Lecture Notes in Computer Science (2173)) on EtoBox?
Logic Programming and Nonmonotonic Reasoning: 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings (Lecture Notes in Computer Science (2173)) by Jürgen Dix (auth.), Thomas Eiter, Wolfgang Faber, Miros law Truszczyński (eds.) is a nonfiction available to read on EtoBox.
What is Logic Programming and Nonmonotonic Reasoning: 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings (Lecture Notes in Computer Science (2173)) about?
<p><P>This book constitutes the refereed proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2001, held in Vienna, Austria in September 2001. The 22 revised full papers and eleven system descriptions presented with five invited papers were carefully reviewed and rigorously selected. Among the topics addressed are computational logic, declarative information extraction, model checking, inductive logic programming, default theories, stable logic programming, program semantics, incomplete information processing, concept learning, declarative specification, Prolog programming, many-valued logics, etc.</p>
Who reads Logic Programming and Nonmonotonic Reasoning: 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings (Lecture Notes in Computer Science (2173))?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Jürgen Dix (auth.), Thomas Eiter, Wolfgang Faber, Miros law Truszczyński (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2001
- Language
- EN
- ISBN
- 9783540425939
- Category
- nonfiction
- Subjects
- Language Learning, Programming, Computer Science
Other editions & translations
More by Jürgen Dix (auth.), Thomas Eiter, Wolfgang Faber, Miros law Truszczyński (eds.)
Browse all works by Jürgen Dix (auth.), Thomas Eiter, Wolfgang Faber, Miros law Truszczyński (eds.)
Similar books
- Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings (Lecture Notes in Computer Science, 4483) — Nicola Leone (auth.), Chitta Baral, Gerhard Brewka, John Schlipf (2007)
- Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings (Lecture Notes in Computer Science (928)) — Thomas Eiter, Georg Gottlob, Nicola Leone (auth.), V. Wiktor Marek, Anil Nerode, M. Truszczyński (1995)
- Web Reasoning and Rule Systems: 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012, Proceedings (Lecture Notes in Computer Science, 7497) — Gerhard Brewka (auth.), Markus Krötzsch, Umberto Straccia (2012)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001. Proceedings (Lecture Notes in Computer Science) — Finn Verner Jensen (auth.), Salem Benferhat, Philippe Besnard (2001)
- Inductive Logic Programming: 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001. Proceedings (Lecture Notes in Computer Science) — Liviu Badea (auth.), Céline Rouveirol, Michéle Sebag (2001)
- Automated Reasoning [recurso electrónico] 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings — Stéphane Demri, Deepak Kapur, and Christoph Weidenbach (2014)
