4978 search results - page 88 / 996 » Logical models of argument |
120
click to vote
ICTAC
2005
Springer
15 years 9 months ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
240
Voted
POPL
2008
ACM
16 years 3 months ago
2008
ACM
We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...
131
click to vote
PRICAI
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we extend our earlier work on modelling the mental states of PRS-like agents by considering the dynamics of belief and modelling of action attempts. The major constr...
116
Voted
DATE
1998
IEEE
15 years 7 months ago
1998
IEEE
A new approach to mixed-signal circuit interfacing based on fuzzy logic models is presented. Due to their continuous rather than discrete character, fuzzy logic models offer a sig...
103
Voted
EPIA
1995
Springer
15 years 7 months ago
1995
Springer
We provide a nine-valued logic to characterize the models of logic programs under a paraconsistent well-founded semantics with explicit negation WFSX p. We define a truth-function...