Sciweavers

1914 search results - page 274 / 383
» Semantic domains for Handel-C
Sort
View
AAMAS
2007
Springer
14 years 11 months ago
Modeling conversation policies using permissions and obligations
We describe our preliminary work in modeling conversation specifications and policies as positive/negative permissions and obligations. Our model is generic as it is independent o...
Lalana Kagal, Tim Finin
FUIN
2006
103views more  FUIN 2006»
14 years 11 months ago
A Categorical View on Algebraic Lattices in Formal Concept Analysis
Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully be...
Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zh...
MAGS
2008
191views more  MAGS 2008»
14 years 11 months ago
Consensus ontologies in socially interacting MultiAgent systems
This paper presents approaches for building, managing, and evaluating consensus ontologies from the individual ontologies of a network of socially interacting agents. Each agent h...
Ergun Biçici
LRE
2006
173views more  LRE 2006»
14 years 11 months ago
Automatic induction of language model data for a spoken dialogue system
When building a new spoken dialogue application, large amounts of domain specific data are required. This paper addresses the issue of generating in-domain training data when litt...
Chao Wang, Grace Chung, Stephanie Seneff
AI
2004
Springer
14 years 11 months ago
ASSAT: computing answer sets of a logic program by SAT solvers
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
Fangzhen Lin, Yuting Zhao