3891 search results - page 210 / 779 » A logic for strategic reasoning |
173
click to vote
DLOG
2010
15 years 4 months ago
2010
Sophisticated uncertainty representation and reasoning are necessary for the alignment and integration of Web data from different sources. For this purpose the extension of the Des...
139
click to vote
AAAI
2007
15 years 8 months ago
2007
Horn description logics (Horn-DLs) have recently started to attract attention due to the fact that their (worst-case) data complexities are in general lower than their overall (i....
218
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Data trees and data words have been studied extensively in connection with XML reasoning. These are trees or words that, in addition to labels from a finite alphabet, carry labels ...
178
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
235
click to vote
ICAIL
2009
ACM
16 years 1 months ago
2009
ACM
This paper describes a default-logic framework (plausibility schemas) and software tools (Decision ApprenticeTM and Legal ApprenticeTM ) for modeling, guiding and automating the r...