892 search results - page 50 / 179 » Strategies in sentential reasoning |
120
click to vote
IJCAI
2003
15 years 2 months ago
2003
Query answering over commonsense knowledge bases typically employs a first-order logic theorem prover. While first-order inference is intractable in general, provers can often b...
ECIS
2003
15 years 2 months ago
2003
The application of a knowledge management strategy does not take place in a vacuum. Successfully meeting objectives of a knowledge management strategy may depend not only on the e...
100
click to vote
LICS
1997
IEEE
15 years 4 months ago
1997
IEEE
We consider a class of infinite two-player games on finitely coloured graphs. Our main question is: given a winning condition, what is the inherent blow-up (additional memory) of ...
112
click to vote
QEST
2007
IEEE
15 years 7 months ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
HICSS
2000
IEEE
15 years 5 months ago
2000
IEEE
The paper applies an economic model of a competitive market for retail banking services to generate insights into the following relevant questions. Is the cost structure of electr...