Sciweavers

36 search results - page 3 / 8
» Jointly Identifying Temporal Relations with Markov Logic
Sort
View
LOGCOM
2007
91views more  LOGCOM 2007»
13 years 5 months ago
A New Modal Approach to the Logic of Intervals
In Artificial Intelligence there is a need for reasoning about continuous processes, where assertions refer to time intervals rather than time points. Taking our lead from van Ben...
Altaf Hussain
COLING
2008
13 years 7 months ago
An Integrated Probabilistic and Logic Approach to Encyclopedia Relation Extraction with Multiple Features
We propose a new integrated approach based on Markov logic networks (MLNs), an effective combination of probabilistic graphical models and firstorder logic for statistical relatio...
Xiaofeng Yu, Wai Lam
ATAL
2006
Springer
13 years 9 months ago
Temporal qualitative coalitional games
Qualitative Coalitional Games (QCGs) are a version of coalitional games in which an agent's desires are represented as goals which are either satisfied or unsatisfied, and ea...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
SEBD
2001
145views Database» more  SEBD 2001»
13 years 7 months ago
Reasoning over Conceptual Schemas and Queries in Temporal Databases
This paper introduces a new logical formalism, intended for temporal conceptual modelling, as a natural combination of the well-known description logic DLR and point-based linear ...
Alessandro Artale, Enrico Franconi, Milenko Mosuro...
QEST
2005
IEEE
13 years 11 months ago
iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
YoungMin Kwon, Gul A. Agha