Sciweavers

3693 search results - page 11 / 739
» Splitting a Logic Program
Sort
View
ICLP
1991
Springer
13 years 11 months ago
Abstract Interpretation of Logic Programs
Interpretation of Logic Programs 1
Patrick Cousot
MLQ
2008
63views more  MLQ 2008»
13 years 7 months ago
The stationary set splitting game
The stationary set splitting game is a game of perfect information of length 1 between two players, unsplit and split, in which unsplit chooses stationarily many countable ordinal...
Paul B. Larson, Saharon Shelah
EPIA
2001
Springer
14 years 10 days ago
A Procedural Semantics for Multi-adjoint Logic Programming
Abstract. Multi-adjoint logic program generalise monotonic logic programs introduced in [1] in that simultaneous use of several implications in the rules and rather general connect...
Jesús Medina, Manuel Ojeda-Aciego, Peter Vo...
CORR
2002
Springer
98views Education» more  CORR 2002»
13 years 7 months ago
A Framework for Compiling Preferences in Logic Programs
We introduce a methodology and framework for expressing general preference information in logic programming under the answer set semantics. An ordered logic program is an extended...
James P. Delgrande, Torsten Schaub, Hans Tompits