2022 search results - page 127 / 405 » Complexity of Non-Monotonic Logics |
115
click to vote
TABLEAUX
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
124
click to vote
EUROPAR
2004
Springer
15 years 6 months ago
2004
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing answers to subgoals. The declarative nature of tabled logic program...
100
Voted
DEXAW
1998
IEEE
15 years 5 months ago
1998
IEEE
This paper presents a first step towards a security model that defines access control for logical document structures. el benefits from roles to abstract from users and from secur...
130
Voted
DALT
2009
Springer
15 years 4 months ago
2009
Springer
We propose a framework to compute the utility of a proposal w.r.t. a preference set in a negotiation process. In particular, we refer to preferences expressed as weighted formulas ...
133
click to vote
UAI
2008
15 years 2 months ago
2008
In this work we present Cutting Plane Inference (CPI), a Maximum A Posteriori (MAP) inference method for Statistical Relational Learning. Framed in terms of Markov Logic and inspi...