2067 search results - page 48 / 414 » Logics of propositional control |
101
click to vote
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
126
click to vote
LANMR
2004
15 years 3 months ago
2004
We recently proposed a definition of a language for nonmonotonic reasoning based on intuitionistic logic. Our main idea is a generalization of the notion of answer sets for arbitr...
94
Voted
ECSQARU
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The problem of merging multiple sources information is central in several domains of computer science. In knowledge representation for artificial intelligence, several a...
114
click to vote
IANDC
2006
15 years 1 months ago
2006
This paper studies the complexity of learning classes of expressions in propositional logic from equivalence queries and membership queries. In particular, we focus on bounding th...
120
Voted
FORMATS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper we introduce a variant of temporal logic tailored for specifying desired properties of continuous signals. The logic is based on a bounded subset of the rea...