4978 search results - page 293 / 996 » Logical models of argument |
181
click to vote
DLOG
2003
15 years 7 months ago
2003
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...
168
click to vote
WCE
2007
15 years 7 months ago
2007
—this paper proposes a multi agent and fuzzy logic based DSS for stock market. This system will help investors of the stock market to take the correct buy/sell/hold decisions. Th...
195
click to vote
MST
2011
15 years 1 months ago
2011
The theory of two-dimensional languages, generalizing formal string languages, was motivated by problems arising from image processing and models of parallel computing. Weighted au...
196
click to vote
AAAI
2012
13 years 8 months ago
2012
Tractable subsets of first-order logic are a central topic in AI research. Several of these formalisms have been used as the basis for first-order probabilistic languages. Howev...
170
click to vote
CMSB
2008
Springer
15 years 7 months ago
2008
Springer
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...