Sciweavers

1162 search results - page 123 / 233
» Monotonic Semantic Interpretation
Sort
View
93
Voted
IJVR
2008
108views more  IJVR 2008»
14 years 11 months ago
Designing and Using Semantic Virtual Environment over the Web
These Nowadays more Virtual Environment (VEs) are becoming available on the web. This means that VE are becoming more accessible to a larger and more diverse audience. It also mean...
Frederic Kleinermann, Haïthem Mansouri, Olga ...
SEMCO
2007
IEEE
15 years 5 months ago
Harnessing Language in Mobile Environments
We describe StartMobile, a prototype system that enables users of cellular telephones and other mobile devices to access information, create information and execute commands on th...
Boris Katz, Gary C. Borchardt, Sue Felshin, Federi...
BIRTHDAY
2005
Springer
15 years 4 months ago
Expander2
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
Peter Padawitz
AAAI
1990
15 years 9 days ago
Terminological Cycles in KL-ONE-based Knowledge Representation Languages
Cyclic definitions are often prohibited in terminological knowledge representation languages because, from a theoretical point of view, their semantics is not clear and, from a pr...
Franz Baader
CORR
2011
Springer
165views Education» more  CORR 2011»
14 years 6 months ago
From IF to BI: a tale of dependence and separation
We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and V¨a¨an¨anen, and their compositional semantics due to Hodges. We show h...
Samson Abramsky, Jouko A. Väänänen