Sciweavers

432 search results - page 36 / 87
» Open answer set programming for the semantic web
Sort
View
WWW
2010
ACM
13 years 6 months ago
Building a Usable and Accessible Semantic Web Interaction Platform
Semantic Web applications take off is being slower than expected, at least with respect to “real-world” applications and users. One of the main reasons for this lack of adoptio...
Roberto García, Juan Manuel Gimeno, Ferran ...
CORR
2011
Springer
180views Education» more  CORR 2011»
13 years 3 months ago
Representing First-Order Causal Theories by Logic Programs
Nonmonotonic causal logic, introduced by Norman McCain and Hudson Turner, became a basis for the semantics of several expressive action languages. McCain’s embedding of definit...
Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vlad...
WWW
2003
ACM
14 years 8 months ago
On labeling schemes for the semantic web
This paper focuses on the optimization of the navigation through voluminous subsumption hierarchies of topics employed by Portal Catalogs like Netscape Open Directory (ODP). We ad...
Vassilis Christophides, Dimitris Plexousakis, Mich...
LPNMR
2011
Springer
12 years 10 months ago
Communicating ASP and the Polynomial Hierarchy
Communicating answer set programming is a framework to represent and reason about the combined knowledge of multiple agents using the idea of stable models. The semantics and expre...
Kim Bauters, Steven Schockaert, Dirk Vermeir, Mart...
MICS
2008
103views more  MICS 2008»
13 years 8 months ago
The Freedom to Extend OpenMath and its Utility
Abstract. OpenMath [6] is a standard for representing the semantics of mathematical objects. It differs from Presentation MathML [8] in not being directly concerned with the presen...
James H. Davenport, Paul Libbrecht