1966 search results - page 123 / 394 » Description Logics and Planning |
168
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Temporally extended goals are used in planning to express safety and maintenance conditions. Linear temporal logic is the language often used to express temporally extend...
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...
192
click to vote
ASP
2003
Springer
15 years 11 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...
171
click to vote
SAC
2005
ACM
15 years 12 months ago
2005
ACM
Finding rapidly suitable experts in an organization to compose a team able to solve specific tasks is a typical problem in large consulting firms. In this paper we present a Des...