Sciweavers

3831 search results - page 425 / 767
» Dynamic Context Logic
Sort
View
CIKM
2007
Springer
16 years 27 days ago
Conceptual modeling by analogy and metaphor
Metaphor is not merely a rhetorical device, characteristic of language alone, but rather a fundamental feature of the human conceptual system. A metaphor is understood by finding ...
Karin Koogan Breitman, Simone Diniz Junqueira Barb...
ISOLA
2007
Springer
16 years 26 days ago
Using Analogy to Promote Conceptual Modeling Reuse
Abstract. This paper argues in favor of a database conceptual schema and Semantic Web ontology design discipline that explores analogy mappings to reuse the structure and integrity...
Karin Koogan Breitman, Simone Diniz Junqueira Barb...
KSEM
2007
Springer
16 years 26 days ago
An Argumentative Reasoning Service for Deliberative Agents
Abstract. In this paper we propose a model that allows agents to deliberate using defeasible argumentation, to share knowledge with other agents, and to represent individual knowle...
Alejandro Javier García, Nicolás D. ...
PADL
2007
Springer
16 years 26 days ago
Automatic Incrementalization of Prolog Based Static Analyses
Modern development environments integrate various static analyses into the build process. Analyses that analyze the whole project whenever the project changes are impractical in th...
Michael Eichberg, Matthias Kahl, Diptikalyan Saha,...
RULEML
2007
Springer
16 years 25 days ago
Specifying Process-Aware Access Control Rules in SBVR
Abstract. Access control is an important aspect of regulatory compliance. Therefore, access control specifications must be process-aware in that they can refer to an underlying bu...
Stijn Goedertier, Christophe Mues, Jan Vanthienen