3793 search results - page 224 / 759 » Expressive Description Logics |
162
click to vote
ECSQARU
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conļ¬...
161
click to vote
AAAI
2004
15 years 8 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
181
click to vote
FMOODS
2000
15 years 8 months ago
2000
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is ba...
177
click to vote
IANDC
2007
15 years 6 months ago
2007
Temporal logic based on the two modalities āSinceā and āUntilā (TL) is the most popular logic for the speciļ¬cation of reactive systems. It is often called the linear tim...
177
click to vote
ETAI
2000
15 years 6 months ago
2000
Stochastic logic programs combine ideas from probabilistic grammars with the expressive power of definite clause logic; as such they can be considered as an extension of probabili...