Sciweavers

7167 search results - page 94 / 1434
» Answer Set Programming
Sort
View
AGP
2003
IEEE
14 years 1 months ago
Local Closed-World Assumptions for reasoning about Semantic Web data
Abstract The Semantic Web (SW) can be seen as abstract representation and exchange of data and metadata. Metadata is given in terms of data mark-up and reference to shared, Web-acc...
Elisa Bertino, Alessandro Provetti, Franco Salvett...
AAAI
2007
13 years 10 months ago
Generality and Equivalence Relations in Default Logic
Generality or refinement relations between different theories have important applications to generalization in inductive logic programming, refinement of ontologies, and coordin...
Katsumi Inoue, Chiaki Sakama
LANMR
2007
13 years 9 months ago
Handling Exceptions in nonmonotonic reasoning
Abstract We introduce some differences in the style defeasible information is represented and inferences are made in nonmonotonic reasoning. These, at first sight harmless, chang...
Marcelino C. Pequeno, Rodrigo de M. S. Veras, Wlad...
SEMWEB
2010
Springer
13 years 5 months ago
Declarative Semantics for the Rule Interchange Format Production Rule Dialect
Abstract. The Rule Interchange Format Production Rule Dialect (RIFPRD) is a W3C Recommendation to define production rules for the Semantic Web, whose semantics is defined operation...
Carlos Viegas Damásio, José Jú...
NLDB
2010
Springer
13 years 12 months ago
An Automatic Definition Extraction in Arabic Language
During the last few years, a lot of researches have focused on automatic definition extraction in the context of question answering systems. Although, these researches have been co...
Omar Trigui, Lamia Hadrich Belguith, Paolo Rosso