2858 search results - page 322 / 572 » Logics with Aggregate Operators |
178
click to vote
FOSSACS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
205
click to vote
INFOSCALE
2007
ACM
15 years 8 months ago
2007
ACM
It is important to provide adaptive data processing in wireless sensor networks in order to deal with various applications. In this paper,we propose a WIreless Sensor Networks Ont...
161
click to vote
CLIMA
2004
15 years 8 months ago
2004
Abstract. We provide a formal characterization of a notion of contextual taxonomy, that is to say, a taxonomy holding only with respect to a specific context. To this aim, a new pr...
167
click to vote
EACL
2003
ACL Anthology
15 years 8 months ago
2003
ACL Anthology
Syntactic constraints in Koskenniemi’s Finite-State Intersection Grammar (FSIG) are logically less complex than their formalism (Koskenniemi et al., 1992) would suggest: It turn...
170
click to vote
AAAI
2000
15 years 8 months ago
2000
In this paper, we consider a method of computing minimal models in circumscription using integer programming in propositional logic and first-order logic with domain closure axiom...