5378 search results - page 122 / 1076 » Base Logics in Argumentation |
196
click to vote
FMCO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
144
click to vote
ICWE
2004
Springer
15 years 11 months ago
2004
Springer
The paper proposes some applications of description logic reasoning techniques in web–based education environments. Current solutions are web oriented but without applying ontolo...
128
click to vote
ISCAS
2002
IEEE
15 years 11 months ago
2002
IEEE
The main result of this paper is the development of a low depth carry lookahead addition technique based on threshold logic. Two such adders are designed using the recently propos...
146
Voted
WCE
2007
15 years 7 months ago
2007
- We proposed the cost effective (in sense of gate number) asynchronous two-level logic. It is based on AND-OR implementation of minimized logic functions. We formulated and proved...
163
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
We define an Intuitionistic Conditional Logic for Access Control called CICL . The logic CICL is based on a conditional language allowing principals to be defined as arbitrary form...