Cover Image
Read Now

1
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Logics, Logic Programs and Description Logic Programs -- Attempto Controlled English for Knowledge...”
Cover Image
Read Now

2
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... -- Attempto Controlled English: A Knowledge Representation Language Readable by Humans and Machines -- Rule...”
Cover Image
Read Now

3
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Logics and Answer Set Programming -- Semantics and Knowledge Representation -- Extracting Mathematical...”