Sciweavers

6016 search results - page 947 / 1204
» The semantics of graphical languages
Sort
View
CORR
2000
Springer
91views Education» more  CORR 2000»
15 years 6 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 6 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 6 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
JCSS
2000
71views more  JCSS 2000»
15 years 6 months ago
Path Constraints in Semistructured Databases
We investigate a class of path constraints that is of interest in connection with both semistructured and structured data. In standard database systems, constraints are typically ...
Peter Buneman, Wenfei Fan, Scott Weinstein
TASLP
2002
86views more  TASLP 2002»
15 years 6 months ago
High-level approaches to confidence estimation in speech recognition
Abstract--We describe some high-level approaches to estimating confidence scores for the words output by a speech recognizer. By "high-level" we mean that the proposed me...
Stephen Cox, Srinandan Dasmahapatra