607 search results - page 77 / 122 » Axiomatizing hybrid logic using modal logic |
206
click to vote
TABLEAUX
2000
Springer
15 years 9 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
164
click to vote
ICSM
2009
IEEE
16 years 23 days ago
2009
IEEE
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...
272
click to vote
CP
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. We address a location-allocation problem that requires deciding the location of a set of facilities, the allocation of customers to those facilities under facility capaci...
150
click to vote
CAV
2010
Springer
15 years 6 months ago
2010
Springer
We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, ocinear template or polyhedron domain...
161
click to vote
PPDP
2009
Springer
16 years 20 days ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...