1636 search results - page 46 / 328 » Reasoning About Quantum Systems |
157
click to vote
LPNMR
1999
Springer
15 years 8 months ago
1999
Springer
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...
141
click to vote
ICCBR
2010
Springer
15 years 8 months ago
2010
Springer
The vast majority of research on AI planning has focused on automated plan recognition, in which a planning agent is provided with a set of inputs that include an initial goal (or ...
126
click to vote
FAC
1998
15 years 4 months ago
1998
In the process-algebraic veri cation of systems with three or more components put in parallel, alphabet axioms are considered to be very useful. These are rules that exploit the i...
134
click to vote
SEKE
2005
Springer
15 years 10 months ago
2005
Springer
This paper discusses how ontology helps case-based reasoning to provide better FAQ services. The proposed CBR technique works as a FAQ proxy service between the users and the back...
128
click to vote
PRICAI
2000
Springer
15 years 8 months ago
2000
Springer
A system that applies a method of knowledge-intensive case-based reasoning, for repair and prevention of unwanted events in the domain of offshore oil well drilling, has been deve...