1498 search results - page 105 / 300 » Description logic for coalitions |
197
click to vote
ASP
2005
Springer
15 years 12 months ago
2005
Springer
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...
176
click to vote
ESWS
2005
Springer
15 years 12 months ago
2005
Springer
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...
199
click to vote
ASIAN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Clever algorithm design is sometimes superseded by simple encodings into logic. We apply this motto to a few case studies in the formal verification of security propertie...
148
click to vote
CADE
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We present a technique that efficiently translates propositional intuitionistic formulas into propositional classical formulas. This technique allows the use of arbitrary...
199
click to vote
AUSAI
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, I will show how a controlled natural language can be used to describe knowledge for the Semantic Web and discuss the formal properties of this language. At the firs...