158 search results - page 20 / 32 » LPForget: A System of Forgetting in Answer Set Programming |
148
Voted
ASP
2005
Springer
15 years 8 months ago
2005
Springer
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...
116
Voted
IJCAI
2003
15 years 4 months ago
2003
Information integration systems provide a uniform query interface to a set of sources. One of the key challenges for an information integration system is to provide maximally comp...
122
Voted
DALT
2006
Springer
15 years 6 months ago
2006
Springer
Goals are used to define the behavior of (pro-active) agents. It is our view that the goals of an agent can be seen as a knowledge base of the situations that it wants to achieve. ...
167
Voted
CSL
2007
Springer
15 years 9 months ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ļ...
128
Voted
PLILP
1993
Springer
15 years 6 months ago
1993
Springer
Abstract. Solving equations in equational theories is a relevant programming paradigm which integrates logic and equational programming into one uniļ¬ed framework. Eļ¬cient metho...