Sciweavers

3679 search results - page 9 / 736
» Answer set based design of knowledge systems
Sort
View
PADL
2004
Springer
15 years 2 months ago
ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
Omar El-Khatib, Enrico Pontelli, Tran Cao Son
ICNC
2009
Springer
15 years 2 months ago
Knowledge Acquisition Approach Based on Rough Set and Artificial Neural Network in Product Design Process
In this paper, product structure is taken as knowledge acquisition point, and the effective knowledge acquisition path is discussed by establishing the associated relationship bet...
Changfeng Yuan, Wanlei Wang, Yan Chen
FLAIRS
2000
14 years 11 months ago
Mining Textual Answers with Knowledge-Based Indicators
This paper describes a knowledge-based methodologyof miningtextual answersinto large collections of texts. Wepresent SOMBRERO,a knowledge processing module implemented in the LASS...
Sanda M. Harabagiu, Marius Pasca
PADL
2001
Springer
15 years 1 months ago
An A-Prolog Decision Support System for the Space Shuttle
The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog and the systems for computing answer sets of such programs, can be succes...
Monica Nogueira, Marcello Balduccini, Michael Gelf...
DLOG
2011
14 years 1 months ago
Query Answering over SROIQ Knowledge Bases with SPARQL
W3C currently extends the SPARQL query language with so-called entailment regimes, which define how queries are evaluated using logical entailment relations. We describe a sound a...
Ilianna Kollia, Birte Glimm, Ian Horrocks