About: Computational logic : logic programming and beyond, essays in honour of Robert A. Kowalski

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Computational logic : logic programming and beyond, essays in honour of Robert A. Kowalski Goto Sponge NotDistinct Permalink

An Entity of Type : rdac:C10001, within Data Space : data.idref.fr associated with source document(s)

Attributes	Values
type	frbr:Work rdac:C10001
alternative label	Computational Logic: Logic Programming and Beyond
dc:subject	Programmation (informatique) Artificial Intelligence Software Engineering Informatique Intelligence artificielle Logique mathématique Computer science Artificial intelligence Algebra -- Data processing Programming Techniques Symbolic and Algebraic Manipulation Computer System Implementation Mélanges et hommages Programmation logique Théorèmes -- Démonstration automatique Formal Languages and Automata Theory
preferred label	Computational logic : logic programming and beyond, essays in honour of Robert A. Kowalski
Language	http://lexvo.org/id/iso639-3/eng
Subject	http://www.idref.fr/027819213/id http://www.idref.fr/027234541/id http://www.idref.fr/027414248/id http://www.idref.fr/027241378/id http://www.idref.fr/028949102/id http://www.idref.fr/027234886/id http://www.idref.fr/027662799/id
dc:title	Computational logic : logic programming and beyond, essays in honour of Robert A. Kowalski
Publishing director	Kakas, Antonis C. Sadri, Fariba (19..-....)
note	Alan Robinson This set of essays pays tribute to Bob Kowalski on his 60th birthday, an anniversary which gives his friends and colleagues an excuse to celebrate his career as an original thinker, a charismatic communicator, and a forceful intellectual leader. The logic programming community hereby and herein conveys its respect and thanks to him for his pivotal role in creating and fostering the conceptual paradigm which is its raison d’Œtre. The diversity of interests covered here reflects the variety of Bob’s concerns. Read on. It is an intellectual feast. Before you begin, permit me to send him a brief personal, but public, message: Bob, how right you were, and how wrong I was. I should explain. When Bob arrived in Edinburgh in 1967 resolution was as yet fairly new, having taken several years to become at all widely known. Research groups to investigate various aspects of resolution sprang up at several institutions, the one organized by Bernard Meltzer at Edinburgh University being among the first. For the half-dozen years that Bob was a leading member of Bernard’s group, I was a frequent visitor to it, and I saw a lot of him. We had many discussions about logic, computation, and language.
dc:type	Text
http://iflastandar...bd/elements/P1001	http://iflastandards.info/ns/isbd/terms/contentform/T1009
rdaw:P10219	2002
has content type	http://rdaregistry.info/termList/RDAContentType/1020
is primary topic of	http://www.idref.fr/21103259X
is rdam:P30135 of	http://www.sudoc.fr/15516970X/id http://www.sudoc.fr/099441470/id http://www.sudoc.fr/155187945/id http://www.sudoc.fr/092919472/id

Faceted Search & Find service v1.13.91 as of Aug 16 2018

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software