2585 search results - page 356 / 517 » Automating Coherent Logic |
188
click to vote
CSL
2007
Springer
16 years 21 days ago
2007
Springer
Calculi with explicit substitutions (ES) are widely used in different areas of computer science. Complex systems with ES were developed these last 15 years to capture the good comp...
177
click to vote
DIS
2007
Springer
16 years 21 days ago
2007
Springer
Abductive inference has long been associated with the logic of scientific discovery and automated abduction is now being used in real scientific tasks. But few methods can exploi...
181
click to vote
LPNMR
2007
Springer
16 years 20 days ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...
171
click to vote
RR
2007
Springer
16 years 19 days ago
2007
Springer
We present a vision of smart, goal-oriented web services that reason about other services’ policies and evaluate the possibility of future interactions. We assume web services wh...
167
click to vote
RR
2007
Springer
16 years 19 days ago
2007
Springer
Modern semantic technology is one of the necessary supports for the infrastructure of next generation information systems. In particular, large international organizations, which u...