Non-Monotonic Extensions of Logic Programming - neues Buch
ISBN: 9783540492726
This volume is based on papers presented during the ICLP '94 Workshop on Nonmonotonic Extensions of Logic Programming and on papers solicited afterwards from key researchers participating… Mehr…
This volume is based on papers presented during the ICLP '94 Workshop on Nonmonotonic Extensions of Logic Programming and on papers solicited afterwards from key researchers participating in the workshop. In total 10 carefully refereed, revised, full research papers on semantics and computational aspects of logic programs are included. 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., Springer<
Springer.com
Nr. 978-3-540-49272-6. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00) Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Louis M. Pereira; Teodor C. Przymusinski: Non-Monotonic Extensions of Logic Programming - neues Buch
ISBN: 9783540492726
Computer Science; Artificial Intelligence (incl. Robotics); Computer System Implementation; Software Engineering/Programming and Operating Systems; Theory of Computation Commonsense Reaso… Mehr…
Computer Science; Artificial Intelligence (incl. Robotics); Computer System Implementation; Software Engineering/Programming and Operating Systems; Theory of Computation Commonsense Reasoning, Extension, Logic Programming, Nichtmonotones Schließen, Nonmonotonic Reasoning, Program Semantics, Program Transformations, Programmtransformationen, logic Books eBook, Springer Science+Business Media<
Louis M. Pereira; Teodor C. Przymusinski: Non-Monotonic Extensions of Logic Programming - neues Buch
ISBN: 9783540492726
Computer Science; Artificial Intelligence (incl. Robotics); Computer System Implementation; Software Engineering/Programming and Operating Systems; Theory of Computation Commonsense Reaso… Mehr…
Computer Science; Artificial Intelligence (incl. Robotics); Computer System Implementation; Software Engineering/Programming and Operating Systems; Theory of Computation Commonsense Reasoning, Extension, Logic Programming, Nichtmonotones Schließen, Nonmonotonic Reasoning, Program Semantics, Program Transformations, Programmtransformationen, logic Books eBook, Springer Nature<
Non-Monotonic Extensions of Logic Programming - neues Buch
ISBN: 9783540492726
This volume is based on papers presented during the ICLP '94 Workshop on Nonmonotonic Extensions of Logic Programming and on papers solicited afterwards from key researchers participating… Mehr…
This volume is based on papers presented during the ICLP '94 Workshop on Nonmonotonic Extensions of Logic Programming and on papers solicited afterwards from key researchers participating in the workshop. In total 10 carefully refereed, revised, full research papers on semantics and computational aspects of logic programs are included. 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., Springer<
Nr. 978-3-540-49272-6. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00)
Non-Monotonic Extensions of Logic Programming - neues Buch
ISBN: 9783540492726
Computer Science; Artificial Intelligence (incl. Robotics); Computer System Implementation; Software Engineering/Programming and Operating Systems; Theory of Computation Commonsense Reaso… Mehr…
Computer Science; Artificial Intelligence (incl. Robotics); Computer System Implementation; Software Engineering/Programming and Operating Systems; Theory of Computation Commonsense Reasoning, Extension, Logic Programming, Nichtmonotones Schließen, Nonmonotonic Reasoning, Program Semantics, Program Transformations, Programmtransformationen, logic Books eBook, Springer Science+Business Media<
Louis M. Pereira; Teodor C. Przymusinski: Non-Monotonic Extensions of Logic Programming - neues Buch
ISBN: 9783540492726
Computer Science; Artificial Intelligence (incl. Robotics); Computer System Implementation; Software Engineering/Programming and Operating Systems; Theory of Computation Commonsense Reaso… Mehr…
Computer Science; Artificial Intelligence (incl. Robotics); Computer System Implementation; Software Engineering/Programming and Operating Systems; Theory of Computation Commonsense Reasoning, Extension, Logic Programming, Nichtmonotones Schließen, Nonmonotonic Reasoning, Program Semantics, Program Transformations, Programmtransformationen, logic Books eBook, Springer Nature<
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.
Detailangaben zum Buch - Non-Monotonic Extensions of Logic Programming
EAN (ISBN-13): 9783540492726 Herausgeber: Springer Science+Business Media
Buch in der Datenbank seit 2017-06-04T21:49:10+02:00 (Vienna) Detailseite zuletzt geändert am 2023-09-09T12:20:33+02:00 (Vienna) ISBN/EAN: 9783540492726
ISBN - alternative Schreibweisen: 978-3-540-49272-6
Daten vom Verlag:
Autor/in: Louis M. Pereira; Teodor C. Przymusinski Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Non-Monotonic Extensions of Logic Programming - ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers Verlag: Springer; Springer Berlin 236 Seiten Erscheinungsjahr: 2005-12-01 Berlin; Heidelberg; DE Sprache: Englisch 53,49 € (DE) 55,00 € (AT) 59,00 CHF (CH) Available XII, 236 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Commonsense Reasoning; Extension; Logic Programming; Nichtmonotones Schließen; Nonmonotonic Reasoning; Program Semantics; Program Transformations; Programmtransformationen; logic; C; Artificial Intelligence; Computer System Implementation; Software Engineering; Theory of Computation; Computer Science; Systemanalyse und -design; Software Engineering; Theoretische Informatik; BC
An argumentation theoretic semantics based on non-refutable falsity.- From disjunctive programs to abduction.- Samantics of normal and disjunctive logic programs a unifying framework.- Every normal program has a nearly-stable model.- Logic programming with assumption denial.- A resolution-based procedure for default theories with extensions.- A general approach to bottom-up computation of disjunctive semantics.- Static semantics as program transformation and well-founded computation.- Magic computation for well-founded semantics.- Computing stable and partial stable models of extended disjunctive logic programs.
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten: