Sciweavers

488 search results - page 4 / 98
» Logic Programming to Address Issues of the Semantic Web
Sort
View
RULEML
2004
Springer
13 years 11 months ago
Well-Founded Semantics for Description Logic Programs in the Semantic Web
Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...
FOIKS
2010
Springer
14 years 23 days ago
Towards a Paradoxical Description Logic for the Semantic Web
As a vision for the future of the Web, the Semantic Web is an open, constantly changing and collaborative environment. Hence it is reasonable to expect that knowledge sources in th...
Xiaowang Zhang, Zuoquan Lin, Kewen Wang
AGP
1998
IEEE
13 years 10 months ago
Some Design Issues in the Visualization of Constraint Logic Program Execution
Visualization of program executions has been found useful in applications which include education and debugging. However, traditional visualization techniques often fall short of ...
Manuel Carro, Manuel V. Hermenegildo
ECAI
2010
Springer
13 years 7 months ago
On Semantic Update Operators for Answer-Set Programs
Logic programs under the stable models semantics, or answer-set programs, provide an expressive rule based knowledge representation framework, featuring formal, declarative and wel...
Martin Slota, João Leite