Macquarie University, Sydney Macquarie University ResearchOnline

Showing items 1 - 2 of 2.

Add to Quick Collection   All 2 Results

  • First
  • Previous
  • 1
  • Next
  • Last
Sort:
 Add All Items to Quick Collection
Date: 2017
Language: eng
Resource Type: journal article
Identifier: http://hdl.handle.net/1959.14/1251162
Description: In this article, we describe the architecture, the language and the authoring tool of the PENG(ASP) system. This system supports the writing of non-monotonic specifications in controlled natural langu ... More
Reviewed: Reviewed
Date: 2015
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/1057488
Description: Answer Set Programming is a compelling non-monotonic knowledge representation paradigm for representing specifications in controlled natural language and reasoning about them. In this paper, we introd ... More
Reviewed: Reviewed
  • First
  • Previous
  • 1
  • Next
  • Last