Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Mai 1994
Genre:	EDV / Informatik
	EDV / Theorie / Programmieren / Allgemeines / extension / Knowledge / knowledgerepresentation / Künstliche Intelligenz (KI) / Logic / Logik / Philosophie / Logik / Programming / PROLOG / ProofTheory / Theoretische Informatik mehr...
ISBN:	9783540580256
EAN-Code:	9783540580256
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 21 mm
Gewicht:	569 gr
Seiten:	376
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

The papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University of St Andrews, March/April 1993. Among the topics covered in the volume are: defintional reflection and completion, modules in lambda-Prolog, representation of logics as partial inductive definitions, non-procedural logic programming, knowledge representation, contradiction avoidance, disjunctive databases, strong negation, linear logic programming, proof theory and regular search spaces, finite sets and constraint logic programming, search-space pruning and universal algebra, and implementation on transputer networks.