3032 search results - page 388 / 607 » Description Logic Rules |
139
Voted
IADIS
2003
15 years 5 months ago
2003
Conceptual Modelling approaches for the web need extensions to specify dynamic personalization properties in order to design more powerful web applications. Current approaches pro...
154
Voted
KRDB
1996
15 years 5 months ago
1996
Metaprogramming adds new expressive power to logic programming which can be advantageous to transfer to the field of deductive databases. We propose metaprogramming as a way to mo...
108
Voted
COLING
1992
15 years 4 months ago
1992
Communication among agents collaborating on a task often involves complex utterances about multiple actions. In this paper, we analyze two particular multiaction constructions, ut...
127
Voted
GLVLSI
2008
IEEE
15 years 3 months ago
2008
IEEE
This paper presents an improved Tree-based architecture that unifies two unidirectional programmable networks: A predictible downward network based on the Butterfly-FatTree topolo...
127
Voted
IANDC
2006
15 years 3 months ago
2006
Interactive theorem provers require too much effort from their users. We have been developing a system in which Isabelle users obtain automatic support from automatic theorem prov...