Sciweavers

528 search results - page 1 / 106
» Transition Logic Revisited
Sort
View
71
Voted
IGPL
2008
103views more  IGPL 2008»
14 years 10 months ago
Transition Logic Revisited
A new version of transition logic is presented. It integrates (dynamic) transitions, which change world states, and classical (static) reasoning, restricted in the paper to Horn l...
Wolfgang Bibel
72
Voted
VMCAI
2009
Springer
15 years 4 months ago
Mixed Transition Systems Revisited
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
Ou Wei, Arie Gurfinkel, Marsha Chechik
110
Voted
LPAR
2007
Springer
15 years 4 months ago
How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited
Abstract. The Description Logics underpinning OWL impose a well-known syntactic restriction in order to preserve decidability: they do not allow to use nonsimple roles—that is, t...
Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin
83
Voted
CAISE
2009
Springer
15 years 1 months ago
The Problem of Transitivity of Part-Whole Relations in Conceptual Modeling Revisited
Abstract. Parthood is a relation of fundamental importance in a number of disciplines including cognitive science, linguistics and conceptual modeling. However, one classical probl...
Giancarlo Guizzardi
SAC
2011
ACM
14 years 29 days ago
Quotients revisited for Isabelle/HOL
Higher-Order Logic (HOL) is based on a small logic kernel, whose
Cezary Kaliszyk, Christian Urban