Sciweavers

828 search results - page 51 / 166
» On Order Dependencies for the Semantic Web
Sort
View
FOIKS
2004
Springer
15 years 3 months ago
Implementing Ordered Choice Logic Programming using Answer Set Solvers
Abstract. Ordered Choice Logic Programming (OCLP) allows for dynamic preference-based decision-making with multiple alternatives without the need for any form of negation. This com...
Marina De Vos
POPL
1990
ACM
15 years 1 months ago
Higher-Order Modules and the Phase Distinction
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
Robert Harper, John C. Mitchell, Eugenio Moggi
COGSCI
2010
85views more  COGSCI 2010»
14 years 9 months ago
The Effects of Feature-Label-Order and Their Implications for Symbolic Learning
Symbols enable people to organize and communicate about the world. However, the ways in which symbolic knowledge is learned and then represented in the mind are poorly understood....
Michael Ramscar, Daniel Yarlett, Melody Dye, Katie...
ICLP
1999
Springer
15 years 2 months ago
Event, Property, and Hierarchy in Order-Sorted Logic
Knowledge representation in logics, even in the order-sorted logic that includes a sort hierarchy, tends to lose the conciseness and the nuances of natural language. If we could c...
Ken Kaneiwa, Satoshi Tojo
SEMWEB
2007
Springer
15 years 3 months ago
WWWatch: Watching the World in Different Views with Semantic Web
This paper develops a Semantic Web application, namely WorldWideWatch or WWWatch, in short. By employment of Semantic Web technologies, WWWatch analyses and visualizes social netwo...
Ekgarach Sumsiripong, Krissada Maleewong, Rachanee...