Sciweavers

4978 search results - page 100 / 996
» Logical models of argument
Sort
View
125
Voted
TARK
2005
Springer
15 years 9 months ago
First-order classical modal logic: applications in logics of knowledge and probability
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
Horacio L. Arló-Costa, Eric Pacuit
148
Voted
JCST
2010
153views more  JCST 2010»
14 years 10 months ago
Model Failure and Context Switching Using Logic-Based Stochastic Models
Abstract We define a notion of context that represents invariant, stable-over-time behavior in an environment and we propose an algorithm for detecting context changes in a stream ...
Nikita A. Sakhanenko, George F. Luger
115
Voted
DSS
2007
98views more  DSS 2007»
15 years 3 months ago
Modelling uncertain positive and negative reasons in decision aiding
The use of positive and negative reasons in inference and decision aiding is a recurrent issue of investigation as far as the type of formal language to use within a DSS is concer...
Meltem Öztürk, Alexis Tsoukiàs
120
Voted
TACAS
2007
Springer
99views Algorithms» more  TACAS 2007»
15 years 9 months ago
"Don't Care" Modeling: A Logical Framework for Developing Predictive System Models
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...
Hillel Kugler, Amir Pnueli, Michael J. Stern, E. J...
53
Voted
ICDE
1989
IEEE
55views Database» more  ICDE 1989»
15 years 7 months ago
Modeling Semantic Constraints with Logic in the EARL Data Model
James P. Davis, Ronald D. Bonnell