5378 search results - page 136 / 1076 » Base Logics in Argumentation |
192
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
One of the crucial actions any reasoning system must undertake is the updating of its Knowledge Base (KB). This problem is usually referred to as the problem of belief change. The...
135
click to vote
CSFW
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper we present an improved logic for analysing authentication properties of cryptographic protocols, based on the SVO logic of Syverson and van Oorschot. Such logics are...
176
click to vote
ICALT
2005
IEEE
15 years 11 months ago
2005
IEEE
Problem-based learning is a pedagogical strategy that centers learning activities around the investigation and development of solutions to complex and ill-structured authentic pro...
140
click to vote
ISCAS
2006
IEEE
16 years 5 days ago
2006
IEEE
Abstract— Although many researchers are investigating techniques to synthesize reversible combinational logic, there is little work in the area of sequential reversible logic. We...
159
click to vote
KR
2000
Springer
15 years 9 months ago
2000
Springer
We present a new tableaux calculus deciding the ABox consistency problem for the expressive description logic ALCNHR+ . Prominent language features of ALCNHR+ are number restricti...