Sciweavers

2476 search results - page 245 / 496
» Faceted Knowledge Representation
Sort
View
145
Voted
LPNMR
2004
Springer
15 years 10 months ago
Probabilistic Reasoning With Answer Sets
This paper develops a declarative language, P-log, that combines logical and probabilistic arguments in its reasoning. Answer Set Prolog is used as the logical foundation, while c...
Chitta Baral, Michael Gelfond, J. Nelson Rushton
DEXAW
2003
IEEE
113views Database» more  DEXAW 2003»
15 years 10 months ago
Integrating Ontology Languages and Answer Set Programming
We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite univers...
Stijn Heymans, Dirk Vermeir
ASP
2003
Springer
15 years 9 months ago
What's in a model? Epistemological analysis of Logic Programming
It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an...
Marc Denecker
ICCS
2003
Springer
15 years 9 months ago
A Semantic Search Approach by Graph Matching with Negations and Inferences
Research on semantic search has become heated these years. In this paper we propose an approach focusing on searching for resources with descriptions. The knowledge representation ...
Kewei Tu, Jing Lu, Haiping Zhu, Guowei Liu, Yong Y...
ACIIDS
2009
IEEE
122views Database» more  ACIIDS 2009»
15 years 9 months ago
Student Modelling Based on Ontologies
— In this paper I show how ontologies support the student modelling through the semantic definition of concepts that depict a student. The aim is to outline the framework for bui...
Alejandro Peña Ayala