1426 search results - page 53 / 286 » Specification of nonmonotonic reasoning |
138
click to vote
KER
2006
15 years 4 months ago
2006
This article reviews formal systems that regulate persuasion dialogues. In such dialogues two or more participants aim to resolve a difference of opinion, each trying to persuade ...
147
click to vote
JAR
2000
15 years 4 months ago
2000
We present a formal specification and verification approach for industrial product data bases containing Boolean logic formulae to express constraints. Within this framework, globa...
101
click to vote
BIRTHDAY
2000
Springer
15 years 8 months ago
2000
Springer
Various forms of assumption/commitment specifications have been used to specify and reason about the interference that comes from concurrent execution; in particular, consistent a...
175
click to vote
FTRTFT
1992
Springer
15 years 8 months ago
1992
Springer
Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...
135
click to vote
WOODPECKER
2001
15 years 5 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...