Sciweavers

432 search results - page 46 / 87
» Open answer set programming for the semantic web
Sort
View
AAAI
2008
13 years 10 months ago
Loop Formulas for Logic Programs with Arbitrary Constraint Atoms
We formulate loop formulas for logic programs with arbitrary constraint atoms, for the semantics based on conditional satisfaction. This provides a method for answer set computati...
Jia-Huai You, Guohua Liu
ACMICEC
2006
ACM
89views ECommerce» more  ACMICEC 2006»
14 years 1 months ago
A semantic web approach to handling soft constraints in virtual organisations
In this paper we present a proposal for representing soft constraint satisfaction problems (CSPs) within the Semantic Web architecture. The proposal is motivated by the need for a...
Alun D. Preece, Stuart Chalmers, Craig McKenzie, J...
CORR
2010
Springer
180views Education» more  CORR 2010»
13 years 5 months ago
XSB: Extending Prolog with Tabled Logic Programming
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this ar...
Terrance Swift, David Scott Warren
ACL
2009
13 years 5 months ago
Do Automatic Annotation Techniques Have Any Impact on Supervised Complex Question Answering?
In this paper, we analyze the impact of different automatic annotation methods on the performance of supervised approaches to the complex question answering problem (defined in th...
Yllias Chali, Sadid A. Hasan, Shafiq R. Joty
WWW
2003
ACM
14 years 8 months ago
Supporting management reporting: a writable web case study
The World-Wide Web was originally developed as a shared, writable, hypertext medium, a facility that is still widely needed. We have recently developed a Web-based management repo...
Timothy Miles-Board, Les Carr, Simon Kampa, Wendy ...