1604 search results - page 8 / 321 » A Logical Viewpoint on Architectures |
DAC
2008
ACM
14 years 11 months ago
2008
ACM
66
Voted
DEON
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. Logical architectures combine several logics into a more complex logical system. In this paper we study a logical architecture using input/output operations corresponding...
LICS
1999
IEEE
15 years 1 months ago
1999
IEEE
An important open question in complexity theory is whether the circuit complexity class TC0 is (strictly) weaker than LOGSPACE. This paper considers this question from the viewpoi...
73
Voted
WOODPECKER
2001
14 years 11 months ago
2001
Maude is an executable rewriting logic language specially well suited for the specification of object-oriented open and distributed systems. In this paper we explore the possibilit...
109
click to vote
ECSQARU
2005
Springer
15 years 3 months ago
2005
Springer
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating as well t...