Sciweavers

3535 search results - page 13 / 707
» Logic Program Specialisation
Sort
View
104
Voted
ICLP
1991
Springer
15 years 3 months ago
Abstract Interpretation of Logic Programs
Interpretation of Logic Programs 1
Patrick Cousot
ICCS
2007
Springer
15 years 5 months ago
AIMSS: An Architecture for Data Driven Simulations in the Social Sciences
Abstract. This paper presents a prototype implementation of an intelligent assistance architecture for data-driven simulation specialising in qualitative data in the social science...
Catriona Kennedy, Georgios K. Theodoropoulos, Volk...
EPIA
2001
Springer
15 years 4 months 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»
14 years 11 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