Sciweavers

4978 search results - page 195 / 996
» Logical models of argument
Sort
View
ENTCS
2006
129views more  ENTCS 2006»
15 years 4 months ago
A Constructive Object Oriented Modeling Language for Information Systems
One of the central aspects in an Information System is the meaning of data in the external world and the information carried by them. We propose a Constructive Object Oriented Mod...
Mario Ornaghi, Marco Benini, Mauro Ferrari, Camill...
IEEEMSP
2002
IEEE
167views Multimedia» more  IEEEMSP 2002»
15 years 9 months ago
An experimental study on the performance of visual information retrieval similarity models
–This paper is an experimental study on the performance of the two major methods for macro-level similarity measurement: linear weighted merging and logical retrieval. Performanc...
Horst Eidenberger, Christian Breiteneder
DIAGRAMS
2000
Springer
15 years 8 months ago
Universal Arrow Foundations for Visual Modeling
The goal of the paper is to explicate some common formal logic underlying various notational systems used in visual modeling. The idea is to treat the notational diversity as the d...
Zinovy Diskin, Boris Kadish, Frank Piessens, Micha...
ATAL
2006
Springer
15 years 8 months ago
A stochastic language for modelling opponent agents
There are numerous cases where a reasoning agent needs to reason about the behavior of an opponent agent. In this paper, we propose a hybrid probabilistic logic language within wh...
Gerardo I. Simari, Amy Sliva, Dana S. Nau, V. S. S...
AAAI
1998
15 years 5 months ago
Computing Intersections of Horn Theories for Reasoning with Models
We consider computational issues in combining logical knowledge bases represented by their characteristic models; in particular, we study taking their logical intersection. We pre...
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino