3440 search results - page 349 / 688 » Logics For Context-Free Languages |
234
click to vote
ATAL
2011
Springer
14 years 7 months ago
2011
Springer
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
225
click to vote
LORI
2009
Springer
16 years 2 months ago
2009
Springer
We propose a dynamic testimonial logic (DTL) to model communication and belief change among agents with different dispositions to trust each other as information sources. DTL is ...
218
click to vote
ISSTA
2004
ACM
16 years 1 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
220
click to vote
ECSQARU
2009
Springer
16 years 6 days ago
2009
Springer
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...
216
click to vote
LATIN
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...