Sciweavers

6794 search results - page 1067 / 1359
» Semantics of Visual Languages
Sort
View
LRE
2007
96views more  LRE 2007»
15 years 4 months ago
The GOLD Community of Practice: an infrastructure for linguistic data on the Web
The GOLD Community of Practice is proposed as a model for linking on-line linguistic data to an ontology. The key components of the model include the linguistic data resources them...
Scott Farrar, William D. Lewis
CJ
2004
105views more  CJ 2004»
15 years 4 months ago
Generalized Template Splay: A Basic Theory and Calculus
act interpretation. R. Barbuti, C. Bernardeschi and N. De Francesco With mobile technology more and more prominent, the problem of security leakages becomes more and more important...
George F. Georgakopoulos, David J. McClurkin
140
Voted
CORR
2000
Springer
91views Education» more  CORR 2000»
15 years 4 months ago
Multi-Agent Only Knowing
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...
Joseph Y. Halpern, Gerhard Lakemeyer
CORR
2002
Springer
132views Education» more  CORR 2002»
15 years 4 months ago
Nonmonotonic Reasoning, Preferential Models and Cumulative Logics
Many systems that exhibit nonmonotonic behavior have been described and studied already in the literature. The general notion of nonmonotonic reasoning, though, has almost always ...
Sarit Kraus, Daniel J. Lehmann, Menachem Magidor
IANDC
2000
64views more  IANDC 2000»
15 years 4 months ago
Bisimilarity of Open Terms
The standard way of lifting a binary relation, R, from closed terms of an algebra to open terms is to de ne its closed-instance extension, Rci, which holds for a given pair of ope...
Arend Rensink
« Prev « First page 1067 / 1359 Last » Next »