3358 search results - page 207 / 672 » Dynamic Description Logics |
190
click to vote
LOPSTR
2004
Springer
16 years 12 days ago
2004
Springer
Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been i...
208
click to vote
CAV
1998
Springer
15 years 11 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...
166
click to vote
ACL
1998
15 years 8 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...
176
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...
187
click to vote
DALT
2006
Springer
15 years 10 months ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...