2196 search results - page 137 / 440 » Practical Reasoning Using Values |
106
Voted
ISMVL
1999
IEEE
15 years 6 months ago
1999
IEEE
In the last years two automated reasoning techniques for clause normal form arose in which the use of labels are prominently featured: signed logic and annotated logic programming...
125
click to vote
PLILP
1992
Springer
15 years 6 months ago
1992
Springer
Attribute grammars may be seen as a (rather specialised) lazy or demand-driven programming language. The "programs" in this language take text or parse trees as input an...
108
click to vote
DOCENG
2008
ACM
15 years 4 months ago
2008
ACM
: Variable data documents can be considered as functions of their bindings to values, and this function could be arbitrarily complex to build strongly-customised but high-value doc...
138
click to vote
DLOG
2001
15 years 3 months ago
2001
We consider expressive Description Logics (ALCN) allowing for number restrictions on complex roles built with combinations of role constructors. In particular, we are mainly inter...
121
click to vote
HIS
2003
15 years 3 months ago
2003
We logically model uncertainty by expanding language without changing logical reasoning rules. We expand the language of set theory by adding new predicate symbols, uncertain membe...