MPG.eBooks - Search Results - "logic programming"

Cover Image

1

Web Reasoning and Rule Systems : Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

Table of Contents: “...Invited Papers and Tutorial -- Integrating Logic Programming and Production Systems in Abductive...”

Cover Image

2

The Semantic Web - ISWC 2009 : 8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, USA, October 25-29, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

Table of Contents: “... Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes -- Decidable Order-Sorted Logic...”