Extensions of Logic Programming: International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings - Softcover

 
9783662206799: Extensions of Logic Programming: International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings
Softcover
ISBN 10: 366220679X ISBN 13: 9783662206799
Verlag: Springer, 2014

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

Logic programming with sequent systems.- Predicates as parameters in logic programming.- A survey of GCLA: A definitional approach to logic programming.- Some applications of Gentzen's proof theory in automated deduction.- A logic program for transforming sequent proofs to natural deduction proofs.- Modal provability foundations for negation by failure.- Extensions to logic programming motivated by the construction of a generic theorem prover.- A decision procedure for propositional N-Prolog.- A logic programming language with lambda-abstraction, function variables, and simple unification.- Logic programming, functional programming, and inductive definitions.- Logic programming with strong negation.- Hypothetical reasoning and definitional reflection in logic programming.- Non-monotonicity and conditionals in dialogue logic.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2014
Sprache
Englisch
ISBN 10 
366220679X
ISBN 13 
9783662206799
Einband
Taschenbuch
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783540535904: Extensions of Logic Programming: International Workshop, T??bingen, FRG, December 8-10, 1989. Proceedings: International Workshop, Tübingen, FRG, ... Notes in Computer Science, 475, Band 475)

Vorgestellte Ausgabe

ISBN 10:  354053590X ISBN 13:  9783540535904
Verlag: Springer, 2008
Softcover