2067 search results - page 71 / 414 » Logics of propositional control |
155
Voted
AI
2004
Springer
15 years 1 months ago
2004
Springer
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
FSKD
2006
Springer
15 years 5 months ago
2006
Springer
93
Voted
OWLED
2007
15 years 3 months ago
2007
We describe a verbalization of the logical content of OWL
108
click to vote
ENTCS
2007
15 years 1 months ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...
109
click to vote
IGPL
2010
14 years 11 months ago
2010
This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The...