Sciweavers

138 search results - page 19 / 28
» An Unsupervised Approach for Semantic Relation Interpretatio...
Sort
View
92
Voted
AUSAI
2003
Springer
15 years 4 months ago
A Defeasible Logic of Policy-Based Intention
Most of the theories on formalising intention interpret it as a unary modal operator in Kripkean semantics, which gives it a monotonic look. We argue that policy-based intentions [...
Guido Governatori, Vineet Padmanabhan
COOPIS
2002
IEEE
15 years 4 months ago
Formal Ontology Engineering in the DOGMA Approach
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
Mustafa Jarrar, Robert Meersman
113
Voted
LOGCOM
2002
142views more  LOGCOM 2002»
14 years 11 months ago
Two Logical Theories of Plan Recognition
We present a logical approach to plan recognition that builds on Kautz's theory of keyhole plan recognition, defined as the problem of inferring descriptions of high-level pl...
Wayne Wobcke
ECMDAFA
2006
Springer
166views Hardware» more  ECMDAFA 2006»
15 years 3 months ago
Dynamic Logic Semantics for UML Consistency
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
Greg O'Keefe
92
Voted
KDD
2006
ACM
139views Data Mining» more  KDD 2006»
16 years 2 days ago
Generating semantic annotations for frequent patterns with context analysis
As a fundamental data mining task, frequent pattern mining has widespread applications in many different domains. Research in frequent pattern mining has so far mostly focused on ...
Qiaozhu Mei, Dong Xin, Hong Cheng, Jiawei Han, Che...