1864 search results - page 251 / 373 » Formal topology and domains |
190
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper addresses the problem of estimating cost and development effort of a system, starting from its complete or partial high-level description. In addition, some modificatio...
188
click to vote
WLP
2000
Springer
15 years 10 months ago
2000
Springer
Attempto Controlled English (ACE) is a controlled natural language, i.e. a precisely defined subset of English that can automatically and unambiguously be translated into first-ord...
176
click to vote
DEON
2010
Springer
15 years 9 months ago
2010
Springer
We provide a logical analysis of private international law, the body of law establishing when courts of a country should decide a case (jurisdiction) and what legal system they sho...
163
click to vote
AAAI
2008
15 years 9 months ago
2008
Action languages allow to formally represent and reason about actions in a highly declarative manner. In recent work, revision and management of conflicts for domain descriptions ...
152
Voted
AIPS
2008
15 years 9 months ago
2008
We consider a generalization of the PDB homomorphism abstractions to what is called "structural patterns". The bais in abstracting the problem in hand into provably trac...