4266 search results - page 78 / 854 » A Framework for Defining Logics |
JOLLI
2010
14 years 8 months ago
2010
This paper surveys the interface between the two major logical trends that describe agents’ intelligent interaction over time: dynamic epistemic logic (DEL) and epistemic tempora...
KBSE
2006
IEEE
15 years 3 months ago
2006
IEEE
Today, thin client applications often rely on the infrastructure of the WWW to deliver their user interfaces (UIs) to clients. While this approach does not require the deployment ...
IANDC
2006
14 years 9 months ago
2006
We study several algebras of graphs and hypergraphs and the corresponding notions of equational sets and recognizable sets. We generalize and unify several existing results which ...
CADE
2006
Springer
15 years 10 months ago
2006
Springer
COMMA
2010
14 years 4 months ago
2010
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting arg...