Qualitative constraint calculi: Heterogeneous verification of composition tables (2007)

by Stefan Wölfl
Venue:In 20th International FLAIRS Conference
Citations:5 - 2 self

Documents Related by Co-Citation

9 Conservativity in Structured Ontologies – Oliver Kutz, Till Mossakowski
30 The Heterogeneous Tool Set – Till Mossakowski, Christian Maeder, Klaus Lüttich, Stefan Wölfl - 2007
9 Heterogeneous colimits – Mihai Codescu, Till Mossakowski - 2008
95 E-connections of abstract description systems – Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
210 The even more irresistible SROIQ – Ian Horrocks, Oliver Kutz, Ulrike Sattler - 2006
20 Comorphism-based Grothendieck logics – Till Mossakowski - 2002
31 Institution morphisms. Formal Aspects of Computing 13:274–307 – J A Goguen, G Rosu - 2002
473 Institutions: abstract model theory for specification and programming – J Goguen, R Burstall - 1992
5 Approximate qualitative spatial reasoning – Thomas Bittner, John G Stell - 2001
7 ACL’10 “Ask not what Textual Entailment can do for You...” – Mark Sammons, V. G. Vinod Vydiswaran, Dan Roth
4 Cock. Reasoning about vague topological information – S Schockaert, M De - 2007
4 Fuzzy region connection calculus: Representing vague topological information, submitted – Steven Schockaert, Martine De Cock, Chris Cornelis, Etienne E. Kerre
45 Probabilistic Logic Programming – Thomas Lukasiewicz - 1998
3 Measuring the ignorance and degree of satisfaction for answering queries in imprecise probabilistic logic programs – Anbu Yue, Weiru Liu, Anthony Hunter - 2008
97 Qualitative Spatial Representation and Reasoning Techniques – A.G. Cohn - 1997
3 On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces – Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev - 2011
7 Interpreting Topological Logics over Euclidean Spaces – Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev - 2010
120 The `Egg-Yolk' Representation Of Regions with Indeterminate Boundaries – A.G. Cohn, N.M. Gotts - 1995
564 Markov Logic Networks – Matthew Richardson, Pedro Domingos - 2006