1856 search results - page 203 / 372 » Formal Dialectic Specification |
139
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
OperettA is a graphical tool that supports the design, verification and simulation of OperA models. It ensures consistency between different design parts, provides a formal specif...
171
click to vote
ADBIS
2007
Springer
15 years 8 months ago
2007
Springer
This paper provides an answer-oriented multidimensional analysis environment. The approach is based on a conceptual point of view. We define a conceptual model that represents data...
187
click to vote
DCAI
2008
15 years 8 months ago
2008
In the context of artificial intelligence, the multiagent systems are an alternative solution to address complex problems and distributed. PAINALLI is an multi-agent architecture f...
132
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents advances in Set Attributive Logic and its application to develop tabular rule-based systems within the XTT framework. The primary goal is to extend the expressi...
174
click to vote
AMW
2010
15 years 8 months ago
2010
Abstract. Consistent query answering (CQA) is about formally characterizing and computing semantically correct answers to queries posed to a database that may fail to satisfy certa...