519 search results - page 31 / 104 » Qualitative choice logic |
LFCS
2009
Springer
14 years 2 months ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
AAAI
1996
13 years 9 months ago
1996
We introduce a predictive concept recognition methodology for description logics based on a new closed terminology assumption. During knowledge engineering, our system adopts the ...
DIS
2001
Springer
14 years 12 days ago
2001
Springer
Scientists need customizable tools to help them with discovery. We present an adjustable heuristic function for scientific discovery. This function may be considered in either a Mi...
EMNLP
2009
13 years 5 months ago
2009
This work investigates design choices in modeling a discourse scheme for improving opinion polarity classification. For this, two diverse global inference paradigms are used: a su...
IAT
2008
IEEE
14 years 2 months ago
2008
IEEE
The use of rational agents for modelling real world problems has both been heavily investigated and become well accepted, with BDI Logic being a widely used architecture to repres...