Sciweavers

15754 search results - page 113 / 3151
» Programs are Knowledge Bases
Sort
View
SLP
1997
102views more  SLP 1997»
15 years 5 months ago
Compositionality of Normal Open Logic Programs
Compositionality of programsis an important concern in knowledge representation and software development. In the context of Logic Programming, up till now, the issue has mostly be...
Sofie Verbaeten, Marc Denecker, Danny De Schreye
FECS
2006
159views Education» more  FECS 2006»
15 years 5 months ago
Why and How to Teach Game Programming
Game programming is interesting but tough. It could be counted as a sophisticated software development in an undergraduate curriculum because it deals with a wide range of knowled...
Chong-wei Xu
AMW
2011
14 years 7 months ago
Bag Equivalence of Bounded Symmetry-Degree Conjunctive Queries with Inequalities
Abstract. We consider the problem of checking equivalence of conjunctive queries with inequalities under bag (multiset) semantics. The problem is known to be decidable in pspace an...
Mingmin Chen, Todd J. Green
ECTEL
2006
Springer
15 years 7 months ago
Emergent Knowledge Artifacts for Supporting Trialogical E-Learning
Abstract. This paper elaborates on scenarios for collaborative knowledge creation in the spirit of the trialogical learning paradigm. According to these scenarios the group knowled...
Yannis Tzitzikas, Vassilis Christophides, Giorgos ...
IJIT
2004
15 years 5 months ago
Consistent Hybrid Knowledge Representation in Order-Sorted Logic
Abstract-- We consider a hybrid knowledge representation system for ontological knowledge bases in order to maintain knowledge consistency between taxonomic knowledge and assertion...
Nwe Ni Tun, Satoshi Tojo