63 search results - page 13 / 13 » Bialgebraic Operational Semantics and Modal Logic |
KR
2000
Springer
13 years 9 months ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
DSS
2002
13 years 5 months ago
2002
Recent research has sought to develop formal languages for business communication as more expressive, flexible and powerful alternatives to current electronic data interchange (ED...
ATAL
2008
Springer
13 years 7 months ago
2008
Springer
In the last few years, argumentation frameworks have been successfully applied to multi agent systems. Recently, argumentation has been used to provide a framework for reasoning a...