2585 search results - page 307 / 517 » Automating Coherent Logic |
159
click to vote
ICWE
2009
Springer
16 years 1 months ago
2009
Springer
Model Driven Engineering (MDE) is increasingly gaining acceptance evelopment of Web Applications as a mean to leverage abstraction and render business logic resilient to technologi...
171
click to vote
ECSQARU
2007
Springer
16 years 23 days ago
2007
Springer
Measuring inconsistency in knowledge bases has been recognized as an important problem in many research areas. Most of approaches proposed for measuring inconsistency are based on ...
192
click to vote
ILP
2007
Springer
16 years 23 days ago
2007
Springer
Research over the past several decades in learning logical and probabilistic models has greatly increased the range of phenomena that machine learning can address. Recent work has ...
145
click to vote
LPAR
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. The use of formal methods provides confidence in the correctness of developments. Yet one may argue about the actual level of confidence obtained when the method itself...
170
click to vote
LPNMR
2005
Springer
16 years 3 days ago
2005
Springer
We present a monitoring tool for plan execution in non-deterministic environments, which are described in an action language, based on non-monotonic logic programming. Thanks to it...