3470 search results - page 227 / 694 » Head-Elementary-Set-Free Logic Programs |
166
click to vote
ACMSE
2006
ACM
15 years 10 months ago
2006
ACM
Programming paradigms are often skewed towards a particular domain of problems, thus one effective way to utilize them is through a multiparadigm approach to software development....
185
click to vote
AMAI
2006
Springer
15 years 6 months ago
2006
Springer
The theorem on loop formulas due to Fangzhen Lin and Yuting Zhao shows how to turn a logic program into a propositional formula that describes the program's stable models. In...
134
click to vote
ENTCS
2008
15 years 6 months ago
2008
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...
168
click to vote
LPNMR
2005
Springer
15 years 12 months ago
2005
Springer
We investigate techniques for approximating answer sets of general logic programs of Lifschitz and Woo, whose rules have single literals as heads. We propose three different method...
173
click to vote
ICMLA
2007
15 years 8 months ago
2007
In our research we study rational agents which learn how to choose the best conditional, partial plan in any situation. The agent uses an incomplete symbolic inference engine, emp...