1460 search results - page 144 / 292 » Preferential Description Logics |
153
click to vote
ICNP
1999
IEEE
15 years 10 months ago
1999
IEEE
A protocol for the reliable multicast of data to mobile hosts is described. A logical ring is maintained between all the base stations that handle the multicast traffic of the sam...
143
click to vote
LACL
1998
Springer
15 years 10 months ago
1998
Springer
In this paper we give a formal description of the parsing model that underlies the treatment of Long Distance Dependencies, Topic and Focus, Ellipsis and Quantification in, amongs...
182
click to vote
CAV
1998
Springer
15 years 10 months ago
1998
Springer
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
152
click to vote
ACL
1998
15 years 7 months ago
1998
This paper proposes a method for generating a logicalconstraint-based internal representation from a unification grammar formalism with disjunctive information. Unification gramma...
165
click to vote
MLQ
2002
15 years 6 months ago
2002
We generalize the notion of a monadic algebra to that of a pseudomonadic algebra. In the same way as monadic algebras serve as algebraic models of epistemic modal system S5, pseudo...