284 search results - page 39 / 57 » Modularity of Completeness Revisited |
104
Voted
FLAIRS
2006
14 years 11 months ago
2006
Extensible Dependency Grammar (XDG) is new, modular grammar formalism for natural language. An XDG analysis is a multi-dimensional dependency graph, where each dimension represent...
COLING
1990
14 years 11 months ago
1990
A modular parallel distributed processing architecture for parsing, representing and paraphrasing sentences with multiple hierarchical relative clauses is presented. A lowel-level...
76
Voted
CADE
2010
Springer
14 years 11 months ago
2010
Springer
iProver-Eq is an implementation of an instantiation-based calculus Inst-Gen-Eq which is complete for first-order logic with equality. iProver-Eq extends the iProver system with sup...
97
Voted
SOFTVIS
2010
ACM
14 years 10 months ago
2010
ACM
Object oriented software development is designed to be modular, with code reuse being very common. When bugs are introduced, they can manifest themselves in one or more sections o...
87
Voted
ENTCS
2008
14 years 10 months ago
2008
Following earlier work, a modal logic for T-coalgebras is a functor L on a suitable variety. Syntax and proof system of the logic are given by presentations of the functor. This p...