9145 search results - page 140 / 1829 » Description Logic Systems |
171
click to vote
ASIAN
2009
Springer
15 years 6 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...
135
click to vote
CADE
1997
Springer
15 years 9 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...
180
Voted
AUSAI
2005
Springer
15 years 11 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...
174
click to vote
ASP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, feat...
178
click to vote
GEOS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Representing human spatial knowledge has long been a challenging research area. The objective of this paper is to model a route description of human navigation where verb...