Sciweavers

1966 search results - page 19 / 394
» Description Logics and Planning
Sort
View
120
Voted
APWEB
2006
Springer
15 years 5 months ago
Providing an Uncertainty Reasoning Service for Semantic Web Application
In the semantic web context,the formal representation of knowledge is not resourceful while the informal one with uncertainty prevails. In order to provide an uncertainty reasoning...
Lei Li, Qiaoling Liu, Yunfeng Tao, Lei Zhang, Jian...
124
Voted
AMAI
2000
Springer
15 years 1 months ago
A survey of temporal extensions of description logics
principled ones
Alessandro Artale, Enrico Franconi
DLOG
2001
15 years 3 months ago
Optimizing Reasoning in Description Logics with Qualified Number Restrictions
In this extended abstract an optimization technique, the so-called signature calculus, for reasoning with number restrictions in description logics is investigated. The calculus i...
Volker Haarslev, Ralf Möller
ICLP
2009
Springer
16 years 2 months ago
Logic Programming for Multiagent Planning with Negotiation
Multiagent planning deals with the problem of generating plans for multiple agents. It requires formalizing ways for the agents to interact and cooperate, in order to achieve their...
Tran Cao Son, Enrico Pontelli, Chiaki Sakama
CADE
2002
Springer
16 years 2 months ago
System Description: GrAnDe 1.0
Stephan Schulz, Geoff Sutcliffe