713 search results - page 52 / 143 » Syntax and Semantics of Babel-17 |
125
Voted
AIA
2006
15 years 2 months ago
2006
Epistemic logic allows to reason not only about situations, but also about the knowledge that a set of agents have about situations. In later years, epistemic logic has been appli...
109
Voted
ENTCS
2008
15 years 21 days ago
2008
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...
86
Voted
SEMWEB
2005
Springer
15 years 6 months ago
2005
Springer
This paper extends the model theory of RDF with rules, placing an emphasis on integration with OWL and decidability of entailstart from an abstract syntax that views a rule as a pa...
104
Voted
WAIM
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Most users of the WWW want their searches to be effective. Currently, there exists a wide variety of efficient syntactic tools that have can be used for search in the WWW...
ESWS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Automated modeling of appropriate and valid document descriptions is a central issue for the benefit and success of an ontologybased personal document management system. ...