Sciweavers

5066 search results - page 234 / 1014
» Spectra of structures and relations
Sort
View
LICS
2012
IEEE
13 years 8 months ago
Near Unanimity Constraints Have Bounded Pathwidth Duality
—We show that if a finite relational structure has a near unanimity polymorphism, then the constraint satisfaction problem with that structure as its fixed template has bounded...
Libor Barto, Marcin Kozik, Ross Willard
CORR
2012
Springer
188views Education» more  CORR 2012»
14 years 2 months ago
A Logical Characterization of Constraint-Based Causal Discovery
We present a novel approach to constraintbased causal discovery, that takes the form of straightforward logical inference, applied to a list of simple, logical statements about ca...
Tom Claassen, Tom Heskes
LOGCOM
2007
91views more  LOGCOM 2007»
15 years 6 months ago
A New Modal Approach to the Logic of Intervals
In Artificial Intelligence there is a need for reasoning about continuous processes, where assertions refer to time intervals rather than time points. Taking our lead from van Ben...
Altaf Hussain
DAGSTUHL
2007
15 years 8 months ago
Designing Organizations: Towards a Model
The purpose of this paper is to draw a preliminary model of an ontology of organizations. The emphasis is on the structural aspects of organizations and the relations that these ha...
Emanuele Bottazzi, Roberta Ferrario, Claudio Masol...
DAGSTUHL
2006
15 years 7 months ago
GNU TeXmacs
There is a common belief that wysiwyg technical editors are not suited for editing structured texts and generating documents with a high typographical quality. In this paper, we an...
Joris van der Hoeven