1435 search results - page 170 / 287 » E-connections of Description Logics |
101
click to vote
CADE
2004
Springer
16 years 1 months ago
2004
Springer
Sonic1 is the first prototype implementation of non-standard inferences for Description Logics usable via a graphical user interface. The contribution of our implementation is twof...
103
click to vote
VL
2007
IEEE
15 years 7 months ago
2007
IEEE
Description logics (DLs) are a well-understood family of knowledge representation (KR) languages. The notation of DLs has the flavour of a variable-free first order predicate lo...
115
click to vote
CADE
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. We investigate cut-elimination and cut-simulation in impredicative (higher-order) logics. We illustrate that adding simple axioms such as Leibniz equations to a calculus ...
155
click to vote
ARGMAS
2009
Springer
15 years 8 months ago
2009
Springer
We describe a working multi-agent architecture based on Defeasible Logic Programming (DeLP) by Garc´ıa and Simari where agents are engaged in an argumentation to reach a common c...
114
click to vote
CP
2005
Springer
15 years 7 months ago
2005
Springer
Local search is a powerful and well-established method for solving hard combinatorial problems. Yet, until recently, it has provided very little user support, leading to time-consu...