3468 search results - page 146 / 694 » An open logical framework |
107
Voted
SUM
2009
Springer
15 years 5 months ago
2009
Springer
We propose a framework to compute the utility of an agreement w.r.t. a preference set in a negotiation process. In particular, we refer to preferences expressed as weighted formula...
95
Voted
AAAI
2006
15 years 2 months ago
2006
We establish a declarative theory of forgetting for disjunctive logic programs. The suitability of this theory is justified by a number of desirable properties. In particular, one...
AI
2006
Springer
15 years 27 days ago
2006
Springer
We consider how to forget a set of atoms in a logic program. Intuitively, when a set of atoms is forgotten from a logic program, all atoms in the set should be eliminated from thi...
108
Voted
ESWS
2007
Springer
15 years 7 months ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
97
Voted
JSAI
2001
Springer
15 years 5 months ago
2001
Springer
This paper investigates the methodological foundations of a new research field called chance discovery which aims to detect future opportunities and risks. By drawing on concepts...