9145 search results - page 156 / 1829 » Description Logic Systems |
132
click to vote
JELIA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present the design of our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most featu...
180
click to vote
P2P
2007
IEEE
15 years 11 months ago
2007
IEEE
Peers in peer-to-peer file-sharing systems cannot effectively share their files if they are poorly described. Terms one user employs to describe an instance of a file may not be t...
131
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
We consider proof systems for effectively propositional logic. First, we show that propositional resolution for effectively propositional logic may have exponentially longer refuta...
169
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
129
click to vote
ICAT
2006
IEEE
15 years 11 months ago
2006
IEEE
We propose a new scalable architecture for mobile mixed reality (MR) systems and a content description language to be used in such architecture. Several architectures already exist...