1814 search results - page 111 / 363 » Extended First-Order Logic |
106
click to vote
DLOG
2007
15 years 5 months ago
2007
We present a query answering technique based on notions and results from modal Correspondence Theory. It allows us to answer a wide family of conjunctive queries by polynomial redu...
138
click to vote
FLAIRS
2006
15 years 4 months ago
2006
Description Logics (DL) are gaining more popularity as the foundation of ontology languages for the Semantic Web. As most information in real life is imperfect, there has been an ...
134
click to vote
ICFCA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In a previous paper, we have introduced an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using informat...
110
click to vote
CLIMA
2004
15 years 4 months ago
2004
Abstract. Negotiation over resources and multi-agent planning are important issues in multi-agent systems research. It has been demonstrated [19] how symbolic negotiation and distr...
105
Voted
DLOG
2003
15 years 4 months ago
2003
We consider the problem of automated index selection for embedded control programs (ECPs). Such systems have the property that the transaction types, which can consist of queries ...