732 search results - page 63 / 147 » Representation of Semantic Knowledge with Term Subsumption L... |
AI
2001
Springer
13 years 11 months ago
2001
Springer
The stable semantics has become a prime candidate for knowledge representation and reasoning. The rules associated with propositional logic programs and the stable semantics are no...
AMAI
2008
Springer
13 years 8 months ago
2008
Springer
We introduce a knowledge representation language AC(C) extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, ACsolver, ...
ICMI
2005
Springer
14 years 1 months ago
2005
Springer
This article presents a User Interface (UI) framework for multimodal interactions targeted at immersive virtual environments. Its configurable input and gesture processing compon...
DOCENG
2003
ACM
14 years 1 months ago
2003
ACM
Product data exchange is the precondition of business interoperation between Web-based firms. However, millions of small and medium sized enterprises (SMEs) encode their Web produ...
ICALP
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...