Sciweavers

4978 search results - page 197 / 996
» Logical models of argument
Sort
View
JAIR
2012
211views Hardware» more  JAIR 2012»
13 years 6 months ago
Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...
Joohyung Lee, Ravi Palla
DEXAW
1999
IEEE
137views Database» more  DEXAW 1999»
15 years 8 months ago
Reasoning with Enhanced Temporal Entity-Relationship Models
Recent efforts in the Conceptual Modelling community have been devoted to properly capturing time-varying information, and several proposals of temporally enhanced Entity-Relation...
Alessandro Artale, Enrico Franconi
EUSFLAT
2009
120views Fuzzy Logic» more  EUSFLAT 2009»
15 years 2 months ago
A Fuzzy-Semiotic Framework for Modeling Imprecision in the Assessment of Depression
This paper presents a new framework to model an assessment process for a complex and multidimensional syndrome such as depression. Since the measurements of depression are inherent...
Mila Kwiatkowska, Krzysztof Kielan, Krzysztof Mich...
CAISE
1999
Springer
15 years 8 months ago
Modeling Dynamic Domains with ConGolog
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...
Yves Lespérance, Todd G. Kelley, John Mylop...
ERCIMDL
1997
Springer
130views Education» more  ERCIMDL 1997»
15 years 8 months ago
Modelling the Retrieval of Structured Documents Containing Texts and Images
Abstract. We present a model for complex documents possibly consisting of a hierarchically structured set of images or texts. Documents are represented both at the form level (as s...
Carlo Meghini, Fabrizio Sebastiani, Umberto Stracc...