597 search results - page 6 / 120 » Semantics for Dynamic Logic Programming: A Principle-Based A... |
115
click to vote
CLIMA
2007
15 years 4 months ago
2007
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...
122
click to vote
LPNMR
2009
Springer
15 years 9 months ago
2009
Springer
We define the semantics of logic programs with (abstract) constraint atoms in a way closely tied to default logic. Like default logic, formulas in rules are evaluated using the cl...
123
Voted
AAAI
1994
15 years 4 months ago
1994
We present a method of representing some classes of default theories as normal logic programs. The main point is that the standard semantics (i.e. SLDNF-resolution) computes answe...
105
Voted
WLP
2005
Springer
15 years 8 months ago
2005
Springer
Assigning semantics to logic programs via selector generated models (Schwarz 2002/2003) extends several semantics, like the stable, the inflationary, and the stable generated sema...
152
Voted
EUSFLAT
2009
15 years 12 days ago
2009
This paper uses a constraint set approach to linear programming problems with equality constraints whose coefficients and/or right-hand side values could be uncertain. We consider ...