Sciweavers

1117 search results - page 50 / 224
» Partial Models of Extended Generalized Logic Programs
Sort
View
FSTTCS
2000
Springer
14 years 8 days ago
Dynamically Ordered Probabilistic Choice Logic Programming
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...
Marina De Vos, Dirk Vermeir
COOPIS
2002
IEEE
14 years 1 months ago
A Defeasible Ontology Language
We extend the description logic ¢¤£¦¥¦§©¨ with a preference order on the axioms. With this strict partial order certain axioms can be overruled, if defeated with more ...
Stijn Heymans, Dirk Vermeir
BIRTHDAY
2010
Springer
13 years 9 months ago
Thirteen Definitions of a Stable Model
Stable models of logic programs have been studied by many researchers, mainly because of their role in the foundations of answer set programming. This is a review of some of the de...
Vladimir Lifschitz
ISAAC
1992
Springer
132views Algorithms» more  ISAAC 1992»
14 years 23 days ago
Generalized Assignment Problems
In the multilevel generalized assignment problem (MGAP) agents can perform tasks at more than one efficiency level. Important manufacturing problems, such as lot sizing, can be ea...
Silvano Martello, Paolo Toth
AGP
1998
IEEE
14 years 29 days ago
Dynamic Logic Programming
In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow de...
José Júlio Alferes, João Alex...